7557 search results - page 483 / 1512 » Modeling Timed Concurrent Systems |
158
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
Many irregular scientific computing problems can be modeled by directed acyclic task graphs (DAGs). In this paper, we present an efficient run-time system for executing general as...
212
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
170
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
181
click to vote
KBSE
2005
IEEE
16 years 15 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
195
click to vote
RTCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Although energy-efficient real-time task scheduling has attracted a lot of attention in the past decade, most existing results assumed deterministic execution lengths f...