Sciweavers

329 search results - page 15 / 66
» Self: The Power of Simplicity
Sort
View
ASYNC
2005
IEEE
97views Hardware» more  ASYNC 2005»
14 years 10 days ago
Self-Timed Circuitry for Global Clocking
We present an apparatus used to distribute a timing reference or clock across the extent of a digital system. Selftimed circuitry both generates and distributes a clock signal, wh...
Scott Fairbanks, Simon W. Moore
CEC
2005
IEEE
14 years 10 days ago
Automated tile design for self-assembly conformations
AbstractSelf-Assembly is a powerful autopoietic mechanism ubiquitous throughout the natural world. It may be found at the molecular scale and also at astronomical scales. Self-asse...
Germán Terrazas, Natalio Krasnogor, Graham ...
TPHOL
2007
IEEE
14 years 1 months ago
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL
We present a simple method to formally prove termination of recursive functions by searching for lexicographic combinations of size measures. Despite its simplicity, the method tur...
Lukas Bulwahn, Alexander Krauss, Tobias Nipkow
GLOBECOM
2008
IEEE
14 years 1 months ago
Power-Cost-Effective Node Architecture for Light-Tree Routing in WDM Networks
—We present a novel cost-effective multicast capable optical cross connect (MC-OXC) node architecture which improves efficiency of optical power by constraining splitting to only...
G. M. Fernandez, David Larrabeiti, C. Vazquez, P. ...
ISPD
2010
ACM
160views Hardware» more  ISPD 2010»
14 years 1 months ago
Physical synthesis of bus matrix for high bandwidth low power on-chip communications
As the thermal wall becomes the dominant factor limiting VLSI circuit performance, and the interconnect wires become the primary power consumer, power efficiency of onchip data th...
Renshen Wang, Evangeline F. Y. Young, Ronald L. Gr...