Sciweavers

11212 search results - page 67 / 2243
» Semi-persistent Data Structures
Sort
View
89
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
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...