477 search results - page 40 / 96 » Design patterns in separation logic |
CVPR
2009
IEEE
14 years 7 months ago
2009
IEEE
Consider a projector-camera setup where a sinusoidal pattern is projected onto the scene, and an image of the objects imprinted with the pattern is captured by the camera. In this...
PDP
2009
IEEE
14 years 4 months ago
2009
IEEE
—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
This paper presents a new method of selecting scan
ipops (FFs) in partial scan designs of sequential circuits. Scan FFs are chosen so that the whole circuit can be partitioned in...
TVCG
2010
13 years 8 months ago
2010
—This paper presents the first practical method for “origamizing” or obtaining the folding pattern that folds a single sheet of material into a given polyhedral surface with...
SIGMOD
2003
ACM
14 years 9 months ago
2003
ACM
Managing scientific data warehouses requires constant adaptations to cope with changes in processing algorithms, computing environments, database schemas, and usage patterns. We h...