Sciweavers

11784 search results - page 211 / 2357
» Interpolation for data structures
Sort
View
FMSD
2006
77views more  FMSD 2006»
15 years 3 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...
IJAIT
2006
62views more  IJAIT 2006»
15 years 3 months ago
Structure Discovery in Sequentially-connected Data Streams
Jeffrey Coble, Diane J. Cook, Lawrence B. Holder
65
Voted
JERIC
2008
31views more  JERIC 2008»
15 years 3 months ago
Narrating data structures: The role of context in CS2
Svetlana Yarosh, Mark Guzdial