User centric networking and services: Part I [Guest Editorial]
- 期刊名称IEEE Communications Magazine
- 作者Sofia, Rute; Bogliolo, Alessandro; Sivrikaya, Fikret; Zhu, Huiling; Marce, Olivier; Valerdi, David
- 卷第52卷
- 期第9期
- 印刷ISSN0163-6804
- 文件大小200.69KB
- 发表时间2014-9
- DOI10.1109/mcom.2014.6894447
- 页码18-18
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