Search - Université Toulouse 1 Capitole Access content directly

Filter your results

680 Results
Domains :
Image document

Designing an energy efficient UAV tracking algorithm

Mouna Elloumi , Benoît Escrig , Riadh Dhaou , Hanen Idoudi , Leila Azzouz Saidane et al.
13th International Wireless Communications & Mobile Computing Conference, Workshop on Multihop Wireless Network Testbeds and Experiments (IWCMC 2017), Jun 2017, Valence, Spain. pp.127-132, ⟨10.1109/IWCMC.2017.7986274⟩
Conference papers hal-02871316v1
Image document

parMERASA Multi-Core Execution of Parallelised Hard Real-Time Applications Supporting Analysability

Theo Ungerer , Christian Bradatsch , Mike Gerdes , Florian Kluge , Ralf Jahr et al.
16th Euromicro Conference on Digital System Design (DSD 2013), Sep 2013, Santander, Spain. pp. 363-370
Conference papers hal-01231740v1
Image document

The W-SEPT Project: Towards Semantic-Aware WCET Estimation

Claire Maiza , Pascal Raymond , Catherine Parent-Vigouroux , Armelle Bonenfant , Fabienne Carrier et al.
17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017), Jun 2017, Dubrovnik, Croatia. pp.13, ⟨10.4230/OASIcs.WCET.2017.9⟩
Conference papers hal-01590442v1
Image document

Security Concepts as Add-On for Process Models

Jacob Geisel , Brahim Hamid , Jean-Michel Bruel
20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Gold Coast, Australia. pp. 190-193
Conference papers hal-01316833v1
Image document

A Card-less TEE-Based Solution for Trusted Access Control

Mohamed Amine Bouazzouni , Emmanuel Conchon , Fabrice Peyrard , Pierre-François Bonnefoi
SECRYPT 2017 : 14th : International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.456-461, ⟨10.5220/0006431704560461⟩
Conference papers hal-02769375v1
Image document

Trust management for public key infrastructures: implementing the X.509 trust broker

Ahmad Samer Wazan , Romain Laborde , David W. Chadwick , François Barrere , Abdelmalek Benzekri et al.
Security and Communication Networks, 2017, Vol. 2017 (ID 6907146), pp. 1-23. ⟨10.1155/2017/6907146⟩
Journal articles hal-01740029v1
Image document

Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation

Elodie Bouzekri , Alexandre Canny , Célia Martinie de Almeida , Philippe Palanque , Christine Gris et al.
5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩
Conference papers hal-02089260v1
Image document

Frequency Selection Approach for Energy Aware Cloud Database

Chaopeng Guo , Jean-Marc Pierson , Liu Hui , Jie Song
IEEE Access, 2018, 7 (1), pp.1927-1942. ⟨10.1109/ACCESS.2018.2885765⟩
Journal articles hal-02092942v1
Image document

Experience in Learning Test-driven Development: Space Invaders Project-driven

Isabelle Blasquez , Hervé Leblanc
23rd ACM Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2018), Jul 2018, Larcana, Cyprus. pp.111-116
Conference papers hal-03619924v1
Image document

Mastering system and power measures for servers in datacenter

Georges da Costa , Jean-Marc Pierson , Leandro Fontoura Cupertino
Sustainable Computing : Informatics and Systems, 2017, vol. 15, pp. 28-38. ⟨10.1016/j.suscom.2017.05.003⟩
Journal articles hal-01873703v1
Image document

Engineering for User Experience: An Interactive TV Case Study

Michael Pirker , Regina Bernhaupt , François Manciet
IFIP TC 13.2. Workshop on UX Engineering at 15th IFIP TC 13 International Conference (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.1-6
Conference papers hal-02864411v1
Image document

Les compétences pour fédérer formations, métiers et apprenants : une approche dirigée par les modèles

Rémi Venant , Cédric Teyssié , Daniel Marquié , Philippe Vidal , Julien Broisin et al.
7eme edition de la Conference sur les Environnements Informatique pour l'Apprentissage Humain (EIAH 2015), Jun 2015, Agadir, Morocco. pp. 336-347
Conference papers hal-03662708v1
Image document

End-to-end latency and temporal consistency analysis in networked real-time systems

Michaël Lauer , Frédéric Boniol , Claire Pagetti , Jérôme Ermont
International Journal of Critical Computer-Based Systems, 2014, vol. 5 (n° 3/4), pp. 172-196. ⟨10.1504/IJCCBS.2014.064667⟩
Journal articles hal-01154189v1
Image document

Run-time Monitoring and Control for Temporal Fault Prevention in Mixed-criticality Systems

Daniel Loche , Aléxis Génèrès , Michaël Lauer , Jean-Charles Fabre
European Dependable Computing Conference (EDCC 2021), Intel; Fraunhofer IKS; LAAS, Sep 2021, Munich (virtual), Germany. pp.53-60, ⟨10.1109/EDCC53658.2021.00015⟩
Conference papers hal-03275605v1
Image document

An abstraction model and a comparative analysis of Intel and ARM hardware isolation mechanisms

Guillaume Averlant , Benoît Morgan , Eric Alata , Vincent Nicomette , Mohamed Kaâniche et al.
The 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017), Jan 2017, Christchurch, New Zealand
Conference papers hal-01493597v1
Image document

Rule-level verification of graph transformations for invariants based on edges' transitive closure

Christian Percebois , Martin Strecker , Hanh Nhi Tran
11th International Conference Software Engineering and Formal Methods (SEFM 2013), Sep 2013, Madrid, Spain. pp. 106-121
Conference papers hal-01178554v1
Image document

A Mechanized Semantic Framework for Real-Time Systems

Manuel Garnacho , Jean-Paul Bodeveix , M Filali
11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp.106-120, ⟨10.1007/978-3-642-40229-6_8⟩
Conference papers hal-01231769v1
Image document

Efficient Floating-Point Implementation of the Probit Function on FPGAs

Mioara Joldeş , Bogdan Pasca
Journal of Signal Processing Systems, 2021, 93 (12), pp.1387-1403
Journal articles hal-03385845v1
Image document

Data Cache Analysis by Counting Integer Points

Pascal Sotin , Quentin Vermande , Hugues Cassé
29th International Conference on Real-Time Networks and Systems (RTNS 2021), Apr 2021, Nantes, France. pp.112-122, ⟨10.1145/3453417.3453424⟩
Conference papers hal-03667386v1
Image document

Synchronizing Tiny Sensors with SISP: a Convergence Study

Oana Andreea Hotescu , Katia Jaffrès-Runser , Adrien van den Bossche , Thierry Val
MSWiM '17: 20th ACM Int'l Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems, Nov 2017, Miami, United States. pp.279-287
Conference papers hal-03624144v1
Image document

Event algebra for transition systems composition Application to timed automata

Elie Fares , Jean-Paul Bodeveix , M Filali
Acta Informatica, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩
Journal articles hal-02538359v1
Image document

Seamless Integration of Multirequirements in Complex Systems

Florian Galinier , Jean-Michel Bruel , Sophie Ebersold , Bertrand Meyer
25th International Requirements Engineering Conference Workshops (REW 2017), Sep 2017, Lisbon, Portugal. pp.1
Conference papers hal-03656674v1
Image document

A Precondition Calculus for Correct-by-Construction Graph Transformations

Amani Makhlouf , Christian Percebois , Hanh Nhi Tran
Twelfth International Conference on Software Engineering Advances (ICSEA 2017), Oct 2017, Athens, Greece. pp.172-177
Conference papers hal-03656662v1
Image document

Effectiveness of neural networks for power modeling for Cloud and HPC: It's worth it!

Georges da Costa , Jean-Marc Pierson , Leandro Fontoura Cupertino
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2020, 5 (3), pp.12:1-12:36. ⟨10.1145/3388322⟩
Journal articles hal-02950809v1
Image document

An MDE Approach for Domain based Architectural Components Modelling.

Rahma Bouaziz
IEEE International Symposium on Computers and Communications - ISCC, Jul 2013, Split, Croatia. pp. 1-7
Conference papers hal-01150333v1
Image document

Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems

Brahim Hamid , Sigrid Gürgens , Andreas Fuchs
Innovations in Systems and Software Engineering, 2016, vol. 12 (n° 2), pp. 109-140. ⟨10.1007/s11334-015-0259-1⟩
Journal articles hal-01592038v1
Image document

Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering

Brahim Hamid
International Conference On Model and Data Engineering (MEDI 2017), Oct 2017, Barcelona, Spain. pp.111-125
Conference papers hal-02348212v1
Image document

Büchi Automata Optimisations Formalised in Isabelle/HOL

Alexander Schimpf , Jan-Georg Smaus
6th Indian Conference on Logics and its Applications (ICLA 2015), Jan 2015, Mumbai, India. pp.158-169, ⟨10.1007/978-3-662-45824-2_11⟩
Conference papers hal-01782564v1
Image document

Towards a generic power estimator

Leandro Fontoura Cupertino , Georges da Costa , Jean-Marc Pierson
Computer Science - Research and Development, 2014, en ligne, pp. 1-9. ⟨10.1007/s00450-014-0264-x⟩
Journal articles hal-01156610v1
Image document

On Processing Extreme Data

Dana Petcu , Gabriel Iuhasz , Daniel Pop , Domenico Talia , Jesus Carretero et al.
Scalable computing : Practice and Experience, 2016, vol. 16 (n° 4), pp. 467-489. ⟨10.12694/scpe.v16i4.1134⟩
Journal articles hal-01524718v1