Sciweavers

11214 search results - page 167 / 2243

» Just-in-time data structures

97

DKE
2006

65views more DKE 2006»

Indexing graph-structured XML data for efficient structural join operation

15 years 3 months ago

Indexing graph-structured XML data for efficient structural join operation

Download acadepedia.com

Qun Chen, Andrew Lim, Kian Win Ong, Jiqing Tang

claim paper

Read More »

105

ECEASST
2006

60views more ECEASST 2006»

Incremental Graph Pattern Matching: Data Structures and Initial Experiments

15 years 3 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 »

90

IJFCS
2008

63views more IJFCS 2008»

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

15 years 3 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 »

101

Voted

EWC
2006

54views more EWC 2006»

Efficient distributed mesh data structure for parallel automated adaptive analysis

15 years 3 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 »

118

Voted

FMSD
2006

77views more FMSD 2006»

Data structures for symbolic multi-valued model-checking

15 years 3 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 »

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