1054 search results - page 83 / 211 » Models for automatic generation of safety-critical real-time... |
212
click to vote
CASES
2006
ACM
16 years 5 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
130
click to vote
COLING
2000
15 years 7 months ago
2000
Automatic transliteration problem is to transcribe foreign words in one's own alphabet. Machine generated transliteration can be useful in various applications such as indexi...
176
click to vote
APSEC
2006
IEEE
16 years 8 days ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
147
click to vote
FPL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. High-performance design flows for FPGAs often rely on module generators to counter coarse logic-block granularity and limited routing resources, However, the very flexi...
176
click to vote
MVA
1998
15 years 5 months ago
1998
Abstract. This paper presents a new multi-pass hierarchical stereo-matching approach for generation of digital terrain models (DTMs) from two overlapping aerial images. Our method ...