Search - LS2N - équipe STR Access content directly

Filter your results

13 Results
Deposit type : Notice

Overhead control heuristics in Boundary Fair real-time multiprocessor scheduling

Naeem M. Shehzad , Anne-Marie Déplanche , Yvon Trinquet
EUC 2017 - 15th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Jul 2017, Guangzhou, China
Conference papers hal-01708842v1

Synthèse de contraintes de conception à partir de réseaux de Petri temporels paramétrés

Louis-Marie Traonouez , David Delfieu , Olivier Henri Roux
6ieme Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'07), Oct 2007, Lyon, France
Conference papers hal-01112533v1

Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters

Thomas Brihaye , Benoit Delahaye , Loïg Jezequel , Nicolas Markey , Jiří Srba
Electronic Proceedings in Theoretical Computer Science, 220, 2016, ⟨10.4204/EPTCS.220⟩
Special issue hal-02942556v1

Minimizing the aperiodic responsiveness in Energy Harvesting Devices

Hussein El Ghor , M. Chetto , Rola El Osta
12th IEEE International Symposium on Industrial Embedded Systems, IEEE, Jun 2017, Toulouse, France
Conference papers hal-01558620v1

Real-Time Scheduling of aperiodic tasks in Energy Harvesting Devices

Rola El Osta , Maryline Chetto , Hussein El Ghor , Rafic Hage Chehade
International Conference on Sensors, smart and Emerging Technologies, Sep 2017, Beyrouth, Lebanon
Conference papers hal-01558622v1

Aperiodic Task Servicing in Real-Time Energy Harvesting Devices

Rola El Osta , Maryline Chetto , Hussein El Ghor
23th International Conference of Lebanese Association for the Advancement of Sciences (LAAS), Apr 2017, Beyrouth, Lebanon
Conference papers hal-01558625v1

Reducing the gap between theory and practice: towards a proven implementation of Global-EDF in Trampoline

Khaoula Boukir , Jean-Luc Béchennec , Anne-Marie Déplanche
JRWRTC 2017 - 11th Junior Researcher Workshop on Real-Time Computing, Oct 2017, Grenoble, France
Conference papers hal-01708851v1

WCET Analysis by Model Checking for a Processor with Dynamic Branch Prediction

Armel Mangean , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou
Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Aug 2017, Montréal, Canada. pp.64--78, ⟨10.1007/978-3-319-66176-6_5⟩
Conference papers hal-01713094v1

Formal Model-Based Synthesis of Application-Specific Static RTOS

Kabland Toussaint Gautier Tigori , Jean-Luc Béchennec , Sébastien Faucou , Olivier Henri Roux
ACM Transactions on Embedded Computing Systems (TECS), 2017, 16 (4), pp.1 - 25. ⟨10.1145/3015777⟩
Journal articles hal-01713063v1

Design and Analysis of two Stream Ciphers Based on Chaotic Coupling and Multiplexing techniques

Ons Jallouli , Safwan El Assad , Maryline Chetto , René Lozi
Multimedia Tools and Applications, 2017, 77 (11), pp.13391 - 13417
Journal articles hal-01534443v1

Design and Efficient Implementation of a Chaos-based Stream Cipher

Mohammad Abu Taha , Safwan El Assad , Audrey Queudet , Olivier Déforges
International Journal of Internet Technology and Secured Transactions, 2017, paper IJITST_161464
Journal articles hal-01444986v1

Systèmes temps réel autonomes en énergie - Tome 2

Maryline Chetto , Audrey Queudet
2017, 9781784052584
Books hal-01737714v1

Le modèle BGW pour les systèmes temps réel surchargés : Ordonnancement monoprocesseur

Mohamed Ould Sass
Systèmes embarqués. université de nantes, 2015. Français. ⟨NNT : ⟩
Theses tel-02943313v1