10870 search results - page 1985 / 2174 » Model Checking Programs |
102
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
124
click to vote
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
111
click to vote
CRV
2006
IEEE
15 years 7 months ago
2006
IEEE
A regularization-based approach to 3-D reconstruction from multiple images is proposed. As one of the most widely used multiple-view 3-D reconstruction algorithms, Space Carving c...
128
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
104
click to vote
ICDE
2006
IEEE
15 years 7 months ago
2006
IEEE
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...