1222 search results - page 221 / 245 » Verifying a File System Implementation |
126
click to vote
CASES
2005
ACM
15 years 1 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...
123
Voted
EUROPAR
2010
Springer
15 years 25 days 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...
TPDS
2008
14 years 11 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...
IPPS
2010
IEEE
14 years 9 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...
101
click to vote
BMCBI
2010
14 years 12 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...