2962 search results - page 366 / 593 » Optimizing Spatial Data Structures For Static Data |
119
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
149
click to vote
SBIA
1995
Springer
15 years 5 months ago
1995
Springer
ion Framework for Compositional Modeling 36 Diane Chi and Yumi Iwasaki Model Decomposition and Simulation 45 Daniel J. Clancy and Benjamin Kuipers A Distance Measure for Attention ...
113
click to vote
ISCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Providing adequate data bandwidth is extremely important for a wide-issue superscalar processor to achieve its full performance potential. Adding a large number of ports to a data...
ICMENS
2003
IEEE
15 years 7 months ago
2003
IEEE
crystallographic results were made available through the Protein Data Bank (PDB) (entries: ITUB and IJFF) which allowed us to view the 3D atomic resolution structure oftubulin. (se...
116
click to vote
IJAR
2006
15 years 2 months ago
2006
Probabilistic decision graphs (PDGs) are a representation language for probability distributions based on binary decision diagrams. PDGs can encode (context-specific) independence...