54 résultats  enregistrer la recherche


  • 1
  • 2
hal-01176325v1  Article dans une revue
Julien SopenaSouheib BaarirFabrice Legond-AubryVérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle
Technique et Science Informatiques, Hermès-Lavoisier, 2009, 28 (9), pp.1085-1105. <10.3166/tsi.28.1085-1105>
...
hal-01162329v1  Communication dans un congrès
Jonathan LejeuneLuciana ArantesJulien SopenaPierre SensReducing synchronization cost in distributed multi-resource allocation problem
ICPP 2015 - 44th International Conference on Parallel Processing, Sep 2015, Beijing, China. IEEE, pp.540-549, 2015, <10.1109/ICPP.2015.63>
...
hal-00832976v1  Communication dans un congrès
Maxime LorrillereJulien SopenaSébastien MonnetPierre SensVers un cache réparti adapté au cloud computing
Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS'2013) - 9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Jan 2013, Grenoble, France. pp.1-12, 2013
inria-00179802v1  Communication dans un congrès
Julien SopenaLuciana ArantesPierre SensUn algorithme équitable d'exclusion mutuelle tolérant les fautes
5éme Conférence Française sur les Systèmes d'Exploitation (CFSE'06), Oct 2006, Perpignan, France. pp.97-107, 2006
hal-00690426v1  Communication dans un congrès
Julien SopenaLuciana ArantesFabrice Legond-AubryPierre SensThe impact of clustering on token-based mutual exclusion algorithms
Emilio Luque and Tomàs Margalef and Domingo Benítez. Euro-Par 2008 - 14th European Conference on Parallel and Distributed Computing, Aug 2008, Las Palmas de Gran Canaria, Spain. Springer, Euro-Par 2008 Workshops - Parallel Processing, 5168, pp.565-575, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-85451-7_60>
...
hal-01211178v1  Communication dans un congrès
Aurelie Faure de PebeyreFabien TarissanJulien SopenaOn the relevance of the edge-Markovian evolving graph model for real mobile networks
IFIP Wireless Days conference (WD'13), Nov 2013, Valence, Spain. IEEE, Proceedings of the IFIP Wireless Days conference, pp.1-6, 2013, <10.1109/WD.2013.6686487>
hal-01154515v1  Communication dans un congrès
Maxime LorrillereJulien SopenaSébastien MonnetPierre SensPuma: pooling unused memory in virtual machines for I/O intensive applications
SYSTOR'15 - 8th ACM International Systems and Storage Conference, May 2015, Haifa, Israel. ACM, pp.1:1--1:11, 2015, <10.1145/2757667.2757669>
hal-01303698v1  Communication dans un congrès
Souheib BaarirJulien SopenaFabrice Legond-AubryOn the Formal Verification of a Generic Hierarchical Mutual Exclusion Algorithm
28th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08 ), Jun 2008, Tokyo, Japan. Springer-Verlag, 28th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08 ), 5048, pp.99-115, Lecture Notes in Computer Science. <10.1007/978-3-540-68855-6_7>
hal-01213507v1  Communication dans un congrès
Mar Callau-ZoriLuciana ArantesJulien SopenaPierre SensMERCi-MIsS: Should I turn off my servers?
The 15th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2015, Grenoble, France. Springer International Publishing, 9038, pp.16-29, Lecture Notes in Computer Science. <10.1007/978-3-319-19129-4_2>
...
hal-00868012v1  Communication dans un congrès
Lokesh GidraGaël ThomasJulien SopenaMarc ShapiroA study of the scalability of stop-the-world garbage collectors on multicores
ASPLOS 13 - Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, Mar 2013, Houston, United States. ACM, pp.229-240, 2013, <10.1145/2451116.2451142>
...
hal-00932818v1  Communication dans un congrès
Lokesh GidraGaël ThomasJulien SopenaMarc ShapiroAssessing the Scalability of Garbage Collectors on Many Cores
PLOS '11 - 6th Workshop on Programming Languages and Operating Systems, Oct 2011, Cascais, Portugal. ACM, pp.7:1-7:5, 2011, <10.1145/2039239.2039249>
...
hal-00983984v1  Communication dans un congrès
Maxime LorrillereJulien SopenaSébastien MonnetPierre SensPUMA: Un cache distant pour mutualiser la mémoire inutilisée des machines virtuelles
Pascal Felber; Laurent Philippe; Etienne Riviere; Arnaud Tisserand. ComPAS'2014 : Conférence d'informatique en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse. pp.1-12, 2014
...
hal-00839061v1  Communication dans un congrès
Jonathan LejeuneLuciana ArantesJulien SopenaPierre SensUn algorithme équitable d'exclusion mutuelle distribuée avec priorité
9ème Conférence Française sur les Systèmes d'Exploitation (CFSE'13), Chapitre français de l'ACM-SIGOPS, GDR ARP, Jan 2013, Grenoble, France. 2013
hal-01282311v1  Communication dans un congrès
Thomas Preud'HommeJulien SopenaGaël ThomasBertil FolliotAn improvement of OpenMP pipeline parallelism with the BatchQueue algorithm
18th IEEE International Conference on Parallel and Distributed Systems (ICPADS'12), Dec 2012, Singapore, Singapore. IEEE Computer Society Press, 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS'12), pp.348-355, <10.1109/ICPADS.2012.55>
hal-01216403v1  Communication dans un congrès
Alexandre BeslicReda BendraouJulien SopenaJean-Yves RigoletTowards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms
2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL'13), Sep 2013, Miami, Florida, United States. pp.5-14
hal-01382780v1  Communication dans un congrès
Antoine BlinJulien SopenaGilles MullerYoussef LaarouchiContrôle de la bande passante mémoire dans les systèmes à criticité mixte par sous-réservation
ComPAS 2014 - Conférence d'informatique en Parallélisme, Architecture et Systeme, Apr 2014, Neuchâtel, Suisse. 2014
...
hal-01357777v1  Communication dans un congrès
Alejandro TomsicPierre SensJoao Coelho GarciaLuciana ArantesJulien Sopena2W-FD: A Failure Detector Algorithm with QoS
IPDPS 2015 - The 29th IEEE International Parallel and Distributed Processing Symposium, May 2015, Hyderabad, India. IEEE, pp.885-893, <10.1109/IPDPS.2015.74>
hal-01216412v1  Communication dans un congrès
Luciana ArantesJulien SopenaEasily rendering token-ring algorithms of distributed and parallel applications fault tolerant
25th International Symposium on Computer Architecture and High Performance Computing (SBAC'13), Oct 2013, Porto de Galinhas, Brazil. IEEE, pp.206-213, <10.1109/SBAC-PAD.2013.11>
hal-01216156v1  Communication dans un congrès
Aurélie Faure de PebeyreFabien TarissanJulien SopenaÉvaluation du modèle évolutif par arête-markovienne pour reproduire la dynamique des réseaux mobiles
4ème Journées Modèles et l’Analyse des Réseaux : Approches Mathématiques et Informatique (MARAMI'13), Oct 2013, Saint-Etienne, France. pp.1-12
...
hal-00780000v2  Communication dans un congrès
Damián SerranoSara BouchenakYousri KoukiThomas LedouxJonathan Lejeune et al.  Towards QoS-Oriented SLA Guarantees for Online Cloud Services
The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), May 2013, Delft, Netherlands. Proceedings of the 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), pp.50-57, 2013, <10.1109/CCGrid.2013.66>
hal-01197421v1  Article dans une revue
Luciana ArantesJonathan LejeuneMadeleine PiffarettiOlivier MarinPierre Sens et al.  Vers une plate-forme MapReduce tolérant les fautes byzantines
Technique et Science Informatiques, Hermès-Lavoisier, 2012, 31 (8-10), pp.1079-1099. <10.3166/tsi.31.1079-1099>
hal-01271769v1  Communication dans un congrès
Laure MilletMaxime LorrillereLuciana ArantesStéphane GançarskiHubert Naacke et al.  Facing peak loads in a P2P transaction system
The First Workshop on P2P and Dependability (P2PDEP'12), May 2012, Sibiu, Romania. ACM, Proceedings of the First Workshop on P2P and Dependability (P2PDEP'12), pp.1-7, P2P-Dep '12. <10.1145/2212346.2212347>
hal-01299157v1  Communication dans un congrès
Julien SopenaFabrice Legond-AubryLuciana ArantesPierre SensComposition d'algorithmes d'exclusion mutuelle pour les grilles de calcul.
6ème Conférence Française sur les Systèmes d'Exploitation (CFSE'08), Chapitre français de l'ACM-SIGOPS, GDR ARP, Feb 2008, Fribourg, Suisse. 6ème Conférence Française sur les Systèmes d'Exploitation (CFSE'08), Chapitre français de l'ACM-SIGOPS, GDR ARP
hal-01273261v1  Communication dans un congrès
Ruijing HuJulien SopenaLuciana ArantesPierre SensIsabelle DemeureFair Comparison of Gossip Algorithms over Large-Scale Random Topologies
31th IEEE International Symposium on Reliable Distributed Systems (SRDS'12), Oct 2012, Irvine, California, United States. IEEE Computer Society Press, 31th IEEE International Symposium on Reliable Distributed Systems (SRDS'12), pp.331-340, <10.1109/SRDS.2012.28>
hal-00764951v1  Communication dans un congrès
Yousri KoukiThomas LedouxDamián SerranoSara BouchenakJonathan Lejeune et al.  SLA et qualité de service pour le Cloud Computing
Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11, 2013
  • 1
  • 2