Sciweavers

3130 search results - page 374 / 626
» Design Correctness of Digital Systems
Sort
View
IAT
2003
IEEE
15 years 12 months ago
A JMS Message Transport Protocol for the JADE Platform
A prerequisite of joining an enterprise system is the ability to cope with the rigorous demands experienced within such systems. One of the most fundamental of these demands is th...
Edward Curry, Desmond Chambers, Gerard Lyons
ICES
2003
Springer
88views Hardware» more  ICES 2003»
15 years 12 months ago
POEtic Tissue: An Integrated Architecture for Bio-inspired Hardware
It is clear to all, after a moments thought, that nature has much we might be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name ...
Andrew M. Tyrrell, Eduardo Sanchez, Dario Floreano...
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
15 years 11 months ago
Isochronous manifolds in self-triggered control
Abstract— Feedback control laws are predominantly implemented on digital platforms as periodic tasks. Although periodicity simplifies the analysis and design of the implementati...
Adolfo Anta Martinez, Paulo Tabuada
EH
2000
IEEE
109views Hardware» more  EH 2000»
15 years 11 months ago
Bidirectional Incremental Evolution in Extrinsic Evolvable Hardware
Evolvable Hardware (EHW) has been proposed as a new technique to design complex systems. Often, complex systems turn out to be very difficult to evolve. The problem is that a gen...
Tatiana Kalganova
TC
2008
15 years 6 months ago
Automatic Generation of Modular Multipliers for FPGA Applications
Since redundant number systems allow for constant time addition, they are often at the heart of modular multipliers designed for public key cryptography (PKC) applications. Indeed,...
Jean-Luc Beuchat, Jean-Michel Muller