1222 search results - page 75 / 245 » Verifying a File System Implementation |
90
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
PSC has architected and delivered the TCS-1 machine, a Terascale Computing System for use in unclassified research. PSC has enhanced the effective usability and utilization of this...
126
Voted
EEE
2005
IEEE
15 years 8 months ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
118
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: Building repositories of computational models of biological systems ensures that published models are available for both education and further research, and can provid...
90
Voted
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— BitTorrent is a typical peer-to-peer (P2P) file distribution application that has gained tremendous popularity in recent years. A considerable amount of research exists...
134
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Code clones have long been recognized as bad smells in software systems and are considered to cause maintenance problems during evolution. It is broadly assumed that the ...