Back to Results
First PageMeta Content
Binary tree / Parity of a permutation / Combinatorial species / Skip list / Model theory / Mathematics / Combinatorics / Group theory


A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes? Alejandro S´anchez1 and C´esar S´anchez1,2 1 2
Add to Reading List

Document Date: 2014-06-27 10:56:07

Open Document

File Size: 460,11 KB

Share Result on Facebook

City

Belem / Madrid / /

Company

Reliable Computer Systems / /

Country

Spain / /

Currency

pence / /

/

Facility

The IMDEA Software Institute / /

IndustryTerm

skiplist manipulating algorithms / insert algorithm / search process / expected logarithmic search / search progresses / search trees / search moves / insertion algorithm / search algorithm moves / faster solution / /

Organization

European Union / Spain Spanish Council for Scientific Research / IMDEA Software Institute / /

Position

node head / sl.head / /

ProgrammingLanguage

C / K / /

Technology

skiplist manipulating algorithms / insert algorithm / insertion algorithm / /

SocialTag