Xavier Tort Martorell
AuthID: R-00H-1J1
1
TITLE: Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
AUTHORS: Royuela, S; Martorell, X; Quinones, E; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873
AUTHORS: Royuela, S; Martorell, X; Quinones, E; Pinho, LM ;
PUBLISHED: 2018, SOURCE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873
2
TITLE: OpenMP Tasking Model for Ada: Safety and Correctness
AUTHORS: Royuela, Sara; Martorell, Xavier; Quinones, Eduardo; Pinho, Luis Miguel;
PUBLISHED: 2017, SOURCE: 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2017, VOLUME: 10300
AUTHORS: Royuela, Sara; Martorell, Xavier; Quinones, Eduardo; Pinho, Luis Miguel;
PUBLISHED: 2017, SOURCE: 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2017, VOLUME: 10300
