1199 search results - page 216 / 240 » Software Verification and Software Engineering a Practitione... |
106
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
119
click to vote
SAC
2006
ACM
15 years 1 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
139
click to vote
SIGOPS
2008
15 years 1 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
112
click to vote
CACM
2010
14 years 11 months ago
2010
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
TCAD
2010
14 years 8 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...