1338 search results - page 140 / 268 » Consistent Code Generation from UML Models |
132
click to vote
EDO
2005
Springer
15 years 8 months ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...
132
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
The use of 3-D ultrasound data has several advantages over 2-D ultrasound for fetal biometric measurements, such as considerable decrease in the examination time, possibility of p...
215
click to vote
CC
2009
Springer
16 years 3 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
162
click to vote
LCPC
2000
Springer
15 years 6 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...
130
click to vote
ICANN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Modeling the statistical structure of natural images is interesting for reasons related to neuroscience as well as engineering. Currently, this modeling relies heavily on...