Search - LS2N - équipe STR Access content directly

Filter your results

11 Results
Deposit type : Notice

Distributed computation of vector clocks in Petri net unfoldings for test selection

Loïg Jezequel , Agnes Madalinski , Stefan Schwoon
Discrete Event Dynamic Systems, 2020, ⟨10.1007/s10626-020-00310-4⟩
Journal articles hal-02560296v1

EDF-based real-time scheduling for self-powered sensors: a survey of main theoretical results

Maryline Chetto , Audrey Queudet
2020 International Conference on Intelligent Systems and Computer Vision (ISCV), Jun 2020, Fez, Morocco. pp.1-7, ⟨10.1109/ISCV49265.2020.9204172⟩
Conference papers hal-02948028v1

Optimisation holistique pour la configuration d’une architecture logicielle embarquée : application au standard AUTOSAR

Fouad Khenfri
Systèmes embarqués. UNiversité de Nantes, 2020. Français. ⟨NNT : ⟩
Theses tel-02943311v1

Optimal Slack Stealing Servicing for Real-Time Energy Harvesting Systems

Rola El Osta , Maryline Chetto , Hussein El Ghor
The Computer Journal, 2020, ⟨10.1093/comjnl/bxaa047⟩
Journal articles hal-02899452v1

Sistemas de tiempo real autónomos en energı́a

Maryline Chetto , Audrey Queudet
2020, 9781800280243
Books hal-03221519v1

Energy-aware Aperiodic Task Servers for Firm Real-time Energy harvesting Systems

Audrey Queudet , Maryline Chetto
IEEE International Conference on Green Computing and Communications, Nov 2020, Rhodes Island, Greece
Conference papers hal-02940294v1

Scheduling mixed task sets in energy harvesting embedded systems

Rola El Osta , Hussein El Ghor , Maryline Chetto
First IEEE International Conference on Emerging Frontiers in Electrical and Electronic Technologies, Jul 2020, Patna, India
Conference papers hal-02947880v1

Language Preservation Problems in Parametric Timed Automata

Étienne André , Didier Lime , Nicolas Markey
Logical Methods in Computer Science, 2020, 16 (1), ⟨10.23638/LMCS-16⟩
Journal articles hal-02498022v1

The HPC-DAG Task Model for Heterogeneous Real-Time Systems

Houssam-Eddine Zahaf , Zahaf Houssam-Eddine , Nicola Capodieci , Roberto Cavicchioli , Giuseppe Lipari , et al.
IEEE Transactions on Computers, 2020, pp.1-1. ⟨10.1109/TC.2020.3023169⟩
Journal articles hal-02961516v1

Energy management and real-time scheduling for the Internet of Things

Maryline Chetto , Rola El Osta , Hussein El Ghor
Scholar's Press, pp.164, 2020, 978-613-8-92871-3
Books hal-02876745v1

EDF-based real-time scheduling for self-powered sensors : a survey of main theoretical results

Maryline Chetto , Audrey Queudet
IEEE International Conference on Intelligent Systems and Computer Vision, Jun 2020, Fez, Morocco
Conference papers hal-02940328v1