Sciweavers

11231 search results - page 148 / 2247
» Digging for Data Structures
Sort
View
69
Voted
EWC
2006
54views more  EWC 2006»
14 years 11 months ago
Efficient distributed mesh data structure for parallel automated adaptive analysis
E. Seegyoung Seol, Mark S. Shephard
73
Voted
FMSD
2006
77views more  FMSD 2006»
14 years 11 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...
31
Voted
GPB
2006
47views more  GPB 2006»
14 years 11 months ago
High-Sensitivity Transcriptome Data Structure and Implications for Analysis and Biologic Interpretation
Sebastian Noth, Guillaume Brysbaert, Franço...