Información General

• Autores: Miguel Pérez Francisco (coord.), Pablo Boronat Pérez (coord.)
• Editores: Universitat Jaume I, Servei de Comunicació i Publicacions
• Año de publicación: 2003
• Colecciones: Treballs d'Informàtica i Tecnologia, 16
• País: España
• Idioma: español
• ISBN: 84-8021-434-1, 978-84-8021-434-6
• Recoge los contenidos presentados a: Jornadas de Concurrencia (11. 2003).
• Texto completo no disponible (Saber más ...)

Resumen

• español

  En sentido amplio, el contenido del libro trata aspectos relacionados con los sistemas concurrentes y distribuidos de investigadores o líneas de trabajo emergente que tienen una calidad muy remarcabale, todos ellos presentados en las XI Jornadas de Concurrencia, que tuvieron lugar en Benicàssim los días 11, 12 y 13 de junio de 2003.

• català

  En sentit ampli, el contingut del llibre tracta aspectes relacionats amb els sistemes concurrents i distribuïts d'investigadors o línies de treball emergents que tenen una qualitat molt remarcable, tots presentats en les XI Jornades de Concurrència, que van tindre lloc a Benicàssim els dies 11, 12 i 13 de juny de 2003.

• English

  In extensive sense, the content of the book treats aspects related to the concurrent systems and distributed of investigators or lines of emerging work that have a quality very remarcabale, all they presented in the XI Days of Assembly, that took place in Benicassim you gave them 11, 12 and 13 of June of 2003.

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Posibilidades e imposibilidades en la interconexión de modelos de memoria

    Antonio Fernández Anta, Vicente Cholvi Juan, Ernesto Jiménez

    págs. 11-24

    

  • A sufficient condition to transform S into P in asynchronous systems

    Antonio Fernández Anta, Mikel Larrea Sukia, Sergio Arévalo Viñuales

    págs. 25-30

    

  • Stability results in connectionless packet switched networks

    Juan Echagüe, Antonio Fernández Anta, Vicente Cholvi Juan

    págs. 31-38

    

  • Membership service for open clusters

    Pablo Galdámez, María del Carmen Bañuls Polo

    págs. 39-52

    

  • Plan B: boxes for networked resources

    Gorka Guardiola Múzquiz, Francisco José Ballesteros Cámara

    págs. 53-66

    

  • Balanceo dinámico de carga mediante migración de hebras

    J. A. Álvarez, I. García, J. C. Ortega, J. Roca, J. J. Fernández

    págs. 67-78

    

  • Dynamic tasks assignment for real heterogeneus clusters

    José Luis Bosque Orero, Antonio Guzmán, Marta Beltrán Pardo

    págs. 79-92

    

  • Coordinación de servicios web en el contexto de los servicios basados en la localización

    José Angel Bañares Bañares, P. Alvarez, Miguel A. Latre Abadía

    págs. 93-106

    

  • Improving distributed databases performance using just in time load balancing

    August Climent i Ferrer, Josep Maria Muixi

    págs. 107-120

    

  • Estudio comparativo de prestaciones en una base de datos distribuida multiversión

    Pedro Blesa Pons, Daniel Jiménez

    págs. 121-134

    

  • An e-commerce dynamic replication service based on CORBA

    Alberto Córdoba Izaguirre, José Javier Astrain Escola, Manuel Prieto Miguez, José Enrique Armendáriz Iñigo

    págs. 135-148

    

  • COLUP: the cautious optimistic lazy update protocol

    Josep M. Bernabeu Aubán, Francesc Daniel Muñoz Escoí, Luis Irún Briz

    págs. 149-162

    

  • Design and implementation of a persistent object storage service for optimistic replication consistency protocols

    José Javier Astrain Escola, Alberto Córdoba Izaguirre, Jesús Villadangos Alonso, José Ramón González de Mendívil, José Enrique Armendáriz Iñigo

    págs. 163-178

    

  • Wait depth limited: a technique for increasing concurrency with speculative concurrency control algorithms

    Francesc Babot, D. Pérez, Miquel Bertran, August Climent i Ferrer, D. Pérez, Josep Maria Muixi

    págs. 179-192

    

  • aSPIN: implementing model checking wih data abstraction

    Ernesto Pimentel Sánchez, María del Mar Gallardo Melgarejo, Pedro Merino Gómez, Jesús Martínez Cruz

    págs. 193-206

    

  • P_UPPAL: a tool for capturing the probabilistic behaviour of UPPAL models

    Diego Cazorla López, Valentín Valero Ruiz, Fernando Cuartero Gómez, Gregorio Díaz Díaz

    págs. 207-220

    

  • FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos

    Manuel Capel Tuñón, Miguel J. Hornos Barranco

    págs. 221-236

    

  • Sistemas de reescritura de redes

    Javier Oliver, M. Llorens

    págs. 237-250

    

  • A mechanized correctness proof of a pipelined processor architecture

    Francesc Babot, Miquel Nicolau, Miquel Bertran, August Climent i Ferrer

    págs. 251-264

    

  • Una extensión de los autómatas cooperativos

    Javier Oliver, Carlos Herrero

    págs. 265-280

    

  • Parallelizing the computation of siphons for deadlock prevention in resource allocation systems modeled with Petri nets

    F. Tricas, J. Ezpeleta

    págs. 281-294

    

  • Exploring the catallactic coordination approach for peer-to-peer systems

    Torsten Eymann, Michael Reinicke, Dolores Royo Pascual, Luis Manuel Díaz de Cerio Ripalda, Félix Freitag, Pau Artigas, Roc Meseguer, Oscar Ardaiz Villanueva, Leandro Navarro

    págs. 295-306

    

  • blueContext: using bluetooth to provide context-aware information

    Juan-Carlos Cano Escribá, Pietro Manzoni, David Ferrández Bell

    págs. 307-320

    

  • Advancing transmissions with stream merging for video-on-demand

    Juan Segarra

    págs. 321-332

    

  • Análisis y comportamiento en un sistema distribuido de VoD

    Ernesto Rodríguez Fernández

    págs. 333-347