2334 search results - page 280 / 467 » How are Real Grids Used |
152
click to vote
VLSID
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
143
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
155
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-know...
113
click to vote
ANTSW
2008
Springer
15 years 6 months ago
2008
Springer
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
159
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we present a novel 3D surface and image reconstruction method based on the off-axis aperture camera. The key idea is to change the size or the 3-D location of the ap...