Sciweavers

396 search results - page 65 / 80
» An Evolvable Hardware Tutorial
Sort
View
CAV
2009
Springer
181views Hardware» more  CAV 2009»
16 years 4 months ago
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
Amir M. Ben-Amram
ICC
2009
IEEE
132views Communications» more  ICC 2009»
15 years 10 months ago
Resource Management in Stargate-Based Ethernet Passive Optical Networks (SG-EPONs)
—At present there is a strong worldwide push toward bringing fiber closer to individual homes and businesses. Another evolutionary step is the cost-effective all-optical integra...
Lehan Meng, Chadi Assi, Martin Maier, Ahmad R. Dha...
IWOMP
2009
Springer
15 years 10 months ago
A Proposal to Extend the OpenMP Tasking Model for Heterogeneous Architectures
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...
Eduard Ayguadé, Rosa M. Badia, Daniel Cabre...
IOLTS
2008
IEEE
83views Hardware» more  IOLTS 2008»
15 years 10 months ago
On the Minimization of Potential Transient Errors and SER in Logic Circuits Using SPFD
Sets of Pairs of Functions to be Distinguished (SPFD) is a functional flexibility representation method that was recently introduced in the logic synthesis domain, and promises s...
Sobeeh Almukhaizim, Yiorgos Makris, Yu-Shen Yang, ...
SMI
2008
IEEE
255views Image Analysis» more  SMI 2008»
15 years 10 months ago
GPU-accelerated surface denoising and morphing with lattice Boltzmann scheme
In this paper, we introduce a parallel numerical scheme, the lattice Boltzmann method, to shape modeling applications. The motivation of using this originally-designed fluid dyna...
Ye Zhao