Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	August
Last name:	Climent
DBLP:	50/3948
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 9 of 9  

Select a publication
Show	Title	Venue	Rating	Date
	August Climent, Joan Navarro, Miquel Bertran, Francesc-Xavier Babot. Optimistic concurrency control with partial replication design.	Proceedings of the IADIS International Conference Applied Computing 2009, 19-21 November, Rome, Italy, 2 Volumes 2009	(0)	2009
	Miquel Bertran, Francesc-Xavier Babot, August Climent. Formal Sequentialization of Distributed Systems via Program Rewriting.	Electr. Notes Theor. Comput. Sci. 2007, Volume 188	(0)	2007
	Francesc-Xavier Babot, Miquel Bertran, August Climent. A Static Communication Elimination Algorithm for Distributed System Verification.	Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings 2005	(0)	2005
	Miquel Bertran, Francesc-Xavier Babot, August Climent. An Input/Output Semantics for Distributed Program Equivalence Reasoning.	Electr. Notes Theor. Comput. Sci. 2005, Volume 137	(0)	2005
	Josep M. Muixi, August Climent. Performance Improvement of Distributed Database Management Systems.	ICEIS (1) 2003	(0)	2003
	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.	2nd International Symposium on Parallel and Distributed Computing (ISPDC 2003), 13-14 October 2003, Ljubljana, Slovenia 2003	(0)	2003
	Josep M. Muixi, August Climent, Silvia Canals. Reactive Load Balancing in Distributed Database Management Systems.	Proceedings of the Baltic Conference, BalticDBIS 2002, Volume 1 2002	(0)	2002
	Miquel Bertran, Albert Duran, Miquel Porta, Francesc-Xavier Babot, August Climent, Miquel Nicolau. Integrating Formal Verification of Parallelization in the PADD/RALE Environment.	VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 19-21 Noviembre 2002, El Escorial (Madrid) 2002	(0)	2002
	Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau. Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.	Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings 2001	(0)	2001

Your query returned 9 matches in the database.