1
TITLE: CASTING DEFECTS AND THE MECHANICAL DESIGN PHILOSOPHIES
AUTHORS: Teresa Morgado; Ricardo Dias; Carla Machado; Palmies Teixeira, JP;
PUBLISHED: 2017, SOURCE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017)
INDEXED IN: WOS
2
TITLE: Verifying Concurrent Programs Using Contracts
AUTHORS: Ricardo J Dias; Carla Ferreira ; Jan Fiedor; Joao M Lourenco ; Ales Smrcka; Diogo G Sousa; Tomas Vojnar;
PUBLISHED: 2017, SOURCE: Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017
INDEXED IN: Scopus CrossRef: 5
3
TITLE: Framework support for the efficient implementation of multi-version algorithms
AUTHORS: Dias, RJ; Vale, TM; Lourenco, JM;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913
INDEXED IN: Scopus
4
TITLE: Supporting Multiple Data Replication Models in Distributed Transactional Memory
AUTHORS: Joao A Silva; Tiago M Vale; Ricardo J Dias; Herve Paulino ; Joao M Lourenco ;
PUBLISHED: 2015, SOURCE: 16th International Conference on Distributed Computing and Networking in PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, VOLUME: 04-07-January-2015
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: Efficient Correction of Anomalies in Snapshot Isolation Transactions  Full Text
AUTHORS: Heiner Litz; Ricardo J Dias; David R Cheriton;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, VOLUME: 11, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
6
TITLE: Efficient Support for In-Place Metadata in Transactional Memory
AUTHORS: Ricardo J Dias; Tiago M Vale; Joao M Lourenco ;
PUBLISHED: 2012, SOURCE: 18th International Conference on Euro-Par Parallel Processing in EURO-PAR 2012 PARALLEL PROCESSING, VOLUME: 7484
INDEXED IN: WOS
7
TITLE: Detecting Concurrency Anomalies in Transactional Memory Programs  Full Text
AUTHORS: Joao Lourenco ; Diogo Sousa; Bruno Teixeira; Ricardo Dias;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
INDEXED IN: Scopus WOS
8
TITLE: Practical verification of high-level dataraces in transactional memory programs
AUTHORS: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLISHED: 2011, SOURCE: 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings
INDEXED IN: Scopus DBLP CrossRef
9
TITLE: Detection of Transactional Memory anomalies using static analysis
AUTHORS: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLISHED: 2010, SOURCE: 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD'10 in PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
INDEXED IN: Scopus DBLP CrossRef
10
TITLE: Unifying Memory and Database Transactions
AUTHORS: Ricardo J Dias; Joao M Lourenco ;
PUBLISHED: 2009, SOURCE: 15th International Euro-Par Conference on Parallel Computing in EURO-PAR 2009: PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 5704
INDEXED IN: Scopus WOS DBLP CrossRef
Page 1 of 2. Total results: 11.