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

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

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/..

5

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/..

6

Polychaetes (Annelida) of Cyprus (Eastern Mediterranean Sea..:

Rousou, Maria ; Langeneck, Joachim ; Apserou, Chara...
Diversity. 15 (2023) 8 - p. 941 , 2023

Link: https://doi.org/10.3390/..

7

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/..

8

ErrorEval : an Open-Source Worst-Case-Error Evaluation F..:

, In: Proceedings of the 20th ACM International Conference on Computing Frontiers,

Rezaalipour, Morteza ; Ferretti, Lorenzo ; Scarabottolo, Ilaria.. - p. 393-394 , 2023

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

9

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/..

10

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..

11

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..

12

Logic Shrinkage: Learned Connectivity Sparsification for LU..:

Wang, Erwei ; Auffret, Marie ; Stavrou, Georgios-Ilias...
ACM Transactions on Reconfigurable Technology and Systems. 16 (2023) 4 - p. 1-25 , 2023

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

13

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/..

14

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/..

15

eGPU: A 750 MHz Class Soft GPGPU for FPGA:

, In: 2023 33rd International Conference on Field-Programmable Logic and Applications (FPL),

Langhammer, Martin ; Constantinides, George A. - p. 277-282 , 2023

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