Search Sciweavers | Sciweavers

11784 search results - page 190 / 2357

» Interpolation for data structures

112

Voted

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

15 years 10 months ago

Download www.cerc.utexas.edu

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

102

Voted

FROCOS
2009
Springer

112views Control Systems» more FROCOS 2009»

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

15 years 10 months ago

Download disi.unitn.it

Enrica Nicolini, Christophe Ringeissen, Michaë...

claim paper

Read More »

Voted

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 »

Voted

FOCS
2008
IEEE

94views Theoretical Computer Science» more FOCS 2008»

(Data) STRUCTURES

15 years 9 months ago

Download www.mu.ac.in

Mihai Patrascu

claim paper

Read More »

click to vote

ICDCS
2007
IEEE

97views Distributed And Parallel Com...» more ICDCS 2007»

Fusible Data Structures for Fault-Tolerance

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers