Información General

• Autores: Josep M. Bernabeu Aubán (coord.), Pietro Manzoni (coord.), Jordi Bataller Mascarell (coord.), Vicente Cholvi Juan (coord.), Pablo Galdámez Saiz (coord.), Francesc Daniel Muñoz Escoí (coord.)
• Editores: Universidad Politécnica de Valencia (UPV), Servicio de Publicaciones
• Año de publicación: 1999
• País: España
• Idioma: español
• Recoge los contenidos presentados a: Jornadas de Concurrencia (7. 1999. Gandía).
• Texto completo no disponible (Saber más ...)

Listado de artículos

• • Arquitectura multithread para una plataforma de gestión de comunicaciones telefónicas con Java

    J. Arribi, Víctor Carneiro, Jesús Ángel Viña Castiñeiras

    págs. 1-10

    

  • Using interpreted CompositeCalls to improve operating system services

    Francisco José Ballesteros Cámara, Ricardo Jiménez Peris, Marta Patiño Martínez, Fabio Kon, Sergio Arévalo Viñuales, Roy H. Campbell

    págs. 11-28

    

  • Estudio de la planificación de tareas en sistemas en tiempo real con asignación dinámica en entornos multiprocesador

    Josep María Banús Alsina, Maria Àngels Moncusí Mercadé, Jesús José Labarta Mancho

    págs. 29-40

    

  • Verificación formal de un modelo concurrente para un protocolo de coherencia

    Manuel Barrio Solórzano, María Encarnación Beato Gutiérrez, Pablo Lucio de la Fuente Redondo

    págs. 41-52

    

  • The PADD/RALE environment for parallel-distributed software development

    Miquel Bertrán i Salvans, Miquel Nicolau Vila, August Climent i Ferrer, Francesc Xavier Babot Pagès, Felipe Álvarez Cuevas, Albert Durán, Miquel Porta

    págs. 53-60

    

  • On characterizing K-Deadlock-Free programs

    Pablo Boronat Pérez, Vicente Cholvi Juan

    págs. 61-67

    

  • Entorno de reutilización de requisitos funcionales de sistemas distribuidos

    Rebeca Díaz Redondo, José Juan Pazos Arias, Ana Fernández Vilas, Juan José García Duque, Alberto Gil Solla

    págs. 69-78

    

  • From LOTOS to E-LOTOS: translating data types for communication protocols (Preliminary version)

    Manuel J. Fernández Iglesias, Martín Llamas Nistal, Juan Carlos Burguillo Rial, Luis E. Anido Rifón

    págs. 79-91

    

  • Extensión del modelo MES para el diseño de sistemas de tiempo real críticos

    Ana Fernández Vilas, José Juan Pazos Arias, Rebeca Díaz Redondo, Jorge García Duque, Alberto Gil Solla

    págs. 93-111

    

  • An introduction to global bisimulations

    David de Frutos Escrig, Natalia López Barquilla, Manuel Núñez García

    págs. 113-126

    

  • Refining CSP fair programs

    Luis A. Galán, Ricardo Peña

    págs. 127-138

    

  • Garbage collection in a kernel based ORB

    Pablo Galdámez Saiz, Francesc Daniel Muñoz Escoí, Josep M. Bernabeu Aubán

    págs. 139-149

    

  • Multithreaded rendezvous: a design pattern for distributed rendezvous

    Ricardo Jiménez Peris, Marta Patiño Martínez, Sergio Arévalo Viñuales

    págs. 151-164

    

  • Optimal algorithms to implement unreliable failure detectors in partially synchronous systems

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

    págs. 165-179

    

  • Comparativa de técnicas de verificación en LOLA

    Martín Llamas Nistal, Manuel J. Fernández Iglesias, Juan Carlos Burguillo Rial, Luis E. Anido Rifón

    págs. 181-193

    

  • TPBC: una extensión temporizad del Cálculo de Cajas

    Olga Marroquín Alonso, David de Frutos Escrig

    págs. 195-207

    

  • Uso de interceptores CORBA para dar soporte a objetos replicados

    Francesc Daniel Muñoz Escoí, Pablo Galdámez Saiz, Josep M. Bernabeu Aubán

    págs. 209-222

    

  • Coordinación de objetos concurrentes con ActiveJava

    Juan Manuel Murillo Rodríguez, Juan Hernández, Fernando Sánchez Figueroa

    págs. 223-234

    

  • PPNAL: evaluación de prestaciones en un modelo algebraico para procesos probabilísticos y no deterministas

    Fernando López Pelayo, Fernando Cuartero Gómez, Valentín Valero Ruiz, Diego Cazorla López

    págs. 235-247

    

  • On state space decomposition for the numerical analysis of stochastic Petri nets

    Carlos José Pérez Jiménez, Francisco Javier Campos Laclaustra

    págs. 249-268

    

  • Organización y gestión de eventos multimedia de cobertura mundial usando Isabel

    Tomás Robles Valladares, Juan Quemada Vives, Tomás Pedro de Miguel Moro, Santiago Pavón Gómez, Joaquín Salvachúa Rodríguez, Manuel Petit, David Larrabeiti López, Gabriel Isidoro Huecas Fernández-Toribio, Héctor Luis Velayos Muñoz, Fernando J. Echevarrieta, Eva M. Castro Barbero

    págs. 269-291

    

  • Reducción de semáforos en sistemas de tiempo-real con techos de prioridad

    Pedro Salvador Rodríguez Hernández, Jesús Ángel Viña Castiñeiras

    págs. 293-308

    

  • Testing with contexts and tiles

    David Rupérez, David de Frutos Escrig

    págs. 309-322

    

  • Paralelismo en supercomputación

    Marta Velarde Mayol

    págs. 323-330

    

  • Ficlus: una nueva propuesta de almacenamiento en log

    Juansa Sendra Roig, Josep M. Bernabeu Aubán

    págs. 331-348