[IEEE MHS2002. of 2002 International Symposium on Micromechatronics and Human Science - Nagoya, Japan (20-23 Oct. 2002)] Proceedings of 2002 International Symposium on Micromechatronics and Human Science - Development of low-cost microequipment
- 作者Kussul, E.; Baidyk, T.; Ruiz, L.; Caballero, A.; Velasco, G.
- 文件大小1687.99KB
- 发表时间2002
- DOI10.1109/mhs.2002.1058022
- 页码125-134
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