518 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Université Toulouse III - Paul SabatierFR332 papers
- Institut de Recherche en Informatique de ToulouseFR331 papers
- Université Toulouse - Jean JaurèsFR329 papers
- Institut Polytechnique de BordeauxFR326 papers
- Centre National de la Recherche ScientifiqueFR159 papers
- Université Fédérale de Toulouse Midi-PyrénéesFR78 papers
- Université de ToulouseFR51 papers
- Institut National Polytechnique de ToulouseFR43 papers
- Toulouse School of EconomicsFR31 papers
- École Nationale Supérieure d'Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des TélécommunicationsFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR16 papers
- Institut de Mathématiques de ToulouseFR15 papers
5 papers · 1 filter
Energy-Efficient and Thermal-Aware Resource Management for Heterogeneous Datacenters
Hongyang Sun, Patricia Stolf, Jean-Marc Pierson +1
We propose in this paper to study the energy-, thermal- and performance-aware resource management in heterogeneous datacenters. Witnessing the continuous development of heterogenei…
Cross-Layer Extended Persistent Timeout Policy for SCTP and DSDV
Mahmadou Issoufou Tiado, Riadh Dhaou, André-Luc Beylot
Cross layer techniques applied to various protocols stacks provide fair information sharing between OSI model layers. The performance gains have been demonstrated for many studied…
Hidden Stochastic Games and Limit Equilibrium Payoffs
Jérôme Renault, Bruno Ziliotto
We consider 2-player stochastic games with perfectly observed actions, and study the limit, as the discount factor goes to one, of the equilibrium payoffs set. In the usual setup w…
Correct-by-construction model composition: Application to the Invasive Software Composition method
Mounira Kezadri Hamiaz, Marc Pantel, Benoît Combemale +1
Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These ac…
Sign Language Lexical Recognition With Propositional Dynamic Logic
Arturo Curiel, Christophe Collet
This paper explores the use of Propositional Dynamic Logic (PDL) as a suitable formal framework for describing Sign Language (SL), the language of deaf people, in the context of na…