1054 search results - page 98 / 211 » Models for automatic generation of safety-critical real-time... |
147
click to vote
AEI
2007
15 years 6 months ago
2007
Functional modeling is in use for the interpretation of the results of model based simulation of engineered systems for design analysis, enabling the automatic generation of a tex...
199
click to vote
BIS
2009
15 years 7 months ago
2009
Abstract. The quality of today's digital maps is very high. This allows for new functionality as illustrated by modern car navigation systems (e.g., TomTom, Garmin, etc.), Goo...
161
click to vote
ICLP
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
173
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
To achieve maximum performance gains through compiler optimization, most automatic performance tuning systems use a feed-back directed approach to rate the code versions generated...
242
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...