Home
News
Software
Teaching
Projects
Advisees
Publications
Light
Dark
Automatic
1
Multicore Software Engineering, Performance, and Tools
MUSEPAT merges and brings together the communities of the International Workshops on Multicore Software Engineering (IWMSE) and on …
João M. Lourenço
,
Eitan Farchi
Posted Jan 1, 2013
Cite
Link
Prevenção de Violações de Atomicidade usando Contratos
A programação concorrente obriga o programador a sincronizar os acessos concorrentes a regiões de memória partilhada, contudo esta …
D Sousa
,
Carla Ferreira
,
João M. Lourenço
Posted Jan 1, 2013
Cite
Link
Replicaçao parcial com memória transacional distribuıda
Os sistemas de memória transacional distribuıda atuais recorrem essencialmentea distribuiçao oua replicaçao total para distribuir os …
Joao a Silva
,
Tiago M Vale
,
João M. Lourenço
,
Hervé Paulino
Posted Jan 1, 2013
Cite
Link
Debugging Highly-Parallel Programs
N/A
João M. Lourenço
Posted Oct 1, 2012
Cite
Aplicação do Fecho de Programas na Deteção de Anomalias de Concorrência
N/A
Diogo G. Sousa
,
João M. Lourenço
,
Eitan Farchi
,
Itai Segall
Posted Sep 1, 2012
Cite
Uma Infraestrutura para Suporte de Memória Transacional Distribuída
As técnicas e algoritmos desenvolvidos sobre diferentes infraestruturas específicas dificilmente podem ser comparados entre si. Este …
Tiago M. Vale
,
Ricardo J. Dias
,
João M. Lourenço
Posted Sep 1, 2012
Cite
Using Program Closures to Make an Application Programming Interface (Api) Implementation Thread Safe
Consider a set of methods implementing an Application Programming Interface (API) of a given library or program module that is to be …
Eitan Farchi
,
Itai Segall
,
João M. Lourenço
,
Diogo G. Sousa
Posted Jul 1, 2012
Cite
Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis
The use of the Snapshot Isolation (SI) level in Transactional Memory (TM) eliminates the need of tracking memory read accesses, …
Ricardo J. Dias
,
João M. Lourenço
,
Nuno Preguiça
Posted May 1, 2011
Cite
Link
Aceleração de Computações Científicas com Processadores Heterogéneos
N/A
Luís Picciochi Oliveira
,
João M. Lourenço
Posted Jan 1, 2011
Cite
PADTAD'11: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
N/A
João M. Lourenço
Posted Jan 1, 2011
Cite
Link
«
»
Cite
×