799 search results - page 9 / 160 » Generating Reliable Code from Hybrid-Systems Models |
AVI
2000
13 years 11 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
ECMDAFA
2008
Springer
13 years 11 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...
SDL
2007
13 years 11 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract— Space-time codes leverage the availability of multiple antennas to enhance the reliability of communication over wireless channels. While space-time codes have initiall...
ASPDAC
2004
ACM
14 years 3 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...