Recherche - INSA Toulouse - Institut National des Sciences Appliquées de Toulouse Accéder directement au contenu

Filtrer vos résultats

176 résultats
Image document

A Flexible WCET Analysis Method for Safety-Critical Real-Time System using UML-MARTE Model Checker

Ning Ge , Marc Pantel , Bernard Berthomieu
2016
Pré-publication, Document de travail hal-01399626v1

La Maison Intelligente de Blagnac : une infrastructure de conception pour l'étude des relations des habitants aux technologies connectées

Adrien van den Bossche , Damien Brulin , Eric Campo , Elizabeth Bougeois , Jenny Duchier , et al.
Semin-HUT2018 : Une maison intelligente pour quoi faire ?, Jan 2018, Montpellier, France
Communication dans un congrès hal-02982555v1
Image document

Etude de l'ACcessibilité de l'interaction dans une Maison Intelligente par des personnes fragilisées pour une meilleure autonomie à domicile

Frédéric Vella , Nadine Vigouroux , Adrien van den Bossche , Eric Campo , Blandine Boudet , et al.
33emes Journées Annuelles de la Société Française de Gériatrie et Gérontologie (JASFGG 2013), Oct 2013, Paris, France. pp.174-179
Communication dans un congrès hal-01240697v1

Holocene REVEALS pollen-based and-cover reconstructions in Europe exploring dynamics in diversity and resilience gives new insights into recent destabilization and homogenization

Maria Antonia Serge , Caterina Rohm , Ralf Fyfe , Didier Galop , Thierry Klein , et al.
INQUA 2023, Jul 2023, Rome (Italie), Italy
Communication dans un congrès hal-04228157v1
Image document

Forum Jeunes Chercheurs à Inforsid 2014

Guillaume Cabanac , Amira Derradji , Ali Jaffal , Jonathan Louëdec , Gloria Elena Jaramillo Rojas
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, Forum Jeunes Chercheurs à Inforsid 2014, 25, pp.119-143. ⟨10.3166/isi.20.2.119-143⟩
Article dans une revue hal-01160398v2
Image document

Vers des supports pédagogiques pour éclairer le lien entre SI et fonctionnement des organisations

Raphaëlle Bour , Laurent Cloarec , Gabriel Colletis , Etienne Fieux , Anne Isla , et al.
Atelier SI, SAD et démocratie - 36ème congrès INFORSID 2018, May 2018, Nantes, France. pp.1-11
Communication dans un congrès hal-03649185v2

Firefighting on Trees

Pierre Coupechoux , Marc Demange , David Ellison , Bertrand Jouve
Theoretical Computer Science, 2019, 794, pp.69-84. ⟨10.1016/j.tcs.2019.01.040⟩
Article dans une revue hal-02020751v1

Scheduling of multi-class multi-server queueing systems with abandonments

Urtzi Ayesta , Peter Jacko , Vladimir Novak
Journal of Scheduling, 2017, 20 (2), pp.129--145. ⟨10.1007/s10951-015-0456-7⟩
Article dans une revue hal-03120271v1
Image document

A co-simulation framework interoperability for Neo-campus project

Yassine Motie , Alexandre Nketsa , Philippe Truillet
ESM 2017 31st European Simulation and Modelling Conference, Oct 2017, Lisbon, Portugal. 7p
Communication dans un congrès hal-01614348v1

« Des serious games à la gamification Approches critiques des disséminations vidéoludiques »

Pierre Lagarrigue , Catherine Pons Lelardeux
Interfaces numériques, pp.379-382, 2014, Volume 3, n° 3/2014, ISBN : 978-2-7430-2012-5
Chapitre d'ouvrage hal-02151982v1
Image document

Autonomy through knowledge: how IoT-O supports the management of a connected apartment

Nicolas Seydoux , Khalil Drira , Nathalie Jane Hernandez , Thierry Monteil
Semantic Web Technologies for the Internet of Things (SWIT), Nov 2016, Kobe, Japan
Communication dans un congrès hal-01467861v1
Image document

Enhanced Graph Rewriting Systems for Complex Software Domain

Cédric Eichler , Thierry Monteil , Patricia Stolf , Luigi Alfredo Grieco , Khalil Drira
Software and Systems Modeling, 2016, 15 (3), pp.685-705. ⟨10.1007/s10270-014-0433-1⟩
Article dans une revue hal-01057731v1
Image document

A Discrete Particle Swarm Optimization approach for Energy-efficient IoT services placement over Fog infrastructures

Tanissia Djemai , Patricia Stolf , Thierry Monteil , Jean-Marc Pierson
18th International Symposium On Parallel and Distributed Computing (ISPDC 2019), Jun 2019, Amsterdam, Netherlands. pp.32-40, ⟨10.1109/ISPDC.2019.00020⟩
Communication dans un congrès hal-02884931v1

Usage pluridisciplinaire de la plate-forme Maison Intelligente de Blagnac

Elizabeth Bougeois , Eric Campo , Adriana Soveja , Patricia Stolf , Thierry Val , et al.
Congrès National de la Recherche des IUT (CNRIUT 2016), Jun 2016, Nantes, France
Communication dans un congrès hal-03155060v1
Image document

Dynamic fluid-based scheduling in a multi-class abandonment queue

Maialen Larrañaga , Urtzi Ayesta , Ina Maria Maaike Verloop
Performance Evaluation, 2013, vol. 70 (n° 10), pp. 841-858. ⟨10.1016/j.peva.2013.08.009⟩
Article dans une revue hal-01130331v1
Image document

Scheduling in a random environment: stability and asymptotic optimality

Urtzi Ayesta , Martin Erausquin , Matthieu Jonckheere , Ina Maria Maaike Verloop
IEEE/ACM Transactions on Networking, 2013, vol. 21 (n° 1), pp. 258-271. ⟨10.1109/TNET.2012.2199764⟩
Article dans une revue hal-01121985v1
Image document

Audio-Video detection of the active speaker in meetings

Jorge Francisco Madrigal Diaz , Frédéric Lerasle , Lionel Pibre , Isabelle Ferrané
IEEE 25th International Conference on Pattern Recognition (ICPR 2020), IAPR : International Association of Pattern Recognition, Jan 2021, Milan (virtual), Italy. ⟨10.1109/ICPR48806.2021.9412681⟩
Communication dans un congrès hal-03125600v1
Image document

Adopting a model-based approach for satellite operations' diagnosis

Nikolena Christofi , Claude Baron , X Pucel , Marc Pantel , M Machin , et al.
13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco
Communication dans un congrès hal-02946817v1
Image document

Formal Verification of User-Level Real-Time Property Patterns

Ning Ge , Marc Pantel , Silvano Dal Zilio
11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia Antipolis, France. 8p
Communication dans un congrès hal-01589479v1
Image document

Solving Language Equations Using Flanked Automata

Florent Avellaneda , Silvano Dal Zilio , Jean-Baptiste Raclet
ATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 - 121, ⟨10.1007/978-3-319-46520-3_7⟩
Communication dans un congrès hal-01202702v2
Image document

Frequency assignment in a SDMA satellite communication system with beam decentring feature

Kata Kiatmanaroj , Christian Artigues , Laurent Houssin , Frédéric Messine
Computational Optimization and Applications, 2013, 56 (2), pp.439-455. ⟨10.1007/s10589-013-9557-4⟩
Article dans une revue hal-00862343v1

An adaptive duty-cycle mechanism for energy efficient wireless sensor networks, based on information centric networking design

Ghada Jaber , Rahim Kacimi , Luigi Alfredo Grieco , Thierry Gayraud
Wireless Networks, 2020, 26 (2), pp.791-805. ⟨10.1007/s11276-018-1823-z⟩
Article dans une revue hal-02930196v1
Image document

Uncertainty propagation in multi-agent systems for multidisciplinary optimization problems

Laure Jaeger , Tom Jorquera , Sylvain Lemouzy , Christian Gogu , Stéphane Segonds , et al.
10th World Congress on Structural and Multidisciplinary Optimization (WCSMO 10), May 2013, Orlando, Florida, United States. pp. 1-10
Communication dans un congrès hal-01217218v1

Causality put to the test of the big data movement: a communicational approach

Anja Martin-Scholz , Nicolas Savy , Anne Mayère , François Lambotte
Journées du club SMAC – Statistics, Philosophy and Health, Jun 2021, Toulouse, France
Communication dans un congrès hal-03352315v1

Évaluer l’impact d’un système numérique sur le niveau de démocratie d’une organisation. Proposition de méthode

Maryse Salles , Raphaëlle Bour , Gabriel Colletis , Lycette Corbion-Condé , Étienne Fieux , et al.
Socio-anthropologie, 2023, 47 : Numérique au travail, un moment politique ?, pp.159-176. ⟨10.4000/socio-anthropologie.13530⟩
Article dans une revue hal-04143313v1

Evaluation de la voix avant/après suivi orthophonique - à propos de la méthodologie d'évaluation et de la fiabilité des mesures chiffrées (XVIIes Rencontres internationales d'orthophonie, 2017)

Etienne Sicard , Anne Menin-Sicard , Marie Daumet , Stéphanie Perrière , Océane Barbera
XVIIèmes Rencontres internationales d'orthophonie 2017 : Efficacité des thérapies, UNADRÉO : société savante de recherche en orthophonie, Dec 2017, Paris, France
Communication dans un congrès hal-03131876v1
Image document

Communication and knowledge sharing in immersive learning games.

David Panzoli , Catherine Pons Lelardeux , Pierre Lagarrigue
7th International Conference on Games and Virtual Worlds for Serious Applications (VS-Games 2015), Sep 2015, Skövde, Sweden. pp.1-8
Communication dans un congrès hal-02651338v1
Image document

MIOZ : a Wizard of Oz platform to design ambient technologies

Nadine Vigouroux , Adrien van den Bossche , Frédéric Vella , Eric Campo
Journées RITS 2015, Mar 2015, Dourdan, France. pp 168-169
Communication dans un congrès inserm-01155327v1
Image document

Online Audiovisual Signature Training for Person Re-identification

François-Xavier Decroix , Frédéric Lerasle , Julien Pinquier , Isabelle Ferrané
10th International Conference on Distributed Smart Camera (ICDSC2016), Sep 2016, Paris, France. pp.62-68, ⟨10.1145/2967413.2967429⟩
Communication dans un congrès hal-01800283v1
Image document

Simulation énergétique de tâches distribuées avec changements dynamiques de fréquence

Tom Guérout , Thierry Monteil , Georges da Costa , Mihai Alexandru
Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS 2013), Jan 2013, Grenoble, France. 8p
Communication dans un congrès hal-01228319v1