1054 search results - page 102 / 211 » Models for automatic generation of safety-critical real-time... |
186
click to vote
ISSS
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
182
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
183
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
182
click to vote
METAINFORMATICS
2004
Springer
15 years 11 months ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
155
click to vote
SFP
2003
15 years 7 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...