Sciweavers

1285 search results - page 67 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
ENTCS
2006
151views more  ENTCS 2006»
15 years 18 days ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
92
Voted
IANDC
2006
77views more  IANDC 2006»
15 years 17 days ago
Lower and upper bounds on obtaining history independence
Abstract. History independent data structures, presented by Micciancio, are data structures that possess a strong security property: even if an intruder manages to get a copy of th...
Niv Buchbinder, Erez Petrank
SPLC
2010
15 years 2 months ago
Evolution of the Linux Kernel Variability Model
Abstract. Understanding the challenges faced by real projects in evolving variability models, is a prerequisite for providing adequate support for such undertakings. We study the e...
Rafael Lotufo, Steven She, Thorsten Berger, Krzysz...
BC
2005
84views more  BC 2005»
15 years 14 days ago
A computational model of monkey cortical grating cells
Grating cells were discovered in the V1 and V2 areas of the monkey visual cortex by von der Heydt et al. (1992). These cells responded vigorously to grating patterns of appropriate...
Tino Lourens, Emilia I. Barakova, Hiroshi G. Okuno...
110
Voted
CCCG
2010
15 years 2 months ago
I/O efficient path traversal in well-shaped tetrahedral meshes
We present a data structure which represents a wellshaped convex tetrahedral mesh, M, in linear space such that path traversals visiting a sequence of K tetrahedra require O (K/ l...
Craig Dillabaugh