Home
News
Software
Teaching
Advisees
Publications
Light
Dark
Automatic
2
Extracting static and dynamic structural information from java concurrent programs for coverage testing
This paper proposes novel techniques for the extraction of structural information from the source code of Java concurrent programs for …
Rafael R Prado
,
Paulo SL Souza
,
George GM Dourado
,
Simone RS Souza
,
Julio C Estrella
,
Sarita M Bruschi
,
Joao Lourenco
Posted Jan 1, 2015
Link
Group-to-group bidirectional wi-fi direct communication with two relay nodes
The current capabilities of mobile phones in terms of communication, processing and storage, enables its use to form autonomous …
António Teófilo
,
Diogo Remédios
,
Hervé Paulino
,
João Lourenço
Posted Jan 1, 2015
Link
Mobile device-to-device distributed computing using data sets
The rapidly increasing computing power, available storage and communication capabilities of mobile devices makes it possible to start …
Diogo Remédios
,
António Teófilo
,
Hervé Paulino
,
João Lourenço
Posted Jan 1, 2015
Link
Mobile device-to-device distributed computing using data sets
The rapidly increasing computing power, available storage and communication capabilities of mobile devices makes it possible to start …
Diogo Remédios
,
António Teófilo
,
Hervé Paulino
,
João Lourenço
Posted Jan 1, 2015
Link
Supporting multiple data replication models in distributed transactional memory
Distributed transactional memory (DTM) presents itself as a highly expressive and programmer friendly model for concurrency control in …
João a Silva
,
Tiago M Vale
,
Ricardo J Dias
,
Hervé Paulino
,
João M Lourenço
Posted Jan 1, 2015
Link
Supporting multiple data replication models in distributed transactional memory
Distributed transactional memory (DTM) presents itself as a highly expressive and programmer friendly model for concurrency control in …
João a Silva
,
Tiago M Vale
,
Ricardo J Dias
,
Hervé Paulino
,
João M Lourenço
Posted Jan 1, 2015
Link
On Monitoring C/C++ Transactional Memory Programs
Transactional memory (TM) is an increasingly popular technique for synchronising threads in multi-threaded programs. To address both …
Jan Fiedor
,
Zdeněk Letko
,
Joao Lourenço
,
Tomáš Vojnar
Posted Jan 1, 2014
Link
Efficient support for in‐place metadata in Java software transactional memory
Software transactional memory (STM) algorithms associate metadata with the memory locations accessed during a transaction’s …
Ricardo J Dias
,
Tiago M Vale
,
Joao M Lourenco
Posted Jan 1, 2013
Link
Macrodb: Scaling database engines on multicores
Multicore processors are available for over a decade, but general purpose database management systems (DBMS) still cannot fully explore …
João Soares
,
João Lourenço
,
Nuno Preguiça
Posted Jan 1, 2013
Link
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
Link
«
»