Sciweavers

1304 search results - page 144 / 261
» Simulation of Soliton Circuits
Sort
View
ONDM
2007
13 years 11 months ago
Optical IP Switching for Dynamic Traffic Engineering in Next-Generation Optical Networks
WDM technology has increased network link capacity dramatically, moving the network bottleneck from the transport to the routing layer. Hybrid electro-optical architectures seem at...
Marco Ruffini, Donal O'Mahony, Linda Doyle
ESANN
2004
13 years 11 months ago
BIOSEG: a bioinspired vlsi analog system for image segmentation
: The architecture of a complete image segmentation system and the development of an embedded VLSI low-power integrated circuit are reported. A neuromorphic engineering approach is...
Jordi Madrenas, Jordi Cosp, Lucas Oscar, Eduard Al...
AAAI
1994
13 years 11 months ago
Noise Strategies for Improving Local Search
It has recently been shown that local search is surprisingly good at nding satisfying assignments for certain computationally hard classes of CNF formulas. The performance of basi...
Bart Selman, Henry A. Kautz, Bram Cohen
GLVLSI
2007
IEEE
173views VLSI» more  GLVLSI 2007»
13 years 10 months ago
Modeling and estimating leakage current in series-parallel CMOS networks
This paper reviews the modeling of subthreshold leakage current and proposes an improved model for general series-parallel CMOS networks. The presence of on-switches in off-networ...
Paulo F. Butzen, André Inácio Reis, ...
ENTCS
2006
176views more  ENTCS 2006»
13 years 10 months ago
Automatic Formal Synthesis of Hardware from Higher Order Logic
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Sl...