110 search results - page 22 / 22 » An efficient verification algorithm for parallel controllers |
131
click to vote
HPCA
2008
IEEE
16 years 5 days ago
2008
IEEE
Portable, embedded systems place ever-increasing demands on high-performance, low-power microprocessor design. Dynamic voltage and frequency scaling (DVFS) is a well-known techniq...
131
click to vote
MT
2007
14 years 11 months ago
2007
This paper describes the framework of the StatCan Daily Translation Extraction System (SDTES), a computer system that maps and compares webbased translation texts of Statistics Can...
137
click to vote
VISSYM
2007
15 years 2 months ago
2007
The dataset generated by a large-scale numerical simulation may include thousands of timesteps and hundreds of variables describing different aspects of the modeled physical pheno...
133
click to vote
DAGSTUHL
2010
15 years 1 months ago
2010
We apply Knoll et al.'s algorithm [9] to interactively ray-cast constructive solid geometry (CSG) objects of arbitrary primitives represented as implicit functions. Whereas m...
113
click to vote
COMPUTING
2004
14 years 11 months ago
2004
The presented image registration method uses a regularized gradient flow to correlate the intensities in two images. Thereby, an energy functional is successively minimized by des...