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

• Red de Bibliotecas Universitarias (REBIUN)

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 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

    

  • Implementing CCS in Maude

    Narciso Martí Oliet, José Alberto Verdejo López

    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

    Natalia López Barquilla, Manuel Núñez García

    págs. 319-332