1

Prevenção de Violações de Atomicidade usando Contractos
N/A
Replicação Multi-nível de Bases de Dados em Memória
N/A
Replicação Parcial com Memória Transacional Distribuída
N/A
Debugging Highly-Parallel Programs
N/A
Aplicação do Fecho de Programas na Deteção de Anomalias de Concorrência
N/A