Sciweavers

26151 search results - page 175 / 5231
» Parameterized system design
Sort
View
EH
2003
IEEE
117views Hardware» more  EH 2003»
15 years 11 months ago
The Evolutionary Design and Synthesis of Non-Linear Digital VLSI Systems
This paper describes a multi-objective Evolutionary Algorithm (EA) system for the synthesis of efficient non-linear VLSI circuit modules. The EA takes the specification for a no...
Robert Thomson, Tughrul Arslan
ISARCS
2010
141views Hardware» more  ISARCS 2010»
15 years 10 months ago
Integrating Fault-Tolerant Techniques into the Design of Critical Systems
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
Ricardo J. Rodríguez, José Merseguer
AAMAS
2008
Springer
15 years 6 months ago
Automated organization design for multi-agent systems
The ability to create effective multi-agent organizations is key to the development of larger, more diverse multi-agent systems. In this article we present KB-ORG: a fully automate...
Mark Sims, Daniel D. Corkill, Victor R. Lesser
CCS
1994
ACM
15 years 10 months ago
The Design and Implementation of Tripwire: A File System Integrity Checker
At the heart of most computer systems is a file system. The file system contains user data, executable programs, configuration and authorization information, and (usually) the bas...
Gene H. Kim, Eugene H. Spafford
DSS
2007
140views more  DSS 2007»
15 years 6 months ago
A decision support system for product design in concurrent engineering
Compared with the traditional sequential design method, concurrent engineering is a systematic approach to integrate concurrent design of products and their related processes. One...
Li Da Xu, Zongbin Li, Shancang Li, Fengming Tang