1413 search results - page 192 / 283 » ideas 2007 |
154
click to vote
LICS
2007
IEEE
16 years 14 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
134
click to vote
MMM
2007
Springer
16 years 14 days ago
2007
Springer
Recently, much attention has been paid on data-driven (or swarm-like) based live streaming systems due to its rapid growth in deployment over Internet. In such systems, nodes rando...
133
click to vote
MSS
2007
IEEE
16 years 14 days ago
2007
IEEE
TPT-RAID is a multi-box RAID wherein each ECC group comprises at most one block Jrom any given storage box, and can thus tolerate a boxJailure. It extends the idea ojan out-oj-ban...
122
click to vote
MSS
2007
IEEE
16 years 14 days ago
2007
IEEE
This paper presents the RAM Enhanced Disk Cache Project, REDCAP, a new cache of disk blocks which reduces the read I/O time by using a small portion of the main memory. The essent...
142
click to vote
NOCS
2007
IEEE
16 years 14 days ago
2007
IEEE
Measuring and comparing performance, cost, and other features of advanced communication architectures for complex multi core/multiprocessor systems on chip is a significant challe...