Miquel Nicolau
Periodo de publicación recogido
|
|
|
|
|
-
Colaboraciones en obras colectivas
A mechanized correctness proof of a pipelined processor architecture
Francesc Babot, Miquel Nicolau, Miquel Bertran, August Climent i Ferrer
Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 251-264
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
Synchronous communication elimination and introduction on restricted SPL programs: a first step
Francesc Babot, Miquel Nicolau, Miquel Bertran, August Climent i Ferrer
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López, 2000, ISBN 84-8427-074-2, págs. 55-66
Control de concurrencia en bases de datos distribuidas
Miquel Nicolau, Francesc Babot, Miquel Bertran, August Climent i Ferrer
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López, 2000, ISBN 84-8427-074-2, págs. 195-206
NNOS: un microkernel distribuído para docencia e investigación
Enric Gibert Codina, Pere Creus, Miquel Nicolau
VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones / coord. por Rosalía Peña Ros, Pedro Antonio Ramos Alonso, Antonio José de Vicente Rodríguez, 2000, ISBN 84-8138-409-7, págs. 46-52
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.
