 | 2011 |
|---|
| 11 |       | José Enrique Armendáriz-Iñigo,
Itziar Arrieta-Salinas,
Joan Navarro,
August Climent:
Transactional Support in the Cloud: Taking Advantage of Classic Approaches.
DEXA Workshops 2011: 44-48 |
| 10 |  | Joan Navarro,
José Enrique Armendáriz-Iñigo,
August Climent:
Dynamic Distributed Storage Architecture on Smart Grids.
ICSOFT (1) 2011: 218-221 |
| 2009 |
|---|
| 9 | | August Climent,
Joan Navarro,
Miquel Bertran,
Francesc-Xavier Babot:
Optimistic concurrency control with partial replication design.
IADIS AC (2) 2009: 181-186 |
| 2007 |
|---|
| 8 | | Miquel Bertran,
Francesc-Xavier Babot,
August Climent:
Formal Sequentialization of Distributed Systems via Program Rewriting.
Electr. Notes Theor. Comput. Sci. 188: 53-75 (2007) |
| 2005 |
|---|
| 7 | | Francesc-Xavier Babot,
Miquel Bertran,
August Climent:
A Static Communication Elimination Algorithm for Distributed System Verification.
ICFEM 2005: 375-389 |
| 6 | | Miquel Bertran,
Francesc-Xavier Babot,
August Climent:
An Input/Output Semantics for Distributed Program Equivalence Reasoning.
Electr. Notes Theor. Comput. Sci. 137(1): 25-46 (2005) |
| 2003 |
|---|
| 5 | | Josep M. Muixi,
August Climent:
Performance Improvement of Distributed Database Management Systems.
ICEIS (1) 2003: 533-540 |
| 4 | | August Climent,
Miquel Bertran,
Francesc-Xavier Babot,
Josep M. Muixi:
Performance Analysis of Speculative Concurrency Control Algorithms based on Wait Depth Limited for Distributed Database Systems.
ISPDC 2003: 64-71 |
| 2002 |
|---|
| 3 | | Josep M. Muixi,
August Climent,
Silvia Canals:
Reactive Load Balancing in Distributed Database Management Systems.
BalticDB&IS 2002: 15-26 |
| 2 | | Miquel Bertran,
Albert Duran,
Miquel Porta,
Francesc-Xavier Babot,
August Climent,
Miquel Nicolau:
Integrating Formal Verification of Parallelization in the PADD/RALE Environment.
JISBD 2002: 305-314 |
| 2001 |
|---|
| 1 | | Miquel Bertran,
Francesc-Xavier Babot,
August Climent,
Miquel Nicolau:
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.
SAS 2001: 20-39 |
Data released under the ODC-BY 1.0 license — See also our legal information page