Volgen
Ricardo J. Dias
Ricardo J. Dias
NOVA LINCS
Geverifieerd e-mailadres voor singlestore.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Blotter: Low latency transactions for geo-replicated storage
H Moniz, J Leitão, RJ Dias, J Gehrke, N Preguiça, R Rodrigues
Proceedings of the 26th International Conference on World Wide Web, 263-272, 2017
352017
Precise detection of atomicity violations
RJ Dias, V Pessanha, JM Lourenço
Hardware and Software: Verification and Testing: 8th International Haifa …, 2013
282013
Efficient and correct transactional memory programs combining snapshot isolation and static analysis
RJ Dias, JM Lourenço, NM Preguiça
242011
Understanding the behavior of transactional memory applications
J Lourenço, R Dias, J Luis, M Rebelo, V Pessanha
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009
222009
Efficient correction of anomalies in snapshot isolation transactions
H Litz, RJ Dias, DR Cheriton
ACM Transactions on Architecture and Code Optimization (TACO) 11 (4), 1-24, 2015
192015
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
182017
Verification of Snapshot Isolation in Transactional Memory Java Programs
RJ Dias, D Distefano, JC Seco, JM Lourenço
ECOOP 2012 – Object-Oriented Programming, 640-664, 2012
162012
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
152010
Sharing personal experiences while navigating in physical spaces
R Jesus, R Dias, R Frias, A Abrantes, N Correia
5th Workshop on Multimedia Information Retrieval, ACM SIGIR Conference on …, 2007
142007
Detecting concurrency anomalies in transactional memory programs
J Lourenço, D Sousa, B Teixeira, R Dias
Computer Science and Information Systems, 533-548, 2011
122011
Preventing atomicity violations with contracts
DG Sousa, RJ Dias, C Ferreira, JM Lourenço
arXiv preprint arXiv:1505.02951, 2015
102015
Efficient support for in-place metadata in transactional memory
RJ Dias, TM Vale, JM Lourenço
Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par …, 2012
102012
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
82011
Geographic image retrieval in mobile guides
R Jesus, R Dias, R Frias, N Correia
Proceedings of the 4th ACM workshop on Geographical information retrieval, 37-38, 2007
82007
Pot: Deterministic transactional execution
TM Vale, JA Silva, RJ Dias, JM Lourenço
ACM Transactions on Architecture and Code Optimization (TACO) 13 (4), 1-24, 2016
72016
Developing libraries using software transactional memory
R Dias, J Lourenço, G Cunha
Computer Science and Information Systems 5 (2), 103-117, 2008
72008
Efficient support for in‐place metadata in Java software transactional memory
RJ Dias, TM Vale, JM Lourenco
Concurrency and Computation: Practice and Experience 25 (17), 2394-2411, 2013
62013
Snapshot isolation anomalies detection in software transactional memory
RJ Dias, J Seco, JM Lourenço
Proceedings of InForum 2010, 2010
62010
Ajex: A source-to-source java stm framework compiler
R Dias, B Teixeira
Tech. rep., DI-FCT/UNL (Apr 2009), 2009
62009
Memoria mobile: sharing pictures of a point of interest
R Jesus, R Dias, R Frias, AJ Abrantes, N Correia
Proceedings of the working conference on Advanced visual interfaces, 412-415, 2008
62008
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20