Return to Activities

Publications

Publications HAL du labo/EPI 408854

2015

Journal articles

titre
ComprehensiveBench: a Benchmark for the Extensive Evaluation of Global Scheduling Algorithms
auteur
Laércio Lima Pilla, Tiago Bozetti, Marcio Castro, Philippe Navaux, Jean-François Méhaut
article
Journal of Physics: Conference Series, IOP Publishing, 2015, pp.1-12
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01183558/file/JPCS.pdf BibTex
titre
Faithful Performance Prediction of a Dynamic Task-Based Runtime System for Heterogeneous Multi-Core Architectures
auteur
Luka Stanisic, Samuel Thibault, Arnaud Legrand, Brice Videau, Jean-François Méhaut
article
Concurrency and Computation: Practice and Experience, Wiley, 2015, pp.16. ⟨10.1002/cpe.3555⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01147997/file/CCPE14_article.pdf BibTex
titre
Runtime Verification: the Application Perspective
auteur
Ylìès Falcone, Lenore Zuck
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248423/file/STTT-intro-RV.pdf BibTex
titre
On the Energy Efficiency and Performance of Irregular Application Executions on Multicore, NUMA and Manycore Platforms
auteur
Emilio Francesquini, Márcio Castro, Pedro Henrique Penna, Fabrice Dupros, Henrique Freitas, Philippe Olivier Alexandre Navaux, Jean-François Méhaut
article
Journal of Parallel and Distributed Computing, Elsevier, 2015, 76, pp. 32-48. ⟨10.1016/j.jpdc.2014.11.002⟩
Accès au texte intégral et bibtex
https://hal-brgm.archives-ouvertes.fr/hal-01092325/file/Francesquini_et_al_JPDC_2014.pdf BibTex
titre
On Using the Roofline Model with Lower Bounds on Data Movement
auteur
Venmugil Elango, Naser Sedaghati, Fabrice Rastello, Louis-Noël Pouchet, Jagannathan Ramanujam, Radu Teodorescu, P. Sadayappan
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2015, 11 (4), pp.67:1–67:23
Accès au bibtex
BibTex
titre
Performance/energy trade-off in scientific computing: the case of ARM big.LITTLE and Intel Sandy Bridge
auteur
Edson Luiz Padoin, Francieli Z. Boito, Laércio Lima Pilla, Marcio Bastos Castro, Philippe Olivier Alexandre Navaux, Jean-François Mehaut
article
IET Computers & Digital Techniques, Institution of Engineering and Technology, 2015, 9 (1), pp.1-9. ⟨10.1049/iet-cdt.2014.0074⟩
Accès au bibtex
BibTex
titre
Enforcement and Validation (at runtime) of Various Notions of Opacity
auteur
Yliès Falcone, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00987985/file/main.pdf BibTex
titre
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
auteur
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
article
Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248420/file/Sosym-author-version_Falcone-et-al.pdf BibTex

Conference papers

titre
Fast and Accurate Simulation of Multithreaded Sparse Linear Algebra Solvers
auteur
Luka Stanisic, Emmanuel Agullo, Alfredo Buttari, Abdou Guermouche, Arnaud Legrand, Florent Lopez, Brice Videau
article
The 21st IEEE International Conference on Parallel and Distributed Systems, Dec 2015, Melbourne, Australia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01180272/file/QRMSTARSG_article.pdf BibTex
titre
Exploitation de la structure en communautés pour la réduction de défauts de cache dans la fouille des réseaux sociaux
auteur
Thomas Messi Nguélé, Maurice Tchuenté, Jean-François Mehaut
article
Conférence de Recherche en Informatique (CRI), Dec 2015, Yaoundé, Cameroun
Accès au bibtex
BibTex
titre
Energy-Aware Massively Distributed Cloud Facilities: The DISCOVERY Initiative
auteur
Frédéric Desprez, Shadi Ibrahim, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Anthony Simonet
article
IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia. pp.476 – 477, ⟨10.1109/DSDIS.2015.58⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01338456/file/poster.pdf BibTex
titre
Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
article
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185238/file/ICTAC_version_longue_HAL.pdf BibTex
titre
Uma Metodologia Baseada em Simulação e Algoritmo Genético para Exploração de Estratégias de Escalonamento de Laços
auteur
Pedro Henrique Penna, Marcio Castro, Henrique Freitas, Francois Broquedis, Jean-François Méhaut
article
WSCAD 2015 – Simpósio em Sistemas Computacionais de Alto Desempenho, SBC, Oct 2015, Florianópolis, Brazil
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01239916/file/main.pdf BibTex
titre
Data Mining Approach to Temporal Debugging of Embedded Streaming Applications
auteur
Oleg Iegorov, Alexandre Termier, Vincent Leroy, Jean-François Méhaut, Miguel Santana
article
15th International Conference on Embedded Software (EMSOFT’2015), Oct 2015, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01178782/file/197-EM31.pdf BibTex
titre
Runtime pointer disambiguation
auteur
Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lambrineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira
article
Proceedings of the 2015 International Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2015, Oct 2015, Pittsburgh, United States. pp.18
Accès au bibtex
BibTex
titre
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
article
RV’2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244446/file/Tipex-Final.pdf BibTex
titre
Monitoring Electronic Exams
auteur
Ali Kassem, Yliès Falcone, Pascal Lafourcade
article
6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. pp.16, ⟨10.1007/978-3-319-23820-3_8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248349/file/rv15-1.pdf BibTex
titre
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
auteur
Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi, Akihito Iwai, Grigore Rosu
article
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_24⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248350/file/rv15-3.pdf BibTex
titre
Second International Competition on Runtime Verification
auteur
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
article
6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_27⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248351/file/rv15-4.pdf BibTex
titre
Dynamic Detection and Mitigation of DMA Races in MPSoCs
auteur
Selma Saidi, Yliès Falcone
article
18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. ⟨10.1109/DSD.2015.77⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248352/file/dsd15.pdf BibTex
titre
Runtime Enforcement for Component-Based Systems
auteur
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
article
Symposium on Applied Computing – Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248353/file/sac15.pdf BibTex
titre
Performance comparison between Java and JNI for optimal implementation of computational micro-kernels
auteur
Nassim Halli, Henri-Pierre Charles, Jean-François Méhaut
article
ADAPT 2015 : The 5th International Workshop on Adaptive Self-tuning Computing Systems, Jan 2015, Amsterdam, Netherlands
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01277940/file/1412.6765v1.pdf BibTex
titre
On Characterizing the Data Access Complexity of Programs
auteur
Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, Jagannathan Ramanujam, Ponnuswamy Sadayappan
article
42nd Annual Symposium on Principles of Programming Languages, 2015, Jan 2015, Mumbai, India. pp.567-580
Accès au bibtex
BibTex
titre
Reducing trace size in multimedia applications endurance tests
auteur
Serge Vladimir Emteu Tchagou, Alexandre Termier, Jean-François Méhaut, Brice Videau, Miguel Santana, René Quiniou
article
Design, Automation & Test in Europe Conference & Exhibition (DATE) , 2015, Grenoble, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01093576/file/date2015_final_serge.pdf BibTex

Book sections

titre
Programmation et Exploitation des Platesformes HPC: Défis et challenges
auteur
François Bodin, Jean-François Méhaut
article
Clés du futur, TERATEC, 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01174302/file/BodinMehaut.pdf BibTex

Leave a Reply

Your email address will not be published.