Login
NOVA LINCS

Ricardo Dias

People

Publications Projects Graduations Prototypes Seminars

TribuSTM

Prototype

Authors

João Lourenço, Ricardo Dias, Tiago Vale,

MoTH: Practical Verification of High-Level Dataraces in Transactional Memory Programs

Prototype

Authors

João Lourenço, Ricardo Dias,

DeTraMA – Static Detection of Anomalies in Transactional Memory Programs

Prototype

Authors

João Lourenço, Ricardo Dias,

JTraceView – Monitoring and Visualization of Transactional Memory Programs

Prototype

Authors

João Lourenço, Ricardo Dias,

Unified Model for Memory and Database Transactions

Prototype

Authors

João Lourenço, Ricardo Dias,

Memoria Mobile Interface

Prototype

Authors

Ricardo Dias,

InStory Server

Prototype

Authors

Ricardo Dias,

Consistent State Software Transactional Memory V2.0 (CTL-v2.0)

Prototype

Authors

João Lourenço, Ricardo Dias,

Transactional File System (v0.1)

Prototype

Authors

João Lourenço, Ricardo Dias,