1
0
0
(1 - 25 von 30
)
Program Committee BOB Konfbobkonf.de › programmkomitee
bobkonf.de
· Annette Bieniusa read mathematics, Latin and computer science in Saarbrücken, Leeds and Freiburg. She completed her doctorate on Software ...
HDI GI-Fachtagung "Hochschuldidaktik Informatik"
ddi.cs.uni-potsdam.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Universität Freiburg Martin Gasbichler, Zühlke Engineering AG Marcus Crestani, Herbert Klaeren, Universität ...
Distributed STM - uni-freiburg.de
proglang.informatik.uni-freiburg.de
Annette Bieniusa, Thomas Fuhrmann. Distributed Transactional Memory. To appear soon as a Technical Report. Contact. For further information, bug reports, etc.
Twilight STM for Haskell - uni-freiburg.de
proglang.informatik.uni-freiburg.de
A full formalization of Twilight STM with proofs for several semantics are available here: ... Annette Bieniusa, Arie Middelkoop and Peter Thiemann.
Twilight STM - Albert-Ludwigs-Universität Freiburg
proglang.informatik.uni-freiburg.de
Annette Bieniusa, Arie Middelkoop and Peter Thiemann. Actions in the Twilight: Concurrent irrevocable transactions and Inconsistency repair.
Compiler Construction: 18th International Conference, CC ...google.de
books.google.de
How to CPS Transform a Monad Annette Bieniusa and Peter Thiemann Institut f ̈ur Informatik, Universit ̈at Freiburg, Georges-K ̈
books.google.no › booksCompiler Construction: 18th International Conference, CC ...
books.google.no
How to CPS Transform a Monad Annette Bieniusa and Peter Thiemann Institut für Informatik, Universität Freiburg, Freiburg, ...
Testing: Academic and Industrial Conference - Practice and ...books.google.dk › books
books.google.dk
DOM. Transactions. for. Testing. JavaScript. Phillip Heidegger, Annette Bieniusa, and Peter Thiemann Albert-Ludwigs-Universität Freiburg, Germany {heidegger ...
Testing: Academic and Industrial Conference - Practice and ...books.google.ca › books
books.google.ca
for. Testing. JavaScript. Phillip Heidegger, Annette Bieniusa, and Peter Thiemann Albert-Ludwigs-Universität Freiburg, Germany {heidegger,bieniusa ...
Eine Erweiterung zu Software Transactional MemoryChristian-Albrechts-Universität zu Kiel
www-ps.informatik.uni-kiel.de
von A Bieniusa — Annette Bieniusa (Universität Freiburg) gemeinsam mit Peter Thiemann (Universität Freiburg) und Arie Middelkoop (Universiteit Utrecht).
Annette Bieniusa - DBLPdblp.org › Persons
dblp.org
Annette Bieniusa: Consistency, isolation, and irrevocability in software transactional memory. University of Freiburg, ...
Annette Bieniusa - uni-freiburg.de
freidok.uni-freiburg.de
: data.pers_id.value}} {{role.value| show_role_text:"person_project_role":this}} () ()
Programmanalyse, SS uni-freiburg.de
proglang.informatik.uni-freiburg.de
Annette Bieniusa: Time and Place: Di , Geb. 101, SR Important News. Information about the project are now available. On will be a regular lecture, on we have one hour of lecture and then one hour of practical session in the computer pool. ...
Functional and Declarative Programming in Education (FDPE08)
www-ps.informatik.uni-kiel.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr (Albert-Ludwigs-University Freiburg), Martin Gasbichler (Zühlke Engineering AG) ...
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 ...
Actions in the Twilight Ein Erweiterung für Software Transactional...
slideplayer.com
Actions in the Twilight Ein Erweiterung für Software Transactional Memory Annette Bieniusa Peter Thiemann Universität Freiburg Arie Middelkoop Universiteit.
How to CPS Transform a Monad Annette Bieniusa and Peter Thiemann
spotidoc.com
How to CPS Transform a Monad Annette Bieniusa and Peter Thiemann Institut f¨ ur Informatik, Universit¨ at Freiburg, Georges-K¨ Freiburg ...
BOB - Scalable consistency for replicated data
bobkonf.de
Annette Bieniusa is a lecturer and researcher at the University of Kaiserslautern. She received a PhD in Computer Science from the University of Freiburg in and spent one year as postdoctoral researcher at INRIA Paris-Rocquencourt.
twilight-stm: STM library with safe irrevocable I/O and inconsistency...
hackage.haskell.org
Annette Bieniusa &-freiburg.de - Stability: Experimental: Category: Concurrency: Home page: http://proglang.informatik.uni-freiburg.de/projects ...
HDI GI-Fachtagung "Hochschuldidaktik Informatik"
www.informatikdidaktik.de
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Universität Freiburg Martin Gasbichler, Zühlke Engineering AG Marcus Crestani, Herbert ...
Package description - Hackagehackage.haskell.org › package › twilight-stm
hackage.haskell.org
... maintainer: Annette Bieniusa &-freiburg.de> homepage: http://proglang.informatik.uni-freiburg.de/projects/twilight/ description: A STM ...
[erlang-questions] BOB Call for Contributions...
erlang.org
... factis research Wissenschaftlicher Beirat - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg ...
[erlang-questions] Second Call for Contributions: BOB
erlang.org
... Wehr, factis research Scientific Advisory Board Annette Bieniusa, TU Kaiserslautern - Peter Thiemann, Uni Freiburg ...
Die Macht der Abstraktion - Publikationen
www.deinprogramm.de
Diese Publikationen dokumentieren den Einsatz des Buchs in Vorlesungen an den Universitäten Tübingen und Freiburg: Annette Bieniusa, Marcus Crestani, Markus Degen, Martin ...
twilight-stm: Twilight STM library
hackage.haskell.org
Annette Bieniusa: Maintainer: Annette Bieniusa: Stability: Unstable: Category: Concurrency: Home page: http://proglang.informatik.uni-freiburg.de/projects/twilight/
Alle Infos zum Namen "Annette Bieniusa"
sortiert nach Relevanz / Datum