Sciweavers

10916 search results - page 36 / 2184
» On Constructive Connectives and Systems
Sort
View
NOCS
2010
IEEE
14 years 8 months ago
Performance Evaluation of a Multicore System with Optically Connected Memory Modules
Paul Vincent Mejia, Rajeevan Amirtharajah, Matthew...
ISOLA
2010
Springer
14 years 7 months ago
Dependability Analysis and Verification for Connected Systems
Felicita Di Giandomenico, Marta Z. Kwiatkowska, Ma...
SIGMOD
2011
ACM
163views Database» more  SIGMOD 2011»
14 years 22 days ago
A batch of PNUTS: experiences connecting cloud batch and serving systems
Adam Silberstein, Russell Sears, Wenchao Zhou, Bri...