Periodo de publicación recogido
|
|
|
Speculative two-phase locking algorithm for distributed database systems
August Climent i Ferrer, Miquel Bertrán i Salvans, Miquel Nicolau Vila, Francesc Xavier Babot Pagès
Input: revista divulgativa de tecnologies d'informació i gestió de recursos de l'Escola d'Enginyeria la Salle (EUETT-ETTSEI), ISSN 1134-3281, Nº. 23, 2001, págs. 103-109
Integrating formal verification of parallelization in the PADD/RALE environment
Miquel Bertrán i Salvans, Carlos Alberto Durante Rincón, Miquel Porta, Francesc Xavier Babot Pagès, August Climent i Ferrer, Miquel Nicolau
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) / coord. por Matilde Celma Giménez, Oscar Pastor Acosta, Natalia Juristo Juzgado, Juan José Moreno Navarro, 2002, ISBN 84-688-0206-9, págs. 305-314
Contributions to Formal Communication Elimination for System Models with Explicit Parallelism
Francesc Xavier Babot Pagès
Tesis doctoral dirigida por Miquel Bertrán i Salvans (dir. tes.). Universitat Ramon Llull (2009).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados