788 search results - page 53 / 158 » Design and use of a system-level specification and verificat... |
216
click to vote
COOPIS
1996
IEEE
15 years 10 months ago
1996
IEEE
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
177
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
215
click to vote
AOSE
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
163
click to vote
MAM
2006
15 years 6 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
167
click to vote
TCAD
2002
15 years 6 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...