Sciweavers

396 search results - page 49 / 80
» An Evolvable Hardware Tutorial
Sort
View
AGILEDC
2004
IEEE
14 years 1 months ago
Taming the Embedded Tiger - Agile Test Techniques for Embedded Software
Strong unit testing is the foundation of agile software development but embedded systems present special problems. Test of embedded software is bound up with test of hardware, cro...
Nancy Van Schooenderwoert, Ron Morsicato
CAV
2006
Springer
128views Hardware» more  CAV 2006»
14 years 1 months ago
Safraless Compositional Synthesis
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...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
DDECS
2006
IEEE
140views Hardware» more  DDECS 2006»
14 years 1 months ago
A Core Generator for Multi-ALU Processors Utilized in Genetic Parallel Programming
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
Zbysek Gajda
EH
2000
IEEE
84views Hardware» more  EH 2000»
14 years 1 months ago
Evolutionary Design of Single Electron Systems
The differences between electronics design through artificial evolution and through conventional methods have the consequence that evolved circuits may take unusual leverage from ...
Adrian Thompson, Christoph Wasshuber
ETS
2000
IEEE
85views Hardware» more  ETS 2000»
13 years 9 months ago
A Framework for Enabling an Internet Learning Community
We view the Internet as a "virtual laboratory" and have developed a framework to support experiments in web-based community learning. Our system is called the Community ...
Elizabeth Sklar, Jordan B. Pollack