Filtrer vos résultats
- 171
- 33
- 1
- 123
- 44
- 10
- 7
- 6
- 6
- 4
- 3
- 1
- 1
- 9
- 1
- 1
- 203
- 3
- 2
- 1
- 1
- 1
- 5
- 8
- 18
- 14
- 9
- 20
- 33
- 28
- 35
- 24
- 9
- 1
- 1
- 193
- 11
- 1
- 205
- 205
- 17
- 14
- 11
- 11
- 10
- 9
- 9
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 83
- 41
- 37
- 19
- 14
- 12
- 11
- 11
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
205 résultats
|
Vérification interactive de propriétés à l'exécutionInformatique [cs]. CORSE - Compiler Optimization and Run-time Systems; Université Grenoble - Alpes; LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, 2019. Français. ⟨NNT : ⟩
Thèse
tel-02460734v1
|
||
|
Formal Methods in Outer SpaceSpringer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩
Ouvrages
hal-03533127v1
|
||
|
On Characterizing the Data Movement Complexity of Computational DAGs for Parallel ExecutionSymposium on Parallelism in Algorithms and Architectures (SPAA '14), 2014, Prague, Poland. pp.296-306, ⟨10.1145/2612669.2612694⟩
Communication dans un congrès
hal-01016090v1
|
||
|
An overview of service placement problem in Fog and Edge ComputingACM Computing Surveys, 2020, 53 (3), Article 65, 35 p. ⟨10.1145/3391196⟩
Article dans une revue
hal-02596419v1
|
||
|
On the Performance and Isolation of Asymmetric Microkernel Design for Lightweight ManycoresSBESC 2019 - IX Brazilian Symposium on Computing Systems Engineering, Nov 2019, Natal, Brazil. pp.1-31
Communication dans un congrès
hal-02297637v3
|
||
|
Problem solving to teach advanced algorithms in heterogeneous groupsITiCSE 2018 - 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, Jul 2018, Larnaca, Cyprus. pp.200-205, ⟨10.1145/3197091.3197147⟩
Communication dans un congrès
hal-01929650v1
|
||
|
Imposition de propriétés temporisées à l'exécutionETR 2017 : École d'Été Temps Réel, Aug 2017, Paris, France
Document associé à des manifestations scientifiques
hal-01709899v1
|
||
|
Collective I/O Performance on the Santos Dumont SupercomputerPDP 2018 - 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Mar 2018, Cambridge, United Kingdom. pp.45-52, ⟨10.1109/PDP2018.2018.00015⟩
Communication dans un congrès
hal-01711359v1
|
||
|
Runtime Failure Prevention and ReactionLectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩
Chapitre d'ouvrage
hal-01723606v1
|
||
|
Facilitating the Implementation of Distributed Systems with Heterogeneous InteractionsIFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19
Communication dans un congrès
hal-01868748v1
|
||
|
Assessing the Performance of the SRR Loop Scheduler with Irregular WorkloadsInternational Conference on Computational Science (ICCS'17), Petros Koumoutsakos, Eleni Chatzi, Jun 2017, Zurich, Switzerland
Communication dans un congrès
hal-01519205v1
|
||
|
GREP: Games for the Runtime Enforcement of Properties29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Communication dans un congrès
hal-01678960v1
|
||
BOAST: A metaprogramming framework to produce portable and efficient computing kernels for HPC applicationsInternational Journal of High Performance Computing Applications, 2018, 32 (1), pp.28-44. ⟨10.1177/1094342017718068⟩
Article dans une revue
hal-01620778v1
|
|||
|
Monitoring Distributed Component-Based SystemsFACS 2021 - 17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19
Communication dans un congrès
hal-03525762v1
|
||
|
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes ⋆AISOLA 2023 - Bridging the Gap Between AI and Reality, Oct 2023, Crete, Greece. pp.1-15
Communication dans un congrès
hal-04380870v1
|
||
|
Using Complex-Network properties For Efficient Graph AnalysisInternational Conference on Parallel Computing, ParCo 2017, Foundation ParCo Conferences and Consortium Cineca, Sep 2017, Bologne, Italy. pp.413 - 422, ⟨10.3233/978-1-61499-843-3-413⟩
Communication dans un congrès
hal-01498578v2
|
||
|
Decentralized LTL EnforcementGandALF 2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2021, Padua, France. pp.1-18
Communication dans un congrès
hal-03525845v1
|
||
|
Social network ordering based on communities to reduce cache missesRevue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2017, Special issue CRI 2015, Volume 24 - 2017 - Special issue CRI 2015, pp.23 - 47. ⟨10.46298/arima.1448⟩
Article dans une revue
hal-01304968v5
|
||
|
CesASMe and Staticdeps: static detection of memory-carried dependencies for code analyzersINRIA. 2024, pp.1-12
Rapport
hal-04477227v1
|
||
|
Dynamic Program Analysis with Flexible Instrumentation and Complex Event ProcessingISSRE - 2023 IEEE 34th International Symposium on Software Reliability Engineering, Oct 2023, Florence, Italy. pp.742-751, ⟨10.1109/ISSRE59848.2023.00048⟩
Communication dans un congrès
hal-04381709v1
|
||
|
Do Common Educational Datasets Contain Static Information? A Statistical StudyEDM 2021 - Conference on Educational Data Mining, Jun 2021, Paris / Virtual, France. pp.1-7
Communication dans un congrès
hal-03526276v1
|
||
|
WEASY: A Tool for Modelling Optimised BPMN ProcessesFACS 2022 - 18th International Conference on Formal Aspects of Component Software, Nov 2022, Oslo / Online, Norway. ⟨10.1007/978-3-031-20872-0_7⟩
Communication dans un congrès
hal-03848350v1
|
||
Automates à états finis et langages réguliersDunod, pp.1-320, 2020, 9782100808465
Ouvrages
hal-03113401v1
|
|||
|
Monoparametric Tiling of Polyhedral ProgramsInternational Journal of Parallel Programming, 2021, 49, pp.376-409. ⟨10.1007/s10766-021-00694-2⟩
Article dans une revue
hal-02493164v2
|
||
|
On Characterizing the Data Movement Complexity of Computational DAGs for Parallel Execution[Research Report] RR-8522, INRIA. 2014, pp.27
Rapport
hal-00980580v1
|
||
|
On the Runtime Enforcement of Timed PropertiesProceedings of the Runtime Verification 2019 conference, Springer, pp.48-69, 2019, ⟨10.1007/978-3-030-32079-9_4⟩
Chapitre d'ouvrage
hal-02433521v1
|
||
|
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine ProgramsPLDI 2021 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Jun 2021, Virtual, Canada. ⟨10.1145/3453483⟩
Communication dans un congrès
hal-03200539v2
|
||
|
Efficient convolution optimisation by composing micro-kernels2021
Pré-publication, Document de travail
hal-03149553v3
|
||
|
Runtime Enforcement with Reordering, Healing, and SuppressionSEFM 2021 - 19th IEEE International Conference on Software Engineering and Formal Methods, Dec 2021, Virtual, United Kingdom. pp.1-20
Communication dans un congrès
hal-03484045v1
|
||
|
Data Mining Approach to Temporal Debugging of Embedded Streaming Applications15th International Conference on Embedded Software (EMSOFT'2015), Oct 2015, Amsterdam, Netherlands
Communication dans un congrès
hal-01178782v1
|