1541 search results - page 72 / 309 » Tools and Techniques for Model Checking Networked Programs |
82
Voted
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Multi-threaded code is becoming very common, mostly on the server side. As there is...
119
click to vote
TSMC
2008
14 years 11 months ago
2008
A new approach for engine calibration and control is proposed. In this paper, we present our research results on the implementation of adaptive critic designs for self-learning con...
79
Voted
JUCS
2007
15 years 14 days ago
2007
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
166
click to vote
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
112
click to vote
ENTCS
2008
15 years 20 days 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...