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

• • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    Stability results in connectionless packet switched networks

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

    págs. 31-38

    
  • Seleccionado

    Membership service for open clusters

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

    págs. 39-52

    
  • Seleccionado

    Plan B: boxes for networked resources

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

    págs. 53-66

    
  • Seleccionado

    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

    
  • Seleccionado

    Dynamic tasks assignment for real heterogeneus clusters

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

    págs. 79-92

    
  • Seleccionado

    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

    
  • Seleccionado

    Improving distributed databases performance using just in time load balancing

    August Climent i Ferrer , Josep Maria Muixi

    págs. 107-120

    
  • Seleccionado

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

    Pedro Blesa Pons, Daniel Jiménez

    págs. 121-134

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    Sistemas de reescritura de redes

    Javier Oliver, M. Llorens

    págs. 237-250

    
  • Seleccionado

    A mechanized correctness proof of a pipelined processor architecture

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

    págs. 251-264

    
  • Seleccionado

    Una extensión de los autómatas cooperativos

    Javier Oliver, Carlos Herrero

    págs. 265-280

    
  • Seleccionado

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

    F. Tricas, J. Ezpeleta

    págs. 281-294

    
  • Seleccionado

    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

    
  • Seleccionado

    blueContext: using bluetooth to provide context-aware information

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

    págs. 307-320

    
  • Seleccionado

    Advancing transmissions with stream merging for video-on-demand

    Juan Segarra

    págs. 321-332

    
  • Seleccionado

    Análisis y comportamiento en un sistema distribuido de VoD

    Ernesto Rodríguez Fernández

    págs. 333-347