Sciweavers

11231 search results - page 148 / 2247
» Digging for Data Structures
Sort
View
96
Voted
ECEASST
2006
60views more  ECEASST 2006»
15 years 2 months ago
Incremental Graph Pattern Matching: Data Structures and Initial Experiments
Gergely Varró, Dániel Varró, ...
92
Voted
EWC
2006
54views more  EWC 2006»
15 years 2 months ago
Efficient distributed mesh data structure for parallel automated adaptive analysis
E. Seegyoung Seol, Mark S. Shephard
101
Voted
FMSD
2006
77views more  FMSD 2006»
15 years 2 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...