3387 search results - page 428 / 678 » Model-Checking for Real-Time Systems |
224
click to vote
SAC
2011
ACM
14 years 10 months ago
2011
ACM
The use of real-time systems can differ from their initial design and requirements. New missions may take place in a more agressive environment and cause faults that are not manag...
224
Voted
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
161
click to vote
ICAT
2003
IEEE
16 years 21 days ago
2003
IEEE
We propose a system that overlays textures onto the arbitrary deformable surface of an object in real time using HMD. In this system, we select a book as the object and documents ...
213
Voted
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
"Free Flight" will change today's air traffic control system by giving pilots increased flexibility to choose and modify their routes in real time, reducing costs a...
185
click to vote
TACAS
2005
Springer
16 years 27 days ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...