575 search results - page 25 / 115 » Model Checking Restricted Sets of Timed Paths |
RE
2001
Springer
15 years 4 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
117
click to vote
RTSS
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
IAJIT
2008
14 years 12 months ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
DAGSTUHL
2006
15 years 1 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
ISPDC
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...