5525 search results - page 839 / 1105 » Verification of Model Transformations |
178
Voted
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
199
click to vote
CAISE
2004
Springer
16 years 2 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
182
click to vote
IFM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
167
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...
157
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
This paper addresses the issue of optimal scale selection for circular edge extraction in the context of higher dimensional multiscale edge extraction. Based on a classification o...