Multimedia in 1938: utterly fantastic plans?
- 期刊名称interactions
- 作者Creak, G. Alan
- 卷第9卷
- 期第3期
- 印刷ISSN1072-5520
- 文件大小502.08KB
- 发表时间2002-5-1
- DOI10.1145/506671.506692
Joining specification statementsK.Rustan M. Leino; Rajit Manohar · 1999
Conditional compositionRajit Manohar; K. Rustan; M. Leino · 1995
Comparing Stochastic and Deterministic ComputingManohar, Rajit · IEEE Computer Architecture Letters · 2015
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