7557 search results - page 6 / 1512 » Modeling Timed Concurrent Systems |
108
click to vote
GLVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a novel test scheduling algorithm for embedded corebased SoC’s. Given a system integrated with a set of cores and a set of test resources, we select a test for each c...
133
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
106
click to vote
REX
1993
15 years 5 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
111
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
118
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...