Sciweavers

11394 search results - page 183 / 2279
» Self-Organizing Data Structures
Sort
View
DKE
2006
65views more  DKE 2006»
15 years 4 months ago
Indexing graph-structured XML data for efficient structural join operation
Qun Chen, Andrew Lim, Kian Win Ong, Jiqing Tang
101
Voted
EWC
2006
54views more  EWC 2006»
15 years 4 months ago
Efficient distributed mesh data structure for parallel automated adaptive analysis
E. Seegyoung Seol, Mark S. Shephard
120
Voted
FMSD
2006
77views more  FMSD 2006»
15 years 4 months ago
Data structures for symbolic multi-valued model-checking
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
Marsha Chechik, Arie Gurfinkel, Benet Devereux, Al...