E-LIB Suche - Ergebnisse für: Constantinides, George

1

A Statically and Dynamically Scalable Soft GPGPU:

, In: Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays,

Langhammer, Martin ; Constantinides, George A. - p. 165-175 , 2024

Link: https://dl.acm.org/doi/1..

2

Soft GPGPU versus IP cores: Quantifying and Reducing the Pe..:

, In: Proceedings of the 14th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies,

Langhammer, Martin ; Constantinides, George - p. 44-52 , 2024

Link: https://dl.acm.org/doi/1..

3

ROVER: RTL Optimization via Verified E-Graph Rewriting:

Coward, Samuel ; Drane, Theo ; Constantinides, George A.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. , 2024

Link: https://doi.org/10.1109/..

4

Combining Power and Arithmetic Optimization via Datapath Re..:

, In: 2024 IEEE 31st Symposium on Computer Arithmetic (ARITH),

Coward, Samuel ; Drane, Theo ; Morini, Emiliano. - p. 24-31 , 2024

Link: https://doi.org/10.1109/..

5

Combining E-Graphs with Abstract Interpretation:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,

Coward, Samuel ; Constantinides, George A. ; Drane, Theo - p. 1-7 , 2023

Link: https://dl.acm.org/doi/1..

6

Parallelising Control Flow in Dynamic-scheduling High-level..:

Cheng, Jianyi ; Josipović, Lana ; Wickerson, John.
ACM Transactions on Reconfigurable Technology and Systems. 16 (2023) 4 - p. 1-32 , 2023

Link: https://doi.org/10.1145/..

7

Balancing Static Islands in Dynamically Scheduled Circuits ..:

Cheng, Jianyi ; Fraca, Estibaliz ; Wickerson, John.
IEEE Transactions on Computers. 72 (2023) 11 - p. 3300-3313 , 2023

Link: https://doi.org/10.1109/..

8

A Parametrizable Template for Approximate Logic Synthesis:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),

Rezaalipour, Morteza ; Biasion, Marco ; Scarabottolo, Ilaria.. - p. 175-178 , 2023

Link: https://doi.org/10.1109/..

9

Multi-Metric SMT-Based Evaluation of Worst-Case-Error for A..:

, In: 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W),

Rezaalipour, Morteza ; Ferretti, Lorenzo ; Scarabottolo, Ilaria.. - p. 199-202 , 2023

Link: https://doi.org/10.1109/..

10

PolyLUT: Learning Piecewise Polynomials for Ultra-Low Laten..:

, In: 2023 International Conference on Field Programmable Technology (ICFPT),

Andronic, Marta ; Constantinides, George A. - p. 60-68 , 2023

Link: https://doi.org/10.1109/..

11

Horizon-Independent Preconditioner Design for Linear Predic..:

McInerney, Ian ; Kerrigan, Eric C. ; Constantinides, George A.
IEEE Transactions on Automatic Control. 68 (2023) 1 - p. 580-587 , 2023

Link: https://doi.org/10.1109/..

12

FPGA Resource-aware Structured Pruning for Real-Time Neural..:

, In: 2023 International Conference on Field Programmable Technology (ICFPT),

Ramhorst, Benjamin ; Loncar, Vladimir ; Constantinides, George A. - p. 282-283 , 2023

Link: https://doi.org/10.1109/..

13

Automating Constraint-Aware Datapath Optimization using E-G..:

, In: 2023 60th ACM/IEEE Design Automation Conference (DAC),

Coward, Samuel ; Constantinides, George A. ; Drane, Theo - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

14

Enabling Binary Neural Network Training on the Edge:

Wang, Erwei ; Davis, James J. ; Moro, Daniele...
ACM Transactions on Embedded Computing Systems. 22 (2023) 6 - p. 1-19 , 2023

Link: https://doi.org/10.1145/..

15

Datapath Verification via Word-Level E-Graph Rewriting:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Coward, Samuel ; Morini, Emiliano ; Tan, Bryan.. - p. 92-100 , 2023

Link: https://doi.org/10.34727..