Annette Bieniusa - Veröffentlichungen allgemein

(1 - 11 von 12

)

Proving Isolation Properties for Software Transactional Memorylink.springer.com › chapter

link.springer.com

Annette Bieniusa &; Peter Thiemann.

An optimized conflict-free replicated set : Annette Bieniusa : Free...

archive.org

Eventual consistency of replicated data supports concurrent updates, reduces latency and improves fault tolerance, but forgoes strong consistency....

Wie ein Computer denken lernen, PI Presseportalwww.presseportal.de › ...

www.presseportal.de

· Annette Bieniusa, Professorin für die Programmierung verteilter Systeme, und Christoph Thyssen, Professor für Fachdidaktik der Biologie an ...

List of publications from Annette Bieniusa | Page 1Amanote

research.amanote.com

Discover open access scientific publications. Search, annotate, share and cite publications. Publications by Annette Bieniusa. Amanote Research.

Brief Announcement: Semantics of Eventually Consistent ...link.springer.com › chapter

link.springer.com

Annette Bieniusa; Marek Zawirski; Nuno Preguiça; Marc Shapiro; Carlos Baquero; Valter Balegas; Sérgio Duarte. Annette Bieniusa. 1. Marek Zawirski. 1; 2.

Formal Specification and Verification of CRDTs | SpringerLink

link.springer.com

Peter Zeller · -kl.de (17); Annette Bieniusa · -kl.de (17); Arnd Poetzsch-Heffter · -kl.de (17). Author Affiliations.

Project%3A riak_core_lite - erlef/gsoc Wiki

github-wiki-see.page

... Source code: https://github.com/riak-core-lite/riak_core_lite; Mentors: Mariano Guerra, Annette Bieniusa, Albert Schimpf.

Lifting the Barriers – Reducing Latencies with Transparent...

link.springer.com

Synchronization in distributed systems is expensive because, in general, threads must stall to obtain a lock or to operate on volatile data. Transactional...

Workshop A7: Digital gestützte VeranstaltungskonzepteOffene Digitalisierungsallianz Pfalz

www.offenedigitalisierungsallianzpfalz.de

ExClaim (Digitale Organisation von. Programmierübungen). Dr. Annette Bieniusa. (Lehrgebiet Software-Engineering /. TUK). Poster-Pitches (2/10) ...

Proving Isolation Properties for Software Transactional Memory |...

link.springer.com

Proving Isolation Properties for Software Transactional Memory. Authors; Authors and affiliations. Annette Bieniusa; Peter Thiemann. Annette Bieniusa. 1. Peter Thiemann University of FreiburgGermany. Conference paper. 2 Citations · 4 Readers · 467 Downloads. Part of the Lecture Notes in Computer Science book ...

[DOC] NASA Space Apps Challenge am 2. und 3. Oktobersiak-kl.com › wp-content › uploads › › PM_143_NASA_Sp...

siak-kl.com

· Annette Bieniusa vom Fachbereich Informatik TU KL (Jurorin). Mittlere Reihe (v.l.n.r.) Vedaant Joshi (Organisationsteam), Christian Bogner ...

Verwandte Suchanfragen zu Annette Bieniusa

Arie Middelkoop
Marc Shapiro
Marcus Crestani

Martin Gasbichler
Peter Zeller
Valter Balegas

Kim Martin
Markus Degen
Phillip Heidegger

Person "Bieniusa" (1)
Vorname "Annette" (27198)
Name "Bieniusa" (2)

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

Veröffentlichungen allgemein Annette Bieniusa