Zobrazeno 1 - 10 of 13 pro vyhledávání: '"Fabrice Legond−Aubry"'
1
Model Checking Contest @ Petri Nets, Report on the 2013 edition
Autor: Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom−Messan Hillah, Francis Hulin−Hubard, Fabrice Legond−Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot−Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry−Mieg, Harro Wimmel, Karsten Wolf
This document presents the results of the Model Checking Contest held at Petri Nets 2013 in Milano. This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the third edi
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a7ae6f1bf6f6d8180ecc8f9a7bd7137
http://arxiv.org/abs/1309.2485
Zobrazit plný text záznamu
2
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle
Autor: Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry
Publikováno v: Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2009, 28 (9), pp.1085-1105. ⟨10.3166/tsi.28.1085-1105⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2009, 28 (9), pp.1085-1105. ⟨10.3166/tsi.28.1085-1105⟩
National audience; Dans un environnement distribué, l'exclusion mutuelle des accès aux ressources partagées est un problème fondamental. En s'adaptant aux contraintes des nouvelles topologies de type GRID, les algorithmes d'exclusion mutuelle dev
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50668c1552667854da8707f692099bee
https://hal.archives-ouvertes.fr/hal-01176325
Zobrazit plný text záznamu
3
Synchronization protocols for sharing resources in grid environments
Autor: Fabrice Legond-Aubry, Luciana Arantes, Pierre Sens, Julien Sopena
Publikováno v: Fundamentals of Grid Computing (CRC Numerical Analysis and Scientific Computing Series), 1 edition
Fundamentals of Grid Computing (CRC Numerical Analysis and Scientific Computing Series), 1 edition, Chapman and Hall, 2009, 9781439803677. ⟨10.1201/9781439803684-c2⟩
Chapman & Hall/CRC Numerical Analy & Scient Comp. Series ISBN: 9781439803677
International audience
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::880588aa883459e431e21e645947a032
https://hal.science/hal-01298341
Zobrazit plný text záznamu
4
The impact of clustering on token-based mutual exclusion algorithms
Autor: Luciana Arantes, Julien Sopena, Pierre Sens, Fabrice Legond-Aubry
Publikováno v: Euro-Par 2008 Workshops-Parallel Processing
Euro-Par 2008-14th European Conference on Parallel and Distributed Computing
Euro-Par 2008-14th European Conference on Parallel and Distributed Computing, Aug 2008, Las Palmas de Gran Canaria, Spain. pp.565-575, ⟨10.1007/978-3-540-85451-7_60⟩
Lecture Notes in Computer Science ISBN: 9783540854500
Euro-Par
International audience; We present in this article a theoretical study and performance results about the impact of the Grid architecture on token-based mutual exclusion algorithms. To this end, both the original token-based Naimi-Tr'ehel's algorithm
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97865ebacae7fbee03848cf668c0c752
https://inria.hal.science/hal-00690426
Zobrazit plný text záznamu
5
Verification of a Hierarchical Generic Mutual Exclusion Algorithm
Autor: Souheib Baarir, Fabrice Legond-Aubry, Julien Sopena
Publikováno v: Formal Techniques for Networked and Distributed Systems – FORTE 2008 ISBN: 9783540688549
FORTE
In distributed environments, the shared resources access control by mutual exclusion paradigm is a recurrent key problem. To cope with the new constraints implied by recently developed large scale distributed systems like grids, mutual exclusion algo
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::adcdea5c31707cbdf2b0f0ca9e4d927a
https://doi.org/10.1007/978-3-540-68855-6_7
Zobrazit plný text záznamu
6
dmcG: a distributed symbolic model checker based on GreatSPN
Autor: Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry, Alexandre Hamez
Publikováno v: ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007)
28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2007), Jun 2007, Siedlce, Poland. pp.495-504, ⟨10.1007/978-3-540-73094-1_29⟩
Petri Nets and Other Models of Concurrency – ICATPN 2007 ISBN: 9783540730934
ICATPN
International audience; We encountered some limits when using the GreatSPN model checker on life-size models, both in time and space complexity. Even when the exponential blow-up of state space size is adequately handled by the tool thanks to the use
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8456f923b165ec48cfb80559c9a018c6
https://hal.inria.fr/hal-00701513
Zobrazit plný text záznamu
7
JAC: An Aspect-Based Distributed Dynamic Framework
Autor: Fabrice Legond-Aubry, Gerard Florin, Renaud Pawlak, Laurence Duchien, Laurent Martelli, Lionel Seinturier
Publikováno v: Software: Practice and Experience
Software: Practice and Experience, 2004, 34 (12), pp.1119-1148. ⟨10.1002/spe.605⟩
Software: Practice and Experience, Wiley, 2004, 34 (12), pp.1119-1148. ⟨10.1002/spe.605⟩
International audience; In this paper, we present the Java Aspect Components (JAC) framework for building aspect-oriented distributed applications in Java. This paper describes the aspect-oriented programming model and the architectural details of th
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46d78823a83ce89b0e540a2d130f2535
https://inria.hal.science/inria-00000042
Zobrazit plný text záznamu
8
Aspect-Oriented Software Development with Java Aspect Components
Autor: Renaud Pawlak, Lionel Seinturier, Laurence Duchien, Laurent Martelli, Fabrice Legond-Aubry, Gérard Florin
Publikováno v: Aspect-Oriented Software Development
Mehmet Aksit, Siobhan Clarke, Tzilla Elrad, Robert E Filman. Aspect-Oriented Software Development, Addison-Wesley, pp.343-369, 2004, 0-321-21976-7
HAL
In the last four years, our research project dealt with separation of concerns for distributed programming environments and applications. This research effort led to the implementation of the Java Aspect Component (JAC) framework for aspect-oriented
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6ce2b10e431c0c79d3de8759989400a9
https://hal.inria.fr/inria-00489501
Zobrazit plný text záznamu
9
An AOP Layer to Abstract Programming with Distributed Components
Autor: Fabrice Legond-Aubry, Gérard Florin, Lionel Seinturier
Publikováno v: Workshop of Aspect-Oriented Software Development
Workshop of Aspect-Oriented Software Development, Sep 2004, Beijing, China. pp.17-31
HAL
International audience; Component models such as EJB or CCM are increasingly used to create complex and distributed systems and applications. Unless the details of the API and mechanisms used for programming with these models differ, the general feat
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::38cadf07315adadceae198081300290b
https://hal.inria.fr/inria-00489500/file/WAOSD04.pdf
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje