Sciweavers

12774 search results - page 264 / 2555
» A Framework for Proof Systems
Sort
View
NAS
2010
IEEE
15 years 5 months ago
USP: A Lightweight File System Management Framework
Zhan Shi, Dan Feng, Heng Zhao, Lingfang Zeng
SPRINGSIM
2010
15 years 5 months ago
SFS3: a simulation framework for self-stabilizing systems
Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srim...
ASPDAC
2010
ACM
123views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Trace-based performance analysis framework for heterogeneous multicore systems
Shih-Hao Hung, Chia-Heng Tu, Thean-Siew Soon