1420 search results - page 61 / 284 » A Framework for Scheduler Synthesis |
229
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
164
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
152
click to vote
MPC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a description technique for the correct construction of programs that allows us to de ne terms like re nement, modelchecking, and synthesis as special operatio...
144
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
In high-level synthesis, accurate lower-bound estimation is helpful to explore the search space efficiently and to evaluate the quality of heuristic algorithms. For the lower-bound...
161
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...