( en | de | ru )

 

Disambiguierung von "Bertran, Miquel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Optimistic concurrency control with partial replication design.

, , , und . IADIS AC (2), Seite 181-186. IADIS Press, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Xavier Bertrán

Beate Miquel

Miquel Marqués

Joan Miquel

Miquel Bemmelen

 

Weitere Publikationen von Autoren mit dem selben Namen

Papers from ARTS'97 - Preface., und . Theor. Comput. Sci., 253 (1): 1 (2001)An environment for DSP system development with extended abstract types, and dimensional design (PADDE)., , , , , , , , , und 2 andere Autor(en). ICASSP (1), Seite 449-452. IEEE Computer Society, (1993)Optimistic concurrency control with partial replication design., , , und . IADIS AC (2), Seite 181-186. IADIS Press, (2009)Formal Sequentialization of Distributed Systems via Program Rewriting., , und . PROLE, Volume 188 von Electronic Notes in Theoretical Computer Science, Seite 53-75. Elsevier, (2006)Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems., , , und . ISPDC, Seite 64-71. IEEE Computer Society, (2003)Formal communication elimination and sequentialization equivalence proofs for distributed system models., , und . Acta Inf., 51 (6): 347-418 (2014)Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes., , und . ARTS, Volume 1231 von Lecture Notes in Computer Science, Seite 263-279. Springer, (1997)Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs., , , und . SAS, Volume 2126 von Lecture Notes in Computer Science, Seite 20-39. Springer, (2001)Voice synchronization in packet switching networks., , , und . IEEE Netw., 7 (5): 20-25 (1993)An Input/Output Semantics for Distributed Program Equivalence Reasoning., , und . PROLE, Volume 137 von Electronic Notes in Theoretical Computer Science, Seite 25-46. Elsevier, (2004)