Sciweavers

11214 search results - page 169 / 2243
» Just-in-time data structures
Sort
View
56
Voted
ENTCS
2007
86views more  ENTCS 2007»
15 years 22 days ago
Rewrite-Based Satisfiability Procedures for Recursive Data Structures
Maria Paola Bonacina, Mnacho Echenim
64
Voted
IEICET
2007
90views more  IEICET 2007»
15 years 21 days ago
Automatic Acquisition of Qualia Structure from Corpus Data
Ichiro Yamada, Timothy Baldwin, Hideki Sumiyoshi, ...
57
Voted
BIOINFORMATICS
2005
51views more  BIOINFORMATICS 2005»
15 years 20 days ago
PDBML: the representation of archival macromolecular structure data in XML
John D. Westbrook, Nobutoshi Ito, Haruki Nakamura,...
67
Voted
TOMS
2008
60views more  TOMS 2008»
15 years 20 days ago
Algorithms and Data Structures for Multi-Adaptive Time-Stepping
Johan Jansson, Anders Logg