70 search results - page 14 / 14 » Combining Monitors for Runtime System Verification |
HUC
2009
Springer
13 years 9 months ago
2009
Springer
In 2007, approximately 30% of US adults were obese, with related health care costs exceeding 100 billion dollars. Clearly, the obesity epidemic represents a growing societal conce...
LCTRTS
2007
Springer
14 years 16 days ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
EUROSYS
2010
ACM
14 years 3 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...
MATES
2010
Springer
13 years 4 months ago
2010
Springer
The construction of distributed applications is a challenging task due to inherent system properties like message passing and concurrency. Current technology trends further increas...
FOSSACS
2011
Springer
12 years 10 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...