4962 search results - page 502 / 993 » Stochastic Model Checking |
149
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
187
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
197
Voted
STTT
2010
15 years 2 months ago
2010
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
144
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a simple artificial landmark model and a robust tracking algorithm for the navigation of indoor mobile robots. The landmark model is designed to have a three-dimensiona...
143
click to vote
MOBICOM
2009
ACM
15 years 11 months ago
2009
ACM
Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important performance mea...