4

Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach
N/A
Ricardo J. Dias, João M. Lourenço, João Costa Seco
Posted Jan 1, 2011
Cite
StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs
This paper presents StarTM, an automatic verification tool for transactional memory Java programs executing under relaxed isolation …
Ricardo J. Dias, Dino Distefano, João M. Lourenço, João Costa Seco
Posted Jan 1, 2011
Cite
Flexible Interface for Distributed Debugging (Library and Engine): Reference Manual
N/A
João M. Lourenço, José C. Cunha
Posted Dec 1, 2000
Cite
A Software Architecture for the Integration of Monitoring, Debugging and Profiling Tools for Parallel Program Development
N/A
José C. Cunha, Vitor Duarte, João M. Lourenço, Pedro D. Medeiros
Posted Nov 1, 1998
Cite
Integration of STEPS and DDBG
This report describes the work done at UNL during the visit made by Marcin Neyman, from TUG, concerning the interfacing of the STEPS …
Marcin Neyman, João M. Lourenço
Posted Jul 1, 1996
Cite
DDBG: A distributed debugger–user’s guide
This document describes an architecture to support the debugging of parallel and distributed (PVM) applications. It also presents the …
JC Cunha, João M. Lourenço, Tiago Antao
Posted Jan 1, 1996
Link
Monitoring and Debugging Support
N/A
José C Cunha, V Duarte, João M. Lourenço, T Antão
Posted Jan 1, 1996
Link
A Layered Architecture for Group-Oriented Parallel and Distributed Logic Programming
N/A
José C. Cunha, P. Medeiros, F. Barbosa, R. F. Marques, João M. Lourenço
Posted Jan 1, 1995
Cite