1884 search results - page 63 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
FATES
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
JACIII
2008
13 years 9 months ago
2008
The development of on line model-based fault detection systems in machinery improves the operational reliability of industrial systems and reduces the operational and maintenance ...
RSP
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
AUIC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
ICCD
2006
IEEE
14 years 5 months ago
2006
IEEE
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...