1222 search results - page 221 / 245 » Verifying a File System Implementation |
147
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Code compression is a field where compression ratios between compiler-generated code and subsequent compressed code are highly dependent on decisions made at compile time. Most op...
146
click to vote
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Traditional parallel programming methodologies for improving performance assume cache-based parallel systems. However, new architectures, like the IBM Cyclops-64 (C64), b...
101
click to vote
TPDS
2008
15 years 1 months ago
2008
To detect and investigate self-propagating worm attacks against networked servers, the following capabilities are desirable: (1) raising timely alerts to trigger a worm investigat...
116
click to vote
IPPS
2010
IEEE
14 years 12 months ago
2010
IEEE
Over the last 2-3 years, the importance of data-intensive computing has increasingly been recognized, closely coupled with the emergence and popularity of map-reduce for developin...
121
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The system-level dynamics of many molecular interactions, particularly protein-protein interactions, can be conveniently represented using reaction rules, which can be...