Filtrer vos résultats
- 22
- 10
- 17
- 11
- 1
- 1
- 1
- 1
- 1
- 32
- 2
- 1
- 1
- 4
- 4
- 1
- 4
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 28
- 4
- 32
- 5
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 32
- 17
- 8
- 6
- 5
- 5
- 4
- 3
- 3
- 2
- 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
32 résultats
|
|
triés par
|
|
Tasks in modular proofs of concurrent algorithmsInformation and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩
Article dans une revue
hal-04086420v1
|
||
|
Enabling Workflows in GridSolve: Request Sequencing and Service TradingJournal of Supercomputing, 2013, vol. 64 (n° 3), pp. 1133-1152. ⟨10.1007/s11227-010-0549-1⟩
Article dans une revue
hal-01130381v1
|
||
|
Derivation of Heard-Of Predicates From Elementary Behavioral PatternsInternational Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2020), Jun 2020, Online, France. pp.133-149, ⟨10.1007/978-3-030-50086-3_8⟩
Communication dans un congrès
hal-02947787v1
|
||
|
Inference of Channel Priorities for Asynchronous Communication14th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.262-269, ⟨10.1007/978-3-319-62410-5_32⟩
Communication dans un congrès
hal-02871341v1
|
||
|
A Map of Asynchronous Communication ModelsRefinement Workshop, in World Congress on Formal Methods (REFINE 2019), Oct 2019, Porto, Portugal. pp.1-15, ⟨10.1007/978-3-030-54997-8_20⟩
Communication dans un congrès
hal-02930097v1
|
||
Selecting Linear Algebra Kernel Composition Using Response Time PredictionSoftware: Practice and Experience, 2015, 45 (12), pp.1659--1676. ⟨10.1002/spe.2307⟩
Article dans une revue
istex
hal-03190207v1
|
|||
|
Formalisations pour les compositions de servicesInformatique [cs]. Institut National Polytechnique de Toulouse (Toulouse INP), 2018
HDR
tel-03282922v1
|
||
|
On the Diversity of Asynchronous CommunicationFormal Aspects of Computing, 2016, vol. 28 (n° 5), pp. 847-879. ⟨10.1007/s00165-016-0379-x⟩
Article dans une revue
hal-01530410v1
|
||
|
A Modular Framework for Verifying Versatile Distributed Systems5th International Symposium on Formal Approaches to Parallel and Distributed Systems. (4PAD 2018), part of 16th International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France. pp.748-755, ⟨10.1109/HPCS.2018.00121⟩
Communication dans un congrès
hal-02295347v1
|
||
|
La composition de services dans le monde asynchrone Formalisation et vérification en TLA+14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39
Communication dans un congrès
hal-01343037v1
|
||
Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)2016
Ouvrages
hal-01937245v1
|
|||
QoS-Based Web Services Composition Optimization with an Extended Bat Inspired Algorithm21st International Conference on Information and Software Technologies (ICIST 2015), Oct 2015, Druskininkai, Lithuania. pp.306--319, ⟨10.1007/978-3-319-24770-0_27⟩
Communication dans un congrès
hal-03193130v1
|
|||
|
Mechanized Refinement of Communication Models with TLA+5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), May 2016, Linz, Austria. pp. 312-318
Communication dans un congrès
hal-01535944v1
|
||
|
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing ModelsLogical Methods in Computer Science, 2021, 17 (3), pp.26:1 - 26:43. ⟨10.46298/lmcs-17(3:26)2021⟩
Article dans une revue
hal-03352272v1
|
||
|
Proving a Non-Blocking Algorithm for Process Renaming with TLA+13th International Conference on Tests and Proofs (TAP 2019), part of the 3rd World Congress on Formal Methods, Oct 2019, Porto, Portugal. pp.147-166
Communication dans un congrès
hal-02442015v1
|
||
|
Automated Verification of Asynchronous Communicating Systems with TLA+15th International Workshop on Automated Verification of Critical Systems (AVOCS 2015), Sep 2015, Edinburgh, Scotland, United Kingdom. pp.135-150
Communication dans un congrès
hal-01592022v1
|
||
On deploying scientific software within the GRID-TLSE projectComputing Letters, 2005, 1 (3), pp.85-92. ⟨10.1163/1574040054861267⟩
Article dans une revue
hal-00688802v1
|
|||
On defining a web interface for linear algebra tasks over computational gridsInternational Conference on Computer Science and Information Technologies (CSIT'07), Sep 2007, Yerevan, Armenia
Communication dans un congrès
hal-01429567v1
|
|||
|
Diet-ethic: Fair Scheduling of Optional Computations in GridRPC Middleware[Research Report] RR-7959, INRIA. 2012
Rapport
hal-00696104v2
|
||
Advanced service trading for scientific computing over the gridJournal of Supercomputing, 2009, 49, pp.64-83. ⟨10.1007/s11227-008-0234-9⟩
Article dans une revue
istex
hal-00688665v1
|
|||
|
Tasks in Modular Proofs of Concurrent Algorithms21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019), Oct 2019, Pisa, Italy. pp.69-83, ⟨10.1007/978-3-030-34992-9_6⟩
Communication dans un congrès
hal-02903005v1
|
||
Gridification of scientific application using software components: the grid-TLSE project as an illustrationCSIT 2005 : Fifth International Conference on Computer Science and Information Technologies, Sep 2005, Yerevan, Armenia
Communication dans un congrès
hal-00695052v1
|
|||
|
Characterizing Asynchronous Message-Passing Models Through Rounds22nd International Conference on Principles of Distributed Systems (OPODIS 2018), Dec 2018, Hong Kong, China. ⟨10.4230/LIPIcs.OPODIS.2018.0⟩
Communication dans un congrès
hal-03079837v1
|
||
|
Automated Verification of Asynchronous Communicating Systems with TLA+Electronic Communications of the EASST, 2015, 72, pp.1-15. ⟨10.14279/tuj.eceasst.72.1019.1005⟩
Article dans une revue
hal-01535957v1
|
||
|
A Modular Framework for Verifying Versatile Distributed SystemsJournal of Logic and Algebraic Methods in Programming, 2019, 108, pp.24-46. ⟨10.1016/j.jlamp.2019.05.008⟩
Article dans une revue
hal-02451058v1
|
||
|
On the Easy Use of Scientific Computing Services for Large Scale Linear Algebra and Parallel Decision Making with the P-Grade PortalJournal of Grid Computing, 2013, vol. 11 (n° 2), pp. 239-248. ⟨10.1007/s10723-013-9254-7⟩
Article dans une revue
hal-01124410v1
|
||
|
Certified Logic-Based Explainable AI17th International Conference on Tests and Proofs (TAP 2023), Jul 2023, Leicester, United Kingdom. pp.51-67, ⟨10.1007/978-3-031-38828-6_4⟩
Communication dans un congrès
hal-04031193v3
|
||
|
Courtage sémantique de services de calculGénie logiciel [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2006. Français. ⟨NNT : ⟩
Thèse
tel-00483894v1
|
||
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problemInternational Journal of Intelligent Systems Technologies and Applications, 2016, 15 (2), pp.95--126. ⟨10.1504/IJISTA.2016.076493⟩
Article dans une revue
hal-03155053v1
|
|||
|
Asynchronous Message Orderings Beyond CausalityThe 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisboa, Portugal. pp.1-20
Communication dans un congrès
hal-02617506v1
|
- 1
- 2