Eitan Farchi
AuthID: R-006-E1X
1
TÃTULO: Special issue on testing, analysis and debugging of concurrent programs Full Text
AUTORES: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, NÚMERO: 3
AUTORES: Eitan Farchi; Robert M Hierons; Joao Lourenco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 25, NÚMERO: 3
2
TÃTULO: Special Track on Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT)
AUTORES: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLICAÇÃO: 2015, FONTE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
AUTORES: Bradbury, JS; Farchi, E; Lourenço, J;
PUBLICAÇÃO: 2015, FONTE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015
INDEXADO EM: Scopus
3
TÃTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lourenco, JM ; Farchi, E;
PUBLICAÇÃO: 2013, FONTE: International Conference on Multicore Software Engineering, Performance, and Tools, MUSEPAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8063 LNCS
AUTORES: Lourenco, JM ; Farchi, E;
PUBLICAÇÃO: 2013, FONTE: International Conference on Multicore Software Engineering, Performance, and Tools, MUSEPAT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8063 LNCS
INDEXADO EM: Scopus
4
TÃTULO: Using program closures to make an application programming interface (API) implementation thread safe
AUTORES: Farchi, E; Segall, I; Lourenco, JM ; Sousa, D;
PUBLICAÇÃO: 2012, FONTE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 - Proceedings
AUTORES: Farchi, E; Segall, I; Lourenco, JM ; Sousa, D;
PUBLICAÇÃO: 2012, FONTE: 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 in 2012 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012 - Proceedings
INDEXADO EM: Scopus
5
TÃTULO: Practical verification of high-level dataraces in transactional memory programs
AUTORES: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Pessanha, V; Dias, RJ; Lourenco, JM ; Farchi, E; Sousa, D;
PUBLICAÇÃO: 2011, FONTE: 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
6
TÃTULO: Foreword
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus
7
TÃTULO: Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011, Toronto, ON, Canada, July 17-21, 2011
AUTORES: João Lourenço ; Eitan Farchi;
PUBLICAÇÃO: 2011, FONTE: PADTAD
AUTORES: João Lourenço ; Eitan Farchi;
PUBLICAÇÃO: 2011, FONTE: PADTAD
INDEXADO EM: DBLP
8
TÃTULO: PADTAD 2010 - International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging: Foreword
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2010, FONTE: 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
AUTORES: Lourenco, J ; Farchi, E; Ur, S;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus
9
TÃTULO: Detection of Transactional Memory anomalies using static analysis
AUTORES: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLICAÇÃO: 2010, FONTE: 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
AUTORES: Teixeira, B; Lourenco, J ; Farchi, E; Dias, R; Sousa, D;
PUBLICAÇÃO: 2010, FONTE: 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
10
TÃTULO: Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009
AUTORES: Ganesh Gopalakrishnan; Eitan Farchi; Eric Mercer;
PUBLICAÇÃO: 2009, FONTE: PADTAD
AUTORES: Ganesh Gopalakrishnan; Eitan Farchi; Eric Mercer;
PUBLICAÇÃO: 2009, FONTE: PADTAD
INDEXADO EM: DBLP