799 search results - page 25 / 160 » Generating Reliable Code from Hybrid-Systems Models |
ENTCS
2006
13 years 9 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
: Small unmanned vertical take off and landing vehicles are used to provide the eye-in-the-sky alternative to monitoring and regulating traffic dynamically. Spatial-temporal visual...
CODES
2006
IEEE
14 years 3 months ago
2006
IEEE
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
FDL
2007
IEEE
14 years 1 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
IEEEIAS
2007
IEEE
14 years 4 months ago
2007
IEEE
Generative models of pattern individuality attempt to represent the distribution of observed quantitative features, e.g., by learning parameters from a database, and then use such...