381 search results - page 42 / 77 » Practical PACE for embedded systems |
116
Voted
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
125
click to vote
MEMOCODE
2003
IEEE
15 years 8 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
114
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
140
click to vote
ECRTS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper investigates resource allocation policies for achieving real-time content distribution with subsecond delay bounds on the current Internet. Resource allocation in real-...
105
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...