CODES
1997
IEEE
14 years 6 days ago
1997
IEEE
– Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...
CODES
1997
IEEE
14 years 6 days ago
1997
IEEE
CODES
1997
IEEE
14 years 6 days ago
1997
IEEE
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
CODES
1997
IEEE
14 years 6 days ago
1997
IEEE
ICFEM
1998
Springer
14 years 6 days ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
ICFEM
1998
Springer
14 years 6 days ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
ICFEM
1998
Springer
14 years 6 days ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...
APSEC
1997
IEEE
14 years 6 days ago
1997
IEEE
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
APSEC
1997
IEEE
14 years 6 days ago
1997
IEEE
The problems posed by mission-critical legacy systems - brittleness, inflexibility, isolation, non-extensibility, lack of openness etc. - are well known, but practical solutions h...
APSEC
1997
IEEE
14 years 6 days ago
1997
IEEE