Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia

Front Cover
Publicacions de la Universitat Jaume I, 2003 - Computers - 348 pages
0 Reviews
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The Cautious Optimistic Lazy Update Protocol
149
Design and implementation of a persistent object storage
163
A Technique for Increasing Concurrency
179
Implementing Model Checking with Data Abstraction
193
A tool for capturing the probabilistic behaviour
207
Herramienta para
221
Sistemas de Reescritura de Redes
237
A Mechanized Correctness Proof of a Pipelined Processor Architecture
251
Una extensión de los Autómatas Cooperativos
265
Parallelizing the computation of siphons for deadlock prevention
281
Copyright

Common terms and phrases

Popular passages

Page 330 - L. Breslau, P. Cao, L. Fan, G. Phillips, and S. Shenker. Web caching and Zipf-like distributions: Evidence and implications.

Bibliographic information