Sciweavers

94 search results - page 14 / 19
» Designing a Morphogenetic System for Evolvable Hardware
Sort
View
DATE
2007
IEEE
126views Hardware» more  DATE 2007»
15 years 6 months ago
The ARTEMIS cross-domain architecture for embedded systems
platform and a suite of abstract components with which new developments in different application domains can be engineered with minimal effort [1]p.16. Generic platforms, or refere...
Hermann Kopetz
BTW
2003
Springer
118views Database» more  BTW 2003»
15 years 4 months ago
Information System Architectures: From Art to Science
: The presentation claims that architectural design plays a crucial role in system development as a first step in a process that turns a requirements specification into a working s...
Peter C. Lockemann
DEXA
2004
Springer
83views Database» more  DEXA 2004»
15 years 3 months ago
Efficient Rule Base Verification Using Binary Decision Diagrams
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
Christophe Mues, Jan Vanthienen
ICCAD
2001
IEEE
107views Hardware» more  ICCAD 2001»
15 years 8 months ago
A Convex Programming Approach to Positive Real Rational Approximation
As system integration evolves and tighter design constraints must be met, it becomes necessary to account for the non-ideal behavior of all the elements in a system. Certain devic...
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...
98
Voted
AC
2005
Springer
14 years 11 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann