799 search results - page 93 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ISSTA
2010
ACM
13 years 12 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
ACSD
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
MEMOCODE
2005
IEEE
14 years 3 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
PRDC
2007
IEEE
14 years 4 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
WSC
2004
13 years 11 months ago
2004
Military supply chains encompass a complicated network of customers and suppliers, and deal with a wide variety of items. Demand inside the network is generated at the unit level ...