1222 search results - page 103 / 245 » Verifying a File System Implementation |
116
click to vote
JAIR
2008
15 years 2 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
108
Voted
IPPS
2010
IEEE
15 years 17 days ago
2010
IEEE
We present DEBAR, a scalable and high-performance de-duplication storage system for backup and archiving, to overcome the throughput and scalability limitations of the state-of-th...
193
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
113
Voted
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
The applicability of network-based computing depends on the availability of the underlying network bandwidth. However, network resources are shared and the available network bandw...
115
Voted
CONCURRENCY
2008
15 years 2 months ago
2008
Most current P2P file sharing systems treat their users as anonymous, unrelated entities, and completely disregard any social relationships between them. However, social phenomena...