Oleg Travkin und Linearizability - Info zur Person

(1 - 12 von 14

)

Proving Linearizability of a MulitSet Implementation with Local ...isse.de

kiv.isse.de

The verification was done by Oleg Travkin from University of Paderborn. The main specifications are: An abstract data type of multisets with two abstract ...

Hardware and Software: Verification and Testing: 10th ...google.de

books.google.de

Handling TSO in Mechanized Linearizability Proofs Oleg Travkin and Heike Wehrheim Universität Paderborn, Institut für Informatik, Paderborn, ...

Table of Contents: Hardware and software :

library.villanova.edu

... Ghosh; SPIN as a Linearizability Checker under Weak Memory Models /; Oleg Travkin, Annika Mütze and Heike Wehrheim; Session 7: Model Representation.

Travkin | Electronic Communications of the EASSTTU Berlin

journal.ub.tu-berlin.de

von O Travkin · · Zitiert von: 5 — Proving Linearizability of Multiset with Local Proof Obligations. Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn. Abstract. Linearizability is a key ...

Handling TSO in Mechanized Linearizability ProofsSpringer

link.springer.com

von O Travkin · · Zitiert von: 13 — Oleg Travkin &; Heike Wehrheim. Conference paper Accesses. 7 Citations. Part of the Lecture Notes in Computer Science book series (LNPSE,volume 8855) ...

SPIN as a Linearizability Checker under Weak Memory Models |...

link.springer.com

Linearizability is the key …ctness criterion for concurrent data structures like stacks, queues or sets. Consequently, much effort has been spent on...

JISCMail - PROCOS Archives

www.jiscmail.ac.uk

Oleg Travkin, Heike Wehrheim and Gerhard Schellhorn. Proving Linearizability of Multiset with Local Proof Obligations. - Faron Moller, Hoang ...

Alle Infos zum Namen "Oleg Travkin"

HVC Haifa Verification Conference 2013IBM

research.ibm.com

Guodong Li and Indradeep Ghosh 11:30 SPIN as a Linearizability Checker under weak memory models, Oleg Travkin, Annika Mütze, and Heike Wehrheim 11:55 Break.

Quiescent Consistency: Defining and Verifying Relaxed Linearizability...

www.springerprofessional.de

Concurrent data structures like stacks, sets or queues need to be highly optimized to provide large degrees of parallelism with reduced contention.

Heike Wehrheim - researchr alias

researchr.org

Two approaches for proving linearizability of multisetBogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim. SCP, 96: , [doi].

Quiescent Consistency: Defining and Verifying Relaxed Linearizabilitywww.springerprofessional.de › quiescent-consistenc...

www.springerprofessional.de

Authors: John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim. Publisher: Springer International Publishing.

Qatar University All...

mylibrary.qu.edu.qa

... SPIN as a Linearizability Checker under Weak Memory Models / Oleg Travkin, Annika Mütze and Heike Wehrheim -- Session 7: Model Representation.

Verwandte Suchanfragen zu Oleg Travkin

Steffen Becker
Jürgen König
Ekkart Kindler

Gerhard Schellhorn
Hartmut Kleimann
David Schmelter

Sandrina Kleimann

Personen
Vorname "Oleg" (2881)
Name "Travkin" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Oleg Travkin und Linearizability Person-Info