Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
Información General
- Autores: Diego Cazorla López (coord.)
- Editores: Universidad de Castilla-La Mancha
- Año de publicación: 2000
- País: España
- Idioma: español
- ISBN: 84-8427-074-2
- Recoge los contenidos presentados a: Jornadas de Concurrencia (8. 2000. Cuenca).
- Texto completo no disponible (Saber más ...)
Otros catálogos
Listado de artículos
-
págs. 1-12
Decidability of properties of timed-arc Petri nets
David de Frutos Escrig, Olga Marroquín Alonso, Valentín Valero Ruiz
págs. 13-34
A dynamic state graph for a timed process algebra
Fernando Cuartero Gómez, Valentín Valero Ruiz, J. José Pardo, M. Carmen Ruiz
págs. 35-54
Synchronous communication elimination and introduction on restricted SPL programs: a first step
Francesc Babot, Miquel Nicolau, Miquel Bertran, August Climent i Ferrer
págs. 55-66
Estudio de las técnicas de verificación "al vuelo"
Manuel J. Fernández Iglesias, Edmundo Figueiras, Martín Llamas Nistal
págs. 67-80
págs. 81-96
New methods for deadlock prevention and avoidance in concurrent systems
F. Tricas, José Manuel Colom Piazuelo, J. Ezpeleta, Fernando García Vallés
págs. 97-110
Property preserving abstractions of SDL
María del Mar Gallardo Melgarejo, Pedro Merino Gómez, José María Troya Linero
págs. 111-124
Modelo de reutilización de requisitos funcionales utilizando técnicas formales
Jorge García Duque, Ana Belén Barragáns Martínez, Rebeca Díaz Redondo, José Juan Pazos Arias, Ana Fernández Vilas, Alberto Gil Solla
págs. 125-138
Separación de los aspectos de concurrencia y sincronización en la fase de diseño
José Miguel Toro Bonilla, José Luis Herrero Agustín, Fernando Sánchez, Fabiola Lucio Sánchez
págs. 139-152
On the interconnection of causal memory systems
Antonio Fernández Anta, Vicente Cholvi Juan, Ernesto Jiménez
págs. 153-166
Prueba de sistemas distribuidos mediante estrategias de caja gris
Juan Carlos Burguillo Rial, Manuel J. Fernández Iglesias, Martín Llamas Nistal
págs. 167-180
Estudio comparativo de técnicas de tratamiento del interbloqueo distribuido con modelo M de N
José Ramón Garitagoitia Padrones, D. Echarte, Federico Fariña Figueredo, Jesús Villadangos Alonso, José Ramón González de Mendívil
págs. 181-194
Control de concurrencia en bases de datos distribuidas
Miquel Nicolau, Francesc Babot, Miquel Bertran, August Climent i Ferrer
págs. 195-206
Análisis de una implementación paralela de un sistema CBIR utilizando MPI
José Luis Bosque Orero, Ángel Rodríguez, Oscar David Robles, Luis Pastor Pérez
págs. 207-222
QoS para aplicaciones de tiempo real en NOWs mediante reconfiguración dinámica
Rafael Casado Martínez, Francisco J. Alfaro Cortés, Aurelio Bermúdez Marín, José L. Sánchez, Pedro Javier García García, Francisco José Quiles Flor, José Duato Marín
págs. 223-234
Deterministic scheduling for transactional multithreaded replicas
Ricardo Jiménez-Peris, Marta Patiño Martínez, Sergio Arévalo Viñuales
págs. 235-248
Optimal implementation of weakest failure detector for solving consensus
Antonio Fernández Anta, Mikel Larrea Sukia, Sergio Arévalo Viñuales
págs. 249-262
Group transactions: an integrated approach to transactions and group communication
Ricardo Jiménez-Peris, Marta Patiño Martínez, Sergio Arévalo Viñuales
págs. 263-276
Verificación de requisitos de tiempo críticos sobre sistemas incompletos
Jorge García Duque, Ana Belén Barragáns Martínez, Rebeca Díaz Redondo, José Juan Pazos Arias, Ana Fernández Vilas, Alberto Gil Solla
págs. 277-290
Evaluating perfomance on mobile agents software design
José Merseguer, Francisco Javier Campos Laclaustra, Eduardo Mena Nieto
págs. 291-308
Real time scheduling of ATM switches: neural network approaches
José María Pousada Carballo, Francisco Javier González Castaño, Pedro Salvador Rodríguez Hernández, Ubaldo M. García Palomares
págs. 309-318
NMSPA: a non-Markovian model for stochastic processes
págs. 319-332
