419 search results - page 5 / 84 » Automatic Synthesis of Real Time Systems |
CODES
1997
IEEE
15 years 4 months ago
1997
IEEE
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
112
click to vote
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
124
click to vote
CSREAESA
2006
15 years 1 months ago
2006
We present our joint view for efficient development of efficient and dependable ERTS (Embedded Real-Time Systems). This view is based on the three main viewpoints of (1) the softw...
GW
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The work described in this abstract presents a roadmap towards the creation and specification of a virtual humanoid capable of performing expressive gestures in real tim...
100
click to vote
MKM
2007
Springer
15 years 5 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...