Sciweavers

3628 search results - page 440 / 726
» Approaching the Physical Limits of Computing
Sort
View
CGO
2007
IEEE
16 years 1 months ago
Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
Louis-Noël Pouchet, Cédric Bastoul, Al...
ILP
2007
Springer
16 years 26 days ago
Structural Statistical Software Testing with Active Learning in a Graph
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
Nicolas Baskiotis, Michèle Sebag
3DPVT
2006
IEEE
179views Visualization» more  3DPVT 2006»
16 years 24 days ago
Large-Scale Urban Modeling by Combining Ground Level Panoramic and Aerial Imagery
We describe an interactive system that models regions of an urban environment, such as a group of tall buildings. Traditional image-based modeling methods often cannot model such ...
Lu Wang, Suya You, Ulrich Neumann
FPGA
2005
ACM
107views FPGA» more  FPGA 2005»
16 years 7 days ago
Instruction set extension with shadow registers for configurable processors
Configurable processors are becoming increasingly popular for modern embedded systems (especially for the field-programmable system-on-a-chip). While steady progress has been made...
Jason Cong, Yiping Fan, Guoling Han, Ashok Jaganna...
SCALESPACE
2005
Springer
16 years 6 days ago
Stabilised Nonlinear Inverse Diffusion for Approximating Hyperbolic PDEs
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
Michael Breuß, Thomas Brox, Thomas Sonar, Jo...