1541 search results - page 99 / 309 » Tools and Techniques for Model Checking Networked Programs |
138
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Biological processes are mediated by networks of interacting genes and proteins. Efforts to map and understand these networks are resulting in the proliferation of int...
169
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
128
click to vote
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
139
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
127
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...