Sciweavers

1801 search results - page 32 / 361
» Pointing without a pointer
Sort
View
CC
2005
Springer
120views System Software» more  CC 2005»
14 years 1 months ago
Data Slicing: Separating the Heap into Independent Regions
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
Jeremy Condit, George C. Necula
SIGMETRICS
2004
ACM
106views Hardware» more  SIGMETRICS 2004»
14 years 1 months ago
Performance analysis of BSTs in system software
Binary search tree (BST) based data structures, such as AVL trees, red-black trees, and splay trees, are often used in system software, such as operating system kernels. Choosing ...
Ben Pfaff
VLDB
1990
ACM
100views Database» more  VLDB 1990»
13 years 12 months ago
The C-based Database Programming Language Jasmine/C
Jasmine/C is a C-based database proqramninq language that allows the handling of persistent objects in Jasmine databases. The language is used to write methods for objects and app...
Masaaki Aoshima, Yoshio Izumida, Akifumi Makinouch...
ICPR
2010
IEEE
13 years 6 months ago
A Game-Theoretic Approach to Robust Selection of Multi-View Point Correspondence
In this paper we introduce a robust matching technique that allows to operate a very accurate selection of corresponding feature points from multiple views. Robustness is achieved...
Emanuele Rodolà, Andrea Albarelli, Andrea Torsell...
TIT
2002
67views more  TIT 2002»
13 years 7 months ago
Closest point search in lattices
In this semitutorial paper, a comprehensive survey of closest point search methods for lattices without a regular structure is presented. The existing search strategies are describ...
Erik Agrell, Thomas Eriksson, Alexander Vardy, Ken...