2274 search results - page 355 / 455 » Qualitative Modeling for Requirements Engineering |
137
click to vote
ADAEUROPE
2001
Springer
15 years 10 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
202
click to vote
EMSOFT
2001
Springer
15 years 10 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
152
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
167
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
180
click to vote
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...