Sciweavers

11214 search results - page 167 / 2243
» Just-in-time data structures
Sort
View
69
Voted
DKE
2006
65views more  DKE 2006»
15 years 24 days ago
Indexing graph-structured XML data for efficient structural join operation
Qun Chen, Andrew Lim, Kian Win Ong, Jiqing Tang
77
Voted
EWC
2006
54views more  EWC 2006»
15 years 24 days ago
Efficient distributed mesh data structure for parallel automated adaptive analysis
E. Seegyoung Seol, Mark S. Shephard
FMSD
2006
77views more  FMSD 2006»
15 years 24 days 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...