COOL: un lenguaje orientado a objetos concurrente
Jesús Álvarez Gómez, Julio García Martín, Miguel Sutil Martín
págs. 1-12
Sincronizador parametrizable: un patrón de comportamiento para programación concurrente
págs. 13-23
Cambio dinámico de políticas de sincronización en lenguajes concurrentes orientados a objetos
Fernando Sánchez Figueroa, Juan Hernández, Juan Manuel Murillo Rodríguez, Enrique Pedraza
págs. 25-39
PNAL: un modelo algebraico para procesos probabilísticos y no deterministas
Diego Cazorla López, Fernando Cuartero Gómez, Valentín Valero Ruiz, Juan José Pardo Mateo
págs. 41-52
Codiseño de sistemas desde especificaciones concurrentes basadas en VHDL
Juan P. Castellano, David Sánchez Martín, Onassis Cazorla, Juan C. Bordón, Álvaro Suárez Sarmiento
págs. 53-64
Un modelo transformacional para el razonamiento sobre tipos abstractos de datos
Manuel J. Fernández Iglesias, Martín Llamas Nistal, Juan Carlos Burguillo Rial, Luis E. Anido Rifón
págs. 65-72
Trace: dependences between critical sections in synchronized memory models
págs. 73-82
págs. 83-94
A safe distributed deadlock resolution algorithm for the OR request model
Jesús Villadangos Alonso, Federico Fariña Figueredo, José Ramón González de Mendívil, José Ramón Garitagoitia Padrones
págs. 95-103
LTCS: una lógica temporal causal para la especificación y verificación de requisitos funcionales de un sistema distribuido
José Juan Pazos Arias, Jorge García Duque, Alberto Gil Solla, Rebeca Díaz Redondo, Ana Fernández Vilas
págs. 105-116
Pedro Rafael Muro Medrano, Francisco Javier Zarazaga Soria, José Angel Bañares Bañares, J. Guillo, D. Infante
págs. 117-128
S. Comella, J. Ezpeleta, Francisco Javier Zarazaga Soria, Juan Valiño Valiño García, P. R. Muro-Medrano
págs. 129-136
Integrating groups and transactions: a fault-tolerant extension of Ada
Marta Patiño Martínez, Ricardo Jiménez-Peris, Sergio Arévalo Viñuales
págs. 137-148
GLS: un servicio de localización de grupos de procesos
José Miguel Santos Espino, Francisco José Guerra Santana, Francisco Javier Miranda González, Ernestina Martel Jordán
págs. 149-155
Grini: una herramienta para configuración distribuida
Ernestina Martel Jordán, Francisco Javier Miranda González, Francisco José Guerra Santana, José Miguel Santos Espino
págs. 157-165
págs. 167-180
págs. 181-187
HCC: a concurrency control mechanism for replicated objects
Francesc Daniel Muñoz Escoí, Pablo Galdámez, Josep M. Bernabeu Aubán
págs. 189-203
Entorno multithread para la gestión de alarmas en una red de telecomuniaciones
Víctor Carneiro, Jesús Angel Viña Castiñeiras, Carmen Guerrero López
págs. 205-217
págs. 219-221
WinSurf: aplicación Internet para la difusión y presentación de información
Juan Antonio Rodrigo Yanes, Jesús Segovia Guijarro, Luis Miguel Vindel Berenguel
págs. 223-228
Extensiones multimedia al lenguaje máquina: conceptos y posibilidades
págs. 229-239
Entorno para la gestión de la información apoyado en el modelado orientado a objetos y componentware
Francisco M. Bellas Aláez, David Martínez Oliveira, Xulio Fernández Hermida
págs. 241-244
Continuous media filesystem services on a real-time JAVA server
Anastasio Molano, Akihiko Miyoshi, Hideyuki Tokuda, Raj Rajkumar
págs. 246-248
págs. 249-259
Combining (nm): hard deadlines and dual priority scheduling
págs. 261-272
págs. 273-283
Diseño de una herramienta para control y auto-sintonía de pids en tiempo real
Javier Portillo Berasaluce, Margarita Marcos Muñoz, Dario Orive Revillas
págs. 285-293
págs. 295-304
Una aproximación a la verificación formal de la comunicación en programas paralelos
A. Suárez, Elsa M. López, Mario M. Ruiz, Juan P. Castellano, David Sánchez Martín, Onassis Cazorla, Juan C. Bordón
págs. 305-315
Entorno de desarrollo modular y abierto: un interface de programación portable de mas alto nivel
págs. 317-326
© 2001-2024 Fundación Dialnet · Todos los derechos reservados