Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Caleb Donovick"'
Autor:
Kalhan Koul, Jackson Melchert, Kavya Sreedhar, Leonard Truong, Gedeon Nyengele, Keyi Zhang, Qiaoyi Liu, Jeff Setter, Po-Han Chen, Yuchen Mei, Maxwell Strange, Ross Daly, Caleb Donovick, Alex Carsello, Taeyoung Kong, Kathleen Feng, Dillon Huff, Ankita Nayak, Rajsekhar Setaluri, James Thomas, Nikhil Bhagdikar, David Durst, Zachary Myers, Nestan Tsiskaridze, Stephen Richardson, Rick Bahr, Kayvon Fatahalian, Pat Hanrahan, Clark Barrett, Mark Horowitz, Christopher Torng, Fredrik Kjolstad, Priyanka Raina
Publikováno v:
ACM Transactions on Embedded Computing Systems. 22:1-34
With the slowing of Moore’s law, computer architects have turned to domain-specific hardware specialization to continue improving the performance and efficiency of computing systems. However, specialization typically entails significant modificatio
Autor:
Jackson Melchert, Kathleen Feng, Caleb Donovick, Ross Daly, Ritvik Sharma, Clark Barrett, Mark A. Horowitz, Pat Hanrahan, Priyanka Raina
Publikováno v:
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3.
Autor:
Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Cesare Tinelli, Caleb Donovick, Allison Guman, Amalee Wilson, Yoni Zohar, Clark Barrett, Makai Mann
Publikováno v:
Theory and Applications of Satisfiability Testing – SAT 2021 ISBN: 9783030802226
SAT
SAT
This paper presents Smt-Switch, an open-source, solver-agnostic API for SMT solving. Smt-Switch provides simple, uniform, and high-performance access to SMT solving for applications in areas such as automated reasoning, planning, and formal verificat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee66dd87eb7392f5c56f10fd55cbd995
https://doi.org/10.1007/978-3-030-80223-3_26
https://doi.org/10.1007/978-3-030-80223-3_26
Autor:
Raj Setaluri, Kathleen Feng, Nestan Tsiskaridze, Taeyoung Kong, Jeff Setter, Aina Niemetz, Christopher Torng, Keyi Zhang, Teguh Hofstee, Ross Daly, Mark Horowitz, Maxwell Strange, Qiaoyi Liu, Ankita Nayak, Rick Bahr, Priyanka Raina, Caleb Donovick, David Durst, Stephen Richardson, Gedeon Nyengele, Fredrik Kjolstad, Kavya Sreedhar, Clark Barrett, Leonard Truong, Pat Hanrahan, Alex Carsello, James J. Thomas, Kayvon Fatahalian, Dillon Huff, Makai Mann, Nikhil Bhagdikar, Jackson Melchert
Publikováno v:
DAC
Although an agile approach is standard for software design, how to properly adapt this method to hardware is still an open question. This work addresses this question while building a system on chip (SoC) with specialized accelerators. Rather than us
Autor:
Pat Hanrahan, Makai Mann, Lenny Truong, Steven Herbst, Clark Barrett, Ross Daly, Caleb Donovick, Keyi Zhang, Mark Horowitz, Rajsekhar Setaluri, Daniel Stanley
Publikováno v:
Computer Aided Verification ISBN: 9783030532871
CAV (1)
CAV (1)
While hardware generators have drastically improved design productivity, they have introduced new challenges for the task of verification. To effectively cover the functionality of a sophisticated generator, verification engineers require tools that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5ab6465768edbe1f20f5cb33eb5f53d
https://doi.org/10.1007/978-3-030-53288-8_19
https://doi.org/10.1007/978-3-030-53288-8_19
Publikováno v:
ReConFig
Coarse-grained reconfigurable architectures (CGRAs) are becoming popular accelerators for computationally intensive tasks. CGRAs offer the reconfigurability of an FPGA, but with larger configurable blocks which provide performance closer to ASICs. CG
Autor:
Nael Abu-Ghazaleh, Dmitry Ponomarev, Caleb Donovick, Khaled N. Khasawneh, Iakov Gorelik, Meltem Ozsoy
Publikováno v:
IEEE Transactions on Computers. 65:3332-3344
Security exploits and ensuant malware pose an increasing challenge to computing systems as the variety and complexity of attacks continue to increase. In response, software-based malware detection tools have grown in complexity, thus making it comput
Publikováno v:
HPCA
Security exploits and ensuant malware pose an increasing challenge to computing systems as the variety and complexity of attacks continue to increase. In response, software-based malware detection tools have grown in complexity, thus making it comput
Publikováno v:
Research in Attacks, Intrusions, and Defenses ISBN: 9783319263618
RAID
RAID
Recent work demonstrated hardware-based online malware detection using only low-level features. This detector is envisioned as a first line of defense that prioritizes the application of more expensive and more accurate software detectors. Critical t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1600e6a9e76a8e96179a9aa0975bdf6e
https://doi.org/10.1007/978-3-319-26362-5_1
https://doi.org/10.1007/978-3-319-26362-5_1