5196 search results - page 206 / 1040 » State of Application Assessment |
141
click to vote
ENTCS
2008
15 years 4 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
130
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
150
click to vote
MIDDLEWARE
2009
Springer
15 years 8 months ago
2009
Springer
Today’s distributed systems need runtime error detection to catch errors arising from software bugs, hardware errors, or unexpected operating conditions. A prominent class of err...
134
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Virtual machines are a promising technology to overcome some of the problems found in current Grid infrastructures, like heterogeneity, performance partitioning or application iso...
141
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...