767 search results - page 143 / 154 » Logic for Mathematical Writing |
115
click to vote
CCGRID
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Parallel file systems are designed to mask the everincreasing gap between CPU and disk speeds via parallel I/O processing. While they have become an indispensable compo...
180
Voted
HPCA
2011
IEEE
14 years 5 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have de...
117
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
133
click to vote
FAST
2011
14 years 5 months ago
2011
: NAND flash-based solid-state drives (SSDs) are increasingly being deployed in storage systems at different levels such as buffer-caches and even secondary storage. However, the ...
112
Voted
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...