5239 search results - page 508 / 1048 » Model-Integrated Embedded Systems |
157
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Dataflow abstracted Virtual Prototype for HdS-Design Wolfgang Ecker Stefan Heinen Michael Velten Infineon Technologies AG Germany ASPDAC 2009 Special Session Hardware-dependent Sof...
243
click to vote
ECRTS
2005
IEEE
16 years 23 days ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
169
click to vote
TIME
2005
IEEE
16 years 21 days ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
231
click to vote
PLDI
2004
ACM
16 years 17 days ago
2004
ACM
It has long been known that a fixed ordering of optimization phases will not produce the best code for every application. One approach for addressing this phase ordering problem ...