133 search results - page 25 / 27 » A language-driven tool for fault injection in distributed sy... |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
CLUSTER
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we analyze the I/O access patterns of a widely-used biological sequence search tool and implement two variations that employ parallel-I/O for data access based on PV...
PADL
2009
Springer
14 years 9 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
WSC
2000
13 years 10 months ago
2000
This paper discusses the use of simulation in a new context. Most often QUEST is viewed as a stand-alone simulation tool to analyze and understand shop floor behavior. It has rare...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Automatic bug-finding tools have a high false positive rate: most warnings do not indicate real bugs. Usually bug-finding tools assign important warnings high priority. However, t...