Combining Data and Computation Distribution Directives for Hybrid Parallel Programming : A Transformation System
Habel, Rachid, Silber-Chaussumier, Frédérique, Irigoin, François, Brunet, Elisabeth, Trahay, François
Published in International journal of parallel programming (01.12.2016)
Published in International journal of parallel programming (01.12.2016)
Get full text
Journal Article
A Modular Static Analysis Approach to Affine Loop Invariants Detection
Ancourt, Corinne, Coelho, Fabien, Irigoin, François
Published in Electronic notes in theoretical computer science (01.10.2010)
Published in Electronic notes in theoretical computer science (01.10.2010)
Get full text
Journal Article
Computing Invariants with Transformers: Experimental Scalability and Accuracy
Maisonneuve, Vivien, Hermant, Olivier, Irigoin, François
Published in Electronic Notes in Theoretical Computer Science (11.09.2014)
Published in Electronic Notes in Theoretical Computer Science (11.09.2014)
Get full text
Journal Article
Conference Proceeding
Combining data and computation distribution directives for hybrid parallel rogramming : a transformation system
Habel, Rachid, Silber-Chaussumier, Frédérique, Irigoin, François, Brunet, Elisabeth, Trahay, François
Published in International journal of parallel programming (01.12.2016)
Published in International journal of parallel programming (01.12.2016)
Get full text
Journal Article
Automatic Code Generation of Distributed Parallel Tasks
Lossing, Nelson, Ancourt, Corinne, Irigoin, Francois
Published in 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) (01.08.2016)
Published in 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) (01.08.2016)
Get full text
Conference Proceeding
A Linear Algebra Framework for Static High Performance Fortran Code Distribution
Ancourt, Corinne, Coelho, Fabien, Irigoin, FranÇois, Keryell, Ronan
Published in Scientific programming (01.01.1997)
Published in Scientific programming (01.01.1997)
Get full text
Journal Article
A maturity model for the deployment of Systems Engineering processes
Cornu, C., Quiot, J., Chapurlat, V., Irigoin, F.
Published in 2012 IEEE International Systems Conference SysCon 2012 (01.03.2012)
Published in 2012 IEEE International Systems Conference SysCon 2012 (01.03.2012)
Get full text
Conference Proceeding
Interoperability Assessment in the Deployment of Technical Processes in Industry
Cornu, Clémentine, Chapurlat, Vincent, Quiot, Jean-Marc, Irigoin, François
Published in IFAC Proceedings Volumes (23.05.2012)
Published in IFAC Proceedings Volumes (23.05.2012)
Get full text
Journal Article
A Linear Algebra Framework for Static HPF Code Distribution
Ancourt, Corinne, Coelho, Fabien, Irigoin, François, Keryell, Ronan
Published in Scientific programming (25.11.1995)
Get full text
Published in Scientific programming (25.11.1995)
Journal Article
Alias verification for Fortran code optimization
Nguyen, Thi Viet Nga, Irigoin, François
Published in Electronic notes in theoretical computer science (01.04.2002)
Published in Electronic notes in theoretical computer science (01.04.2002)
Get full text
Journal Article