Sciweavers

1017 search results - page 111 / 204
» Register computations on ordinals
Sort
View
83
Voted
MICCAI
2008
Springer
16 years 1 months ago
New Algorithms to Map Asymmetries of 3D Surfaces
Abstract. In this paper, we propose a set of new generic automated processing tools to characterise the local asymmetries of anatomical structures (represented by surfaces) at an i...
Benoît Combès, Sylvain Prima
DAC
2002
ACM
16 years 26 days ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore
DAC
2005
ACM
16 years 26 days ago
Incremental retiming for FPGA physical synthesis
In this paper, we present a new linear-time retiming algorithm that produces near-optimal results. Our implementation is specifically targeted at Altera's Stratix [1] FPGAbas...
Deshanand P. Singh, Valavan Manohararajah, Stephen...
MICCAI
2006
Springer
16 years 25 days ago
Anatomically Informed Convolution Kernels for the Projection of fMRI Data on the Cortical Surface
Abstract. We present here a method that aims at producing representations of functional brain data on the cortical surface from functional MRI volumes. Such representations are req...
Grégory Operto, Jean-Luc Anton, Olivier Cou...
VLSID
2005
IEEE
140views VLSI» more  VLSID 2005»
16 years 8 days ago
Variable Resizing for Area Improvement in Behavioral Synthesis
High level synthesis tools transform an algorithmic description to a register transfer language (RTL) description of the hardware. The algorithm behavior is typically described in...
R. Gopalakrishnan, Rajat Moona