1
0
0
(1 - 30 von 35
)
Search | OpenReviewopenreview.net › search
openreview.net
hmtl icon · Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero (modified: 11 Nov 2022); PMLDC@ECOOP 2017; Readers: Everyone ...
Compiler Construction: 18th International Conference, CC 2009, Held...
books.google.de
This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March as part...
ECOOP Object-Oriented Programming: 22nd European Conference...
books.google.de
This book constitutes the refereed proceedings of the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, held in Paphos, Cyprus, in July...
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 ̈
Hochschuldidaktik der Informatik: 3. Workshop des GI-Fachbereichs...
books.google.de
Auf dem Weg zu einer robusten Programmierausbildung Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler1, ...
Transactional Memory - Tim Harris, James R. Larus, Ravi Rajwar -...
books.google.de
Annette Bieniusa, Arch Robison, Bryant Bigbee, Burton Smith, Chris Rossbach, ...
Programming Languages and Systems: 20th European Symposium on...
books.google.de
This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30—April 1, 2011,...
Das Elektronische Schulbuch : Fachdidaktische ...google.de
books.google.de
Daniel Jonietz, Oliver Schneider, Martin Zimnol, Annette Bieniusa, Peter Zeller, Sebastian Schweizer Zusammenfassung: Das elektronische Informatik-Schulbuch ...
Datenintensive Anwendungen designen: Konzepte für ...google.de
books.google.de
[50] Marek Zawirski, Annette Bieniusa, Valter Balegas, et al.: SwiftCloud: Fault-Tolerant GeoReplication Integrated All the Way to the Client Machine.
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009,...
books.google.de
... Matsuzaki Kochi University of Technology, Japan External Referees Kazuyuki Asada Gilles Barthe Michele Basaldella Annette Bieniusa Organization.
Testing: Academic and Industrial Conference - Practice and Research...
books.google.de
A Message from the TAIC PART General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its...
Transactional Memory - Seite xv - Google Books-Ergebnisseitegoogle.de
books.google.de
Many thanks to: Adam Welc, Al Aho, Ala Alameldeen, Amitabha Roy, Andy Glew, Annette Bieniusa, Arch Robison, Bryant Bigbee, Burton Smith, Chris Rossbach, ...
Formal Techniques for Distributed Objects, Components, and Systems:...
books.google.co.uk
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems,...
Das Elektronische Schulbuch : Fachdidaktische ...books.google.com.hk › books
books.google.com.hk
... Zimnol, Annette Bieniusa, Peter Zeller, Sebastian Schweizer Zusammenfassung: Das elektronische Informatik-Schulbuch inf-schule wird seit im ...
Hochschuldidaktik der Informatik: 3. Workshop des GI-Fachbereichs ...books.google.com.hk › books
books.google.com.hk
... Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler1, Marcus Crestani, Herbert Klaeren, Eric Knauel2 und ...
Principled Software Development: Essays Dedicated to Arnd ...books.google.com.hk › books
books.google.com.hk
... Annette Bieniusa, Peter Zeller, and Shraddha Barke Abstract Research group leaders and university vice presidents are responsible for tracking progress of ...
Principled Software Development: Essays Dedicated to Arnd...
books.google.de
This book presents a collection of research papers that address the challenge of how to develop software in a principled way that, in particular, enables...
Transactional Memorybooks.google.com.hk › books
books.google.com.hk
... Annette Bieniusa, Arch Robison, Bryant Bigbee, Burton Smith, Chris Rossbach, Christos Kotse- lidis, Christos Kozyrakis, Craig Zilles, Dan Grossman, Daniel ...
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, ...
books.google.se › booksFormal Techniques for Distributed Objects, Components, and ...
books.google.se
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper) Mathias Weber(B), Annette Bieniusa, and Arnd Poetzsch-Heffter University of ...
Datenintensive Anwendungen designen: Konzepte für ...books.google.cz › books
books.google.cz
USENIX Symposium on Networked Systems Design and Implementation (NSDI), April Marek Zawirski, Annette Bieniusa, Valter Balegas, et al.: SwiftCloud: ...
books.google.no › booksFormal Techniques for Distributed Objects, Components, and ...
books.google.no
Formal Specification and Verification of CRDTs Peter Zeller, Annette Bieniusa, and Arnd Poetzsch-Heffter University of Kaiserslautern, Germany {p zeller ...
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 ...
Formal Techniques for Distributed Objects, Components, and ...books.google.cz › books
books.google.cz
... A Temporal Logic for Weakly Consistent Systems (Short Paper) Mathias Weber (B), Annette Bieniusa, and Arnd Poetzsch-Heffter University of Kaiserslautern, ...
Datenintensive Anwendungen designen: Konzepte für zuverlässige,...
books.google.be
Daten stehen heute im Mittelpunkt vieler Herausforderungen im Systemdesign. Dabei sind komplexe Fragen wie Skalierbarkeit, Konsistenz, Zuverlässigkeit,...
Programming Languages and Systems: 13th Asian Symposium, APLAS ...books.google.com › books
books.google.de
Transactions on Mergeable Objects Deepthi Devaki Akkoorath(B) and Annette Bieniusa University of Kaiserslautern, Kaiserslautern, Germany {akkoorath ...
Testing: Academic and Industrial Conference - Practice and ...books.google.com › books
books.google.de
Phillip Heidegger, Annette Bieniusa, and Peter Thiemann Albert-Ludwigs-Universität Freiburg, Germany {heidegger,bieniusa ...
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 ...
Security and Trust Management: 12th International Workshop, STM
books.google.de
This book constitutes the refereed proceedings of the 12th International Workshop on Security and Trust Management, STM 2016, held in Heraklion, Crete, Greece,...
Consistency, Isolation, and Irrevocability in Software Transactional...
books.google.de
... and Irrevocability in Software Transactional Memory: Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory. Author, Annette Bieniusa.
sortiert nach Relevanz / Datum