396 search results - page 65 / 80 » An Evolvable Hardware Tutorial |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
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...
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
—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...
IWOMP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. OpenMP has evolved recently towards expressing unstructured parallelism, targeting the parallelization of a broader range of applications in the current multicore era. Ho...
IOLTS
2008
IEEE
14 years 4 months ago
2008
IEEE
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...
SMI
2008
IEEE
14 years 4 months ago
2008
IEEE
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...