154 search results - page 25 / 31 » A Formal Verification Approach for IP-based Designs |
114
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
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 temporal synthesis, l...
107
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
117
click to vote
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
139
click to vote
TCAD
2008
15 years 1 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
121
click to vote
DSN
2004
IEEE
15 years 5 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...