Sciweavers

11212 search results - page 67 / 2243

» Semi-persistent Data Structures

22

ECEASST
2006

60views more ECEASST 2006»

Incremental Graph Pattern Matching: Data Structures and Initial Experiments

13 years 10 months ago

Incremental Graph Pattern Matching: Data Structures and Initial Experiments

Download tfs.cs.tu-berlin.de

Gergely Varró, Dániel Varró, ...

claim paper

Read More »

23

IJFCS
2008

63views more IJFCS 2008»

A Normal Form for First-Order Logic over Doubly-Linked Data Structures

13 years 10 months ago

A Normal Form for First-Order Logic over Doubly-Linked Data Structures

Download www.newton.ac.uk

Steven Lindell

claim paper

Read More »

27

EWC
2006

54views more EWC 2006»

Efficient distributed mesh data structure for parallel automated adaptive analysis

13 years 10 months ago

Efficient distributed mesh data structure for parallel automated adaptive analysis

Download www.scorec.rpi.edu

E. Seegyoung Seol, Mark S. Shephard

claim paper

Read More »

25

FMSD
2006

77views more FMSD 2006»

Data structures for symbolic multi-valued model-checking

13 years 10 months ago

Data structures for symbolic multi-valued model-checking

Download www.cs.toronto.edu

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...

claim paper

Read More »

6

GPB
2006

47views more GPB 2006»

High-Sensitivity Transcriptome Data Structure and Implications for Analysis and Biologic Interpretation

13 years 10 months ago

High-Sensitivity Transcriptome Data Structure and Implications for Analysis and Biologic Interpretation

Download seg.ihes.fr

Sebastian Noth, Guillaume Brysbaert, Franço...

claim paper

Read More »

« Prev « First page 67 / 2243 Last » Next »