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
-
Modelo jerárquico de control de concurrencia para el desarrollo de aplicaciones CSCW
Carlos Ley Bosch, Álvaro Suárez Sarmiento
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 Ruizpá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éspá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ánchezpágs. 139-152
On the interconnection of causal memory systems
Antonio Fernández Anta
, Vicente Cholvi Juan , Ernesto Jiménezpá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 Palomarespágs. 309-318
NMSPA: a non-Markovian model for stochastic processes
Natalia López Barquilla
, Manuel Núñez García págs. 319-332
