2343 search results - page 177 / 469 » Structure and Interpretation of Computer Programs |
138
Voted
VMCAI
2009
Springer
15 years 12 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
263
click to vote
CSB
2004
IEEE
15 years 8 months ago
2004
IEEE
Motivation: Since the whole genome sequences for many species are currently available, computational predictions of RNA secondary structures and computational identifications of t...
165
click to vote
ICCV
2005
IEEE
16 years 7 months ago
2005
IEEE
Geometric reconstruction problems in computer vision are often solved by minimizing a cost function that combines the reprojection errors in the 2D images. In this paper, we show t...
168
click to vote
DCOSS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We have developed TakaTuka, a Java Virtual Machine optimized for tiny embedded devices such as wireless sensor motes. TakaTuka1 requires very little memory and processing...
253
click to vote
AFPAC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...