20126 search results - page 320 / 4026 » Timed Transition Systems |
138
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
157
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
—Advanced automotive control applications such as steer-by-wire are typically implemented as distributed systems comprising many embedded processors, sensors, and actuators inter...
169
click to vote
ICPP
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we investigate an efficient off-line scheduling algorithm in which real-time tasks with precedence constraints are executed in a heterogeneous environment. It provi...
166
click to vote
PTS
2008
15 years 6 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
159
click to vote
PVLDB
2010
15 years 3 months ago
2010
Spatial and temporal data have become ubiquitous in many application domains such as the Geosciences or life sciences. Sophisticated database management systems are employed to ma...