Comparing Stochastic and Deterministic Computing
- 期刊名称IEEE Computer Architecture Letters
- 作者Manohar, Rajit
- 印刷ISSN1556-6056
- 文件大小222.15KB
- 发表时间2015
- DOI10.1109/lca.2015.2412553
- 页码1-1
Joining specification statementsK.Rustan M. Leino; Rajit Manohar · 1999
Conditional compositionRajit Manohar; K. Rustan; M. Leino · 1995
Scalable formal design methods for asynchronous VLSIManohar, Rajit · ACM SIGPLAN Notices · 2002
Performance and portability of an air quality modelDonald Dabdub; Rajit Manohar · 1997
QDI Constant-Time Counters[-4pt]Bingham, Ned; Manohar, Rajit · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2018
Exact Timing Analysis for Asynchronous SystemsHua, Wenmian; Manohar, Rajit · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2017
Operation-Dependent Frequency Scaling Using DesynchronizationSrivastava, Nitish; Manohar, Rajit · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2018
Cache Hierarchy OptimizationYavits, Leonid; Morad, Amir; Ginosar, Ran · IEEE Computer Architecture Letters · 2014
Demystifying multicore throughput metricsMichaud, Pierre · IEEE Computer Architecture Letters · 2013
The Netflix Challenge: Datacenter EditionDelimitrou, Christina; Kozyrakis, Christos · IEEE Computer Architecture Letters · 2013
Persistent Transactional MemoryWang, Zhaoguo; Yi, Han; Liu, Ran; Dong, Mingkai; Chen, Haibo · IEEE Computer Architecture Letters · 2015
Hardware Support for PrivacyMaycock, Matthew; Sethumadhavan, Simha · IEEE Computer Architecture Letters · 2015
Soft Failures in Large DatacentersSankar, Sriram; Gurumurthi, Sudhanva · IEEE Computer Architecture Letters · 2014
Resistive Associative ProcessorYavits, Leonid; Kvatinsky, Shahar; Morad, Amir; Ginosar, Ran · IEEE Computer Architecture Letters · 2015