3719 search results - page 196 / 744 » RACER System Description |
160
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
165
click to vote
ETFA
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
222
click to vote
RSP
2005
IEEE
16 years 3 days ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
144
click to vote
VLSID
2000
IEEE
15 years 11 months ago
2000
IEEE
The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchr...
144
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
Writingdevicedriversisoneofthemostdiculttasks to develop or port operating systems (OSs). A device driver need to be described according to the target device and OS. And, in the d...