En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

La búsqueda por similaridad por espacios métricos permite recuperar objetos similares o parecidos a una consulta dada. Algunas aplicaciones, requieren que dicha búsqueda se realicen en tiempo real. Por tanto, este trabajo muestra una implementación paralela de algoritmos de búsqueda…

El presente trabajo monográfico tiene por objetivo presentar una visión general sobre el estado actual y la actividad científica relacionada con los sistemas inteligentes aplicados en áreas inherentes a las redes de datos. He recopilado una vasta cantidad de publicaciones…

El objetivo de esta tesis es introducir inteligencia en las aplicaciones sensibles a contexto. Este tipo de aplicaciones cambian su conducta dependiendo de la combinación de estímulos que recibe. Esta combinación de estímulos, proveniente de sensores, se denomina contexto. Por…

Vertical partitioning, in which attributes of a relation are
assigned to partitions, is aimed at improving database
performance. We extend previous research that is based on
a single relation to multi-relation database environment,
by including referential integrity constraints, access time

This paper is an attempt to define how a
specific data structure might be used to
store, in a persistent manner, temporal
information during a computer simulation.
In particular, it considers the sort of
temporal information generated during a
discrete…

The metric spaces model formalizes the similarity search concept in nontraditional databases. The goal is to build an index designed to save distance computations when answering similarity queries later. A large class of algorithms to build the index are based…

Sumario:
1- Introducción a las bases de datos distribuidas
2- Replicación
3- Sincronización
4- Manejo de réplicas coordinadas
5- Presentación de un problema real
6- Implementación de una solución
7- Conclusiones

Descripción completa.

Descripción completa.