1527 search results - page 51 / 306 » From Requirements to Design: Formalizing the Key Steps |
155
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
A key step in the design of cyclo-static real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure, which means that tasks...
172
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
This paper presents a cooperative strategy between volumetric registration and segmentation. The segmentation method is based on the level set formalism. Starting from an initial ...
179
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
157
click to vote
DATE
2006
IEEE
16 years 5 hour ago
2006
IEEE
Partitioning is a time consuming and computationally complex optimization problem in the codesign of hardware software systems. The stringent time-to-market requirements have resu...
179
click to vote
ECMDAFA
2008
Springer
15 years 7 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...