6199 search results - page 236 / 1240 » Monitoring the |
204
click to vote
HVC
2005
Springer
16 years 4 days ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
141
click to vote
IPSN
2005
Springer
16 years 3 days ago
2005
Springer
Eco is an ultra-compact wireless sensor node. Only 648 mm3 in
172
click to vote
SEKE
2005
Springer
16 years 3 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...