Información General

• Autores: Manuel J. Fernández Iglesias (coord.), Martín Llamas Nistal (coord.), José Juan Pazos Arias (coord.)
• Editores: Universidade de Vigo, Servizo de Publicacións
• Año de publicación: 1997
• Colecciones: Congresos, 5
• País: España
• Idioma: español
• ISBN: 84-8158-065-1
• Recoge los contenidos presentados a: Jornadas de Concurrencia (5. 1997. Vigo).
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • An Ada library to program fault-tolerant distributed applications

    J. Miranda, S. Arévalo, F. Guerra

    págs. 9-22

    

  • Distribución de carga de trabajo equilibrada sobre un sistema distribuido

    José Luis Bosque Orero, Juan Antonio Rodrigo Yanes

    págs. 23-32

    

  • The inherently distributed adaptable off ukernel

    Luis L. Fernández, Francisco José Ballesteros Cámara

    págs. 33-38

    

  • Comparación entre RPC y PVM

    José Luis Bosque Orero, Germán González Buendía, David Lamas Hernández, Juan Antonio Rodrigo Yanes

    págs. 39-42

    

  • Un algoritmo distribuido de dos fases para la resolución del interbloqueo en el modelo or de petición de recursos

    José Ramón Garitagoitia Padrones, Federico Fariña Figueredo, Jesús Villadangos Alonso, José Ramón González de Mendívil

    págs. 43-54

    

  • Resolución segura de interbloqueos en el modelo AND

    José Ramón Garitagoitia Padrones, Federico Fariña Figueredo, José Ramón González de Mendívil

    págs. 55-66

    

  • Eolo: an efficient protocol to support distributed systems

    Pietro Manzoni

    págs. 67-78

    

  • On coherence in shared memory models

    Jordi Bataller, José Bernabéu

    págs. 79-88

    

  • Concurrencia y tiempo-real en los sistemas distribuidos de mando y control del siglo XXI

    Jesús Angel Viña Castiñeiras, Fernando Bellas Permuy, Anastasio Molano Vivas, R. Juanes, N. Rodríguez

    págs. 89-96

    

  • On the schedulabilyty analysis for distributed hard real-time systems

    José Carlos Palencia Gutiérrez, José Javier Gutiérrez García, Michael González Harbour

    págs. 97-106

    

  • Prototyping distributed hard real-time applications

    José Javier Gutiérrez García, Michael González Harbour

    págs. 107-118

    

  • Animación y simulación heterogénea de sistemas operativos de tiempo real

    Juan Carlos Dueñas López, Pedro Merino Gómez

    págs. 119-130

    

  • Sincronización en sistemas de tiempo real mediante el protocolo básico de herencia de plazo

    Jesús Angel Viña Castiñeiras, Pedro Rodríguez

    págs. 131-140

    

  • Acceso concurrente a disco con requisitos de tiempo real sobre real-time mach

    Jesús Angel Viña Castiñeiras, Alberto García Martínez, Anastasio Molano Vivas

    págs. 141-148

    

  • Optimización de la concurrencia en servidores de vídeo bajo demanda

    Jesús Angel Viña Castiñeiras, Alberto García Martínez, Anastasio Molano Vivas

    págs. 149-160

    

  • Arquitectura multiprocesador para sistemas inteligentes adaptativos

    Manuel Ramos Martos, F. Javier González, Jesús Angel Viña Castiñeiras, Ignacio Soto Campos

    págs. 161-176

    

  • Functional concurrent programming in eden

    Y. Ortega-Mallén, R. Loogen, S. Breitinger, R. Peña-Marí

    págs. 177-192

    

  • Un lenguaje concurrente para el codiseño de sistemas complejos

    Juan P. Castellano, Álvaro Suárez Sarmiento, Juan C. Bordón, Mario Marrero Ruiz, Onassis Cazorla

    págs. 193-204

    

  • Delphos: un entorno de modelado de procesos software mediante redes de petri

    Jesús Peña Martínez, Juan Carlos Yelmo García

    págs. 205-216

    

  • Overview of the simple-com system

    Jesús M. González Barahona, José A. Centeno González

    págs. 217-222

    

  • TPA: un modelo algebraico con probabilidades y tiempos basado en LOTOS

    Antonio Bueno, Fernando Cuartero Gómez, Valentín Valero Ruiz

    págs. 223-234

    

  • Especificación de aspectos no funcionales de sistemas hardware-software

    Andrés Marín López, Carlos Delgado Kloos, Natividad Martínez Madrid, Luis Sánchez Fernández

    págs. 235-246

    

  • Operational specification of memory models (extended abstract)

    Vicente Cholvi Juan

    págs. 247-256

    

  • TINA: arquitectura de servicios distribuidos en redes de telecomunicación

    Juan Luis Pavón Mestras

    págs. 257-266

    

  • Quality of service in packet-switched networks

    Antonio Fernández Anta

    págs. 267-270

    

  • Arquitectura software genérica para sistemas de teleoperación

    Juan Antonio de la Puente Alfaro, Bárbara Álvarez Torres, Alejandro Alonso

    págs. 271-280

    

  • Introducing friendly testing

    L. F. Llana, David de Frutos Escrig, Manuel Núñez García

    págs. 281-292

    

  • Practical testing of LOTOS specifications witch infinite traces

    S. Pavón, David Larrabeiti López, Juan Quemada

    págs. 293-306

    

  • Un nuevo enfoque para la verificación de relaciones basadas en la bisimulación

    Manuel J. Fernández Iglesias, Martín Llamas Nistal, Juan Carlos Burguillo Rial, Juan Quemada

    págs. 307-320

    

  • Una lógica temporal causal para la especificación de requisitos funcionales de un sistema distribuido

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

    págs. 321-332

    

  • Debugging an object request broker

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

    págs. 333-348

    

  • Extending an ORB to support high availability

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

    págs. 349-360

    

  • Designing the information policy for dinamic load sharing in large scale general purpose multicomputers

    Adolfo Ferre Vilaplana, Josep M. Bernabeu Aubán

    págs. 361-380

    

  • Fiabilidad y calidad de servicios en la arquitectura CORBA

    Luis Miguel Peña Cabañas

    págs. 381-388

    

  • Herramientas y metodología de medición para el análisis de comportamiento de sofware de tiempo real desarrollado para sistemas multiprocesadores de memoria distribuida

    Joaquín Entrialgo, Javier García Martínez, Daniel Fernando García Martínez, Francisco José Suárez Alonso

    págs. 389-396

    

  • Dinamic scheduling solutions for real-time multiprocessor systems

    Sergio Sáez Barona, Alfons Crespo i Lorente, Joan Vila

    págs. 397-404

    

  • Engineering a tool for building hard predictable real-time artificial intelligent systems

    Ana García Fornés, Andrés Terrasa Barrena, Apolinar Crespo, Vicente J. Botti Navarro

    págs. 405-410