Filter your results
- 20
- 10
- 16
- 10
- 1
- 1
- 1
- 1
- 30
- 1
- 1
- 4
- 3
- 2
- 4
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 2
- 26
- 4
- 30
- 5
- 3
- 2
- 1
- 1
- 1
- 1
- 30
- 16
- 8
- 6
- 5
- 5
- 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
30 Results
|
|
sorted by
|
|
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⟩
Journal articles
hal-01130381v1
|
||
|
Diet-ethic: Fair Scheduling of Optional Computations in GridRPC Middleware[Research Report] RR-7959, INRIA. 2012
Reports
hal-00696104v2
|
||
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
Conference papers
hal-01429567v1
|
|||
|
Advanced service trading for scientific computing over the gridJournal of Supercomputing, 2009, 49, pp.64-83. ⟨10.1007/s11227-008-0234-9⟩
Journal articles
istex
hal-00688665v1
|
||
|
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⟩
Conference papers
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⟩
Conference papers
hal-02871341v1
|
||
|
Selecting Linear Algebra Kernel Composition Using Response Time PredictionSoftware: Practice and Experience, 2015, 45 (12), pp.1659--1676. ⟨10.1002/spe.2307⟩
Journal articles
istex
hal-03190207v1
|
||
|
Formalisations pour les compositions de servicesInformatique [cs]. Institut National Polytechnique de Toulouse (Toulouse INP), 2018
Habilitation à diriger des recherches
tel-03282922v1
|
||
|
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⟩
Conference papers
hal-02930097v1
|
||
On deploying scientific software within the GRID-TLSE projectComputing Letters, 2005, 1 (3), pp.85-92. ⟨10.1163/1574040054861267⟩
Journal articles
hal-00688802v1
|
|||
|
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
Conference papers
hal-01535944v1
|
||
|
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
Conference papers
hal-01592022v1
|
||
|
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⟩
Journal articles
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
Conference papers
hal-02442015v1
|
||
|
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⟩
Conference papers
hal-03079837v1
|
||
|
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⟩
Conference papers
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
Conference papers
hal-00695052v1
|
|||
|
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⟩
Journal articles
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⟩
Journal articles
hal-02451058v1
|
||
|
On the Diversity of Asynchronous CommunicationFormal Aspects of Computing, 2016, vol. 28 (n° 5), pp. 847-879. ⟨10.1007/s00165-016-0379-x⟩
Journal articles
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⟩
Conference papers
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
Conference papers
hal-01343037v1
|
||
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⟩
Conference papers
hal-03193130v1
|
|||
Actes des 15ème journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)2016
Books
hal-01937245v1
|
|||
|
A grid-aware web portal with advanced service trading for linear algebra calculationsVECPAR 2008: 8th International Conference High Performance Computing for Computational Science, Jun 2008, Toulouse, France. pp.150-159, ⟨10.1007/978-3-540-92859-1_15⟩
Conference papers
istex
hal-00689914v1
|
||
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⟩
Journal articles
hal-03155053v1
|
|||
|
Asynchronous Message Orderings Beyond CausalityThe 21st International Conference on Principles of Distributed Systems (OPODIS 2017), Dec 2017, Lisboa, Portugal. pp.1-20
Conference papers
hal-02617506v1
|
||
|
Courtage sémantique de services de calculGénie logiciel [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2006. Français. ⟨NNT : ⟩
Theses
tel-00483894v1
|
||
|
Resource Management Architecture for Fair Scheduling of Optional Computations8th international conference on P2P, parallel, grid, cloud and internet computing (3PGCIC), Oct 2013, Compiegne, France. pp.113-120, ⟨10.1109/3PGCIC.2013.23⟩
Conference papers
hal-00865668v1
|
||
|
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⟩
Journal articles
hal-01124410v1
|