VII Jornadas de Concurrencia: Actas de las séptimas Jornadas de Concurrencia, Gandía, junio de 1999
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. Campbellpá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 Portapágs. 53-60
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
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 Barberopá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
