E-LIB Suche - Ergebnisse für: Donovick, Caleb

1

APEX: A Framework for Automated Processing Element Design S..:

, In: Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3,

Melchert, Jackson ; Feng, Kathleen ; Donovick, Caleb... - p. 33-45 , 2023

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

2

AHA: An Agile Approach to the Design of Coarse-Grained Reco..:

Koul, Kalhan ; Melchert, Jackson ; Sreedhar, Kavya...
ACM Transactions on Embedded Computing Systems. 22 (2023) 2 - p. 1-34 , 2023

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

3

Synthesizing Instruction Selection Rewrite Rules from RTL u..:

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

Daly, Ross ; Donovick, Caleb ; Melchert, Jackson... - p. 139-150 , 2022

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

4

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,

Mann, Makai ; Wilson, Amalee ; Zohar, Yoni... - p. 377-386 , 2021

Link: https://doi.org/10.1007/..

5

fault: A Python Embedded Domain-Specific Language for Metap..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Truong, Lenny ; Herbst, Steven ; Setaluri, Rajsekhar... - p. 403-414 , 2020

Link: https://doi.org/10.1007/..

6

Creating an agile hardware design flow:

, In: Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference,

Bahr, Rick ; Barrett, Clark ; Bhagdikar, Nikhil... - p. 1-6 , 2020

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

7

EnsembleHMD: Accurate Hardware Malware Detectors with Speci..:

Khasawneh, Khaled N. ; Ozsoy, Meltem ; Donovick, Caleb..
IEEE Transactions on Dependable and Secure Computing. 17 (2020) 3 - p. 620-633 , 2020

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

8

Creating an Agile Hardware Design Flow:

, In: 2020 57th ACM/IEEE Design Automation Conference (DAC),

Bahr, Rick ; Barrett, Clark ; Bhagdikar, Nikhil... - p. 1-6 , 2020

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

9

Agile SMT-Based Mapping for CGRAs with Restricted Routing N..:

, In: 2019 International Conference on ReConFigurable Computing and FPGAs (ReConFig),

Donovick, Caleb ; Mann, Makai ; Barrett, Clark. - p. 1-8 , 2019

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

10

PEak: A Single Source of Truth for Hardware Design and Veri..:

Donovick, Caleb ; Daly, Ross ; Melchert, Jackson...
http://arxiv.org/abs/2308.13106. , 2023

Link: http://arxiv.org/abs/230..

11

Automated Design Space Exploration of CGRA Processing Eleme..:

Melchert, Jackson ; Feng, Kathleen ; Donovick, Caleb...
http://arxiv.org/abs/2104.14155. , 2021

Link: http://arxiv.org/abs/210..

12

fault: A Python Embedded Domain-Specific Language For Metap..:

Truong, Lenny ; Herbst, Steven ; Setaluri, Rajsekhar...
http://arxiv.org/abs/2006.11669. , 2020

Link: http://arxiv.org/abs/200..

13

fault: A Python Embedded Domain-Specific Language for Metap..:

Truong, Lenny ; Herbst, Steven ; Setaluri, Rajsekhar...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363199/. , 2020

Link: http://www.ncbi.nlm.nih...