Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

40 résultats
Page :
triés par

Modeling Parallel Real-time Tasks with Di-Graphs

 Houssam Eddine Zahaf , Abou El Hassan Benyamina , Richard Olejnik , Giuseppe Lipari , Pierre Boulet
RTNS '16 - Proceedings of the 24th International Conference on Real-Time Networks and Systems , Oct 2016, Brest, France. pp.349-358, ⟨10.1145/2997465.2997475⟩
Communication dans un congrès hal-01393159v1
Image document

Energy-aware Real-Time Task Decomposition for partionned-EDF Scheduling on Multi-core Uniform Architectures

 Houssam-Eddine Zahaf , Richard Olejnik , El Hassen Benyamina , Giuseppe Lipari
2015
Pré-publication, Document de travail hal-01242693v2
Image document

A C-DAG task model for scheduling complex real-time tasks on heterogeneous platforms: preemption matters

 Houssam-Eddine Zahaf , Nicola Capodieci , Roberto Cavicchioli , Marko Bertogna , Giuseppe Lipari
2019
Pré-publication, Document de travail hal-01971594v1
Image document

Allocation of Real-Time Tasks onto Identical Core Platforms under Deferred fixed Preemption-Point Model

 Ikram Senoussaoui , Houssam-Eddine Zahaf , Mohammed Kamel Benhaoua , Giuseppe Lipari , Richard Olejnik
RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.34-43, ⟨10.1145/3394810.3394821⟩
Communication dans un congrès hal-02886816v1
Image document

Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations

 Antonio Mancin , Giuseppe Lipari , Jorrit N. Herder , Ben Gras , Andrew S. Tanenbaum
16th International Conference on Real-Time and Network Systems (RTNS 2008), Isabelle Puaut, Oct 2008, Rennes, France
Communication dans un congrès inria-00336445v1

SysRT: A modular multiprocessor RTOS simulator for early design space exploration

 Jun Xiao , Andy Pimentel , Giuseppe Lipari
2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Jul 2017, Pythagorion, Greece. pp.38-45
Communication dans un congrès hal-02001391v1

Toward Precise Real-Time Scheduling on NVidia GPUs

 Feddal Nordine , Houssam-Eddine Zahaf , Giuseppe Lipari
15th Junior Researcher Workshop on Real-Time Computing 2022, Jun 2022, Paris, France
Communication dans un congrès hal-03834181v1

Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)

 Smail Niar , Mazen Saghir , Giuseppe Lipari , Özcan Özturk
2018
Ouvrages hal-03403076v1
Image document

Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision

 Giuseppe Lipari , Fabien Bouquillon , Smail Niar
The 37th ACM/SIGAPP Symposium On Applied Computing, Apr 2022, Brno, Czech Republic. ⟨10.1145/3477314.3507027⟩
Communication dans un congrès hal-03531143v1
Image document

A Bandwidth Reservation Mechanism for AXI-based Hardware Accelerators on FPGAs

 Marco Pagani , Enrico Rossi , Alessandro Biondi , Mauro Marinoni , Giuseppe Lipari , et al.
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.14⟩
Communication dans un congrès hal-02407835v1
Image document

A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling

 Youcheng Sun , Giuseppe Lipari
Real-Time Systems, 2015, ⟨10.1007/s11241-015-9245-9⟩
Article dans une revue hal-01240599v1
Image document

New challenges in adaptive real-time systems with parametric WCET

 Clément Ballabriga , Julien Forget , Sandro Grebant , Giuseppe Lipari
RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar, Jul 2023, Vienne, Austria
Communication dans un congrès hal-04197411v1
Image document

Toward memory-centric scheduling for PREM task on multicore platforms, when processor assignments are specified

 Ikram Senoussaoui , Mohammed Kamel Benhaoua , Houssam-Eddine Zahaf , Giuseppe Lipari
EDiS 2022 - 3rd International Conference on Embedded & Distributed Systems, Nov 2022, Oran, France. pp.11-15, ⟨10.1109/EDiS57230.2022.9996534⟩
Communication dans un congrès hal-03938665v1

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⟩
Article dans une revue hal-02961516v1
Image document

Symbolic WCET Computation

 Clément Ballabriga , Julien Forget , Giuseppe Lipari
ACM Transactions on Embedded Computing Systems (TECS), 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩
Article dans une revue hal-01665076v1
Image document

Preemption-Aware Allocation and Deadline Assignment for Conditional DAGs on Partitioned EDF

 Houssam Eddine Zahaf , Giuseppe Lipari , Smail Niar
The 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2020, Seoul, South Korea. ⟨10.4230/LIPIcs.Pre⟩
Communication dans un congrès hal-02077110v1
Image document

PRUDA: An API for Time and Space Predictible Programming in NVDIA GPUs using CUDA

 Reyyan Tekin , Houssam-Eddine Zahaf , Giuseppe Lipari
Junior Workshop: JRWRTC - Real-Time Networks and Systems 2019, Nov 2019, Toulouse, France
Communication dans un congrès hal-02408660v1
Image document

Static Analysis Of Binary Code With Memory Indirections Using Polyhedra

 Clément Ballabriga , Julien Forget , Laure Gonnord , Giuseppe Lipari , Jordy Ruiz
VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
Communication dans un congrès hal-01939659v1
Image document

Memory-processor co-scheduling for real-time tasks on network-on-chip manycore architectures

 Chawki Benchehida , Mohammed Kamel Benhaoua , Houssam Zahaf , Giuseppe Lipari
International Journal of High Performance Systems Architecture (IJHPSA), 2022, 11 (1), pp.1-11. ⟨10.1504/IJHPSA.2022.121877⟩
Article dans une revue hal-03595577v1
Image document

Reducing the fault vulnerability of hard real-time systems

 Fabien Bouquillon , Smail Niar , Giuseppe Lipari
Journal of Systems Architecture, 2022, 133, pp.102758. ⟨10.1016/j.sysarc.2022.102758⟩
Article dans une revue hal-03842393v1

Towards Probabilistic Modeling and Analysis of Real-Time Systems

 Laura Carnevali , Luca Santinelli , Giuseppe Lipari
European Workshop on Performance Engineering, Oct 2018, Paris, France. pp.157-172
Communication dans un congrès hal-02001319v1
Image document

WCET analysis with procedure arguments as parameters

 Sandro Grebant , Clément Ballabriga , Julien Forget , Giuseppe Lipari
RTNS 2023: The 31st International Conference on Real-Time Networks and Systems, Jun 2023, Dortmund, Germany. pp.11-22, ⟨10.1145/3575757.3593655⟩
Communication dans un congrès hal-04118213v1
Image document

Task and Communication Allocation for Real-time Tasks to Networks-on-Chip Multiprocessors

 Chawki Benchehida , Mohammed Kamel Benhaoua , Houssam-Eddine Zahaf , Giuseppe Lipari
Second international conference on Embedded & Distributed Systems (EDiS’2020), Apr 2020, Oran, Algeria
Communication dans un congrès hal-02882911v1
Image document

Measurement-based Methodology for Modeling the Energy Consumption of Mobile Devices

 Khalil Ibrahim Hamzaoui , Mohammed Berrajaa , Mostafa Azizi , Giuseppe Lipari , Pierre Boulet
International Journal of Reasoning-based Intelligent Systems, In press
Article dans une revue hal-02243352v1
Image document

Reachability Preservation Based Parameter Synthesis for Timed Automata

 Étienne André , Giuseppe Lipari , Hoàng Gia Nguyễn , Youcheng Sun
NFM '15, Apr 2015, Pasadena, California, United States
Communication dans un congrès hal-01121214v1
Image document

Parametric WCET as a function of procedure arguments: analysis and applications

 Sandro Grebant , Clément Ballabriga , Julien Forget , Giuseppe Lipari
Journal of Systems Architecture, 2024, 148, ⟨10.1016/j.sysarc.2024.103086⟩
Article dans une revue hal-04433439v2

The Parallel Multi-Mode Digraph Task Model for Energy-Aware Real-Time Heterogeneous Multi-Core Systems

 Houssam-Eddine Zahaf , Giuseppe Lipari , Marko Bertogna , Pierre Boulet
IEEE Transactions on Computers, 2019, 68 (10), pp.1511-1524. ⟨10.1109/TC.2019.2909886⟩
Article dans une revue hal-02407176v1
Image document

Context-sensitive Parametric WCET Analysis

 Clément Ballabriga , Julien Forget , Giuseppe Lipari
15th International Workshop on Worst-Case Execution Time Analysis, Dec 2015, Lund Sweden. ⟨10.4230/OASIcs.WCET.2015.55⟩
Communication dans un congrès hal-01239158v1
Image document

Modelling the Energy Consumption of Soft Real-Time Tasks on Heterogeneous Computing Architectures

 Houssam Eddine Zahaf , Richard Olejnik , Giuseppe Lipari , Abou El Hassen Benyamina
Energy Efficiency with Heterogenous Computing, Jan 2016, prague, Czech Republic
Communication dans un congrès hal-01242681v1
Image document

Real-time Communications in On-Chip Networks

 Chawki Benchehida , Mohammed Kamel Benhaoua , Houssam-Eddine Zahaf , Giuseppe Lipari
the 12th Junior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France
Communication dans un congrès hal-02882913v1
Page :