Sciweavers

11214 search results - page 167 / 2243
» Just-in-time data structures
Sort
View
DKE
2006
65views more  DKE 2006»
13 years 10 months ago
Indexing graph-structured XML data for efficient structural join operation
Qun Chen, Andrew Lim, Kian Win Ong, Jiqing Tang
FMSD
2006
77views more  FMSD 2006»
13 years 10 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...