Search Sciweavers | Sciweavers

11394 search results - page 153 / 2279

» Error-Correcting Data Structures

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

15 years 9 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

107

click to vote

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

15 years 9 months ago

Download www.cerc.utexas.edu

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

101

click to vote

FROCOS
2009
Springer

112views Control Systems» more FROCOS 2009»

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

15 years 9 months ago

Download disi.unitn.it

Enrica Nicolini, Christophe Ringeissen, Michaë...

claim paper

Read More »

click to vote

ITICSE
2009
ACM

113views Theoretical Computer Science» more ITICSE 2009»

A course on algorithms and data structures using on-line judging

15 years 9 months ago

Download dis.um.es

Ginés García-Mateos, José Lui...

claim paper

Read More »

click to vote

FOCS
2008
IEEE

94views Theoretical Computer Science» more FOCS 2008»

(Data) STRUCTURES

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers