Joao Lourenco
TítuloCitado porAno
A graphical development and debugging environment for parallel programs
P Kacsuk, JC Cunha, G Dózsa, J Lourenço, T Fadgyas, T Antão
Parallel Computing 22 (13), 1747-1770, 1997
1051997
A debugging engine for a parallel and distributed environment
JC Cunha, J Lourenco, T Antão
In Proc. of 1st Austrian-Hungarian Workshop on Distributed and Parallel Systems, 1996
401996
An integrated testing and debugging environment for parallel and distributed programs
J Lourenço, JC Cunha, H Krawczyk, P Kuzora, M Neyman, B Wiszniewski
EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of …, 1997
391997
An experiment in tool integration: the DDBG parallel and distributed debugger
JC Cunha, J Lourenço, TR Antão
Journal of systems architecture 45 (11), 897-907, 1999
361999
A framework to support parallel and distributed debugging
JC Cunha, J Lourenço, J Vieira, B Moscão, D Pereira
International Conference on High-Performance Computing and Networking, 708-717, 1998
321998
Understanding the behavior of transactional memory applications
J Lourenço, R Dias, J Luís, M Rebelo, V Pessanha
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009
222009
Efficient and correct transactional memory programs combining snapshot isolation and static analysis
RJ Dias, JM Lourenço, NM Preguiça
Proceedings of the 3rd USENIX conference on Hot topics in parallelism …, 2011
202011
Precise detection of atomicity violations
RJ Dias, V Pessanha, JM Lourenço
Haifa Verification Conference, 8-23, 2012
192012
Testing patterns for software transactional memory engines
J Lourenço, G Cunha
Proceedings of the 2007 ACM workshop on Parallel and distributed systems …, 2007
192007
An integrated course on parallel and distributed processing
JC Cunha, J Lourenço
ACM SIGCSE Bulletin 30 (1), 217-221, 1998
181998
Byzantium: Byzantine-Fault-Tolerant Database Replication Providing Snapshot Isolation.
NM Preguiça, R Rodrigues, C Honorato, J Lourenço
HotDep, 2008
172008
Group-to-group bidirectional wi-fi direct communication with two relay nodes
A Teófilo, D Remédios, H Paulino, J Lourenço
proceedings of the 12th EAI International Conference on Mobile and …, 2015
122015
Detection of transactional memory anomalies using static analysis
B Teixeira, J Lourenço, E Farchi, R Dias, D Sousa
Proceedings of the 8th workshop on parallel and distributed systems: Testing …, 2010
122010
Fiddle: A flexible distributed debugger architecture
J Lourenço, JC Cunha
International Conference on Computational Science, 821-830, 2001
122001
Verification of snapshot isolation in transactional memory Java programs
RJ Dias, D Distefano, JC Seco, JM Lourenço
European Conference on Object-Oriented Programming, 640-664, 2012
112012
Using DDBG to support testing and high-level debugging interfaces
JC Cunha, J Lourenço, V Duarte
111995
Efficient support for in-place metadata in transactional memory
RJ Dias, TM Vale, JM Lourenço
European Conference on Parallel Processing, 589-600, 2012
102012
Verifying concurrent programs using contracts
RJ Dias, C Ferreira, J Fiedor, JM Lourenço, A Smrcka, DG Sousa, ...
2017 IEEE International Conference on Software Testing, Verification and …, 2017
92017
Practical verification of high-level dataraces in transactional memory programs
V Pessanha, RJ Dias, JM Lourenço, E Farchi, D Sousa
Proceedings of the Workshop on Parallel and Distributed Systems: Testing …, 2011
92011
Detecting concurrency anomalies in transactional memory programs
J Lourenço, D Sousa, B Teixeira, R Dias
Computer Science and Information Systems, 533-548, 2011
92011
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20