1578 search results - page 192 / 316 » Self-healing systems - survey and synthesis |
EUROMICRO
1998
IEEE
14 years 16 days ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ECLIPSE
2007
ACM
14 years 5 days ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
AI50
2006
14 years 15 hour ago
2006
This case study demonstrates how the synthesis and the analysis of minimal recurrent neural robot control provide insights into the exploration of embodiment. By using structural e...
EPS
1995
Springer
13 years 11 months ago
1995
Springer
An extension of the evolution strategy for mixed-integer optimizationproblems is introduced. The resulting generalized evolution strategy is applied to the problem of optical mult...
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
The memory subsystem of a complex multiprocessor systemson-chip (MPSoC) is an important contributor to the chip power consumption. The selection of memory architecture, as well as...