E-LIB Suche - Ergebnisse für: Natale, Marco

1

Multi-criteria Optimization of Real-time DAGs on Heterogene..:

Cucinotta, Tommaso ; Amory, Alexandre ; Ara, Gabriele..
ACM Transactions on Embedded Computing Systems. 23 (2024) 1 - p. 1-35 , 2024

Link: https://doi.org/10.1145/..

2

EVA: a Tool for the Compositional Verification of AUTOSAR M..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Cimatti, Alessandro ; Cristoforetti, Luca ; Griggio, Alberto... - p. 3-10 , 2023

Link: https://doi.org/10.1007/..

3

Optimizing Inter-Core Communications Under the LET Paradigm..:

Pazzaglia, Paolo ; Casini, Daniel ; Biondi, Alessandro.
IEEE Transactions on Computers. 72 (2023) 1 - p. 127-139 , 2023

Link: https://doi.org/10.1109/..

4

Task and Memory Mapping of Large Size Embedded Applications..:

, In: Proceedings of the 31st International Conference on Real-Time Networks and Systems,

Druetto, Alessandro ; Bini, Enrico ; Grosso, Andrea... - p. 166-176 , 2023

Link: https://dl.acm.org/doi/1..

5

A comprehensive framework for the analysis of automotive sy..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,

Cimatti, Alessandro ; Corfini, Sara ; Cristoforetti, Luca... - p. 379-389 , 2022

Link: https://dl.acm.org/doi/1..

6

Optimized partitioning and priority assignment of real-time..:

Casini, Daniel ; Pazzaglia, Paolo ; Biondi, Alessandro.
Journal of Systems Architecture. 124 (2022) - p. 102416 , 2022

Link: https://doi.org/10.1016/..

7

On timing in technical safety requirements for mixed-critic..:

Möstl, Mischa , 2021

Link: https://nbn-resolving.de..

8

Predictable memory-CPU co-scheduling with support for laten..:

, In: Proceedings of the 57th ACM/EDAC/IEEE Design Automation Conference,

Casini, Daniel ; Pazzaglia, Paolo ; Biondi, Alessandro.. - p. 1-6 , 2020

Link: https://dl.acm.org/doi/1..

9

Predictable Memory-CPU Co-Scheduling with Support for Laten..:

, In: 2020 57th ACM/IEEE Design Automation Conference (DAC),

Casini, Daniel ; Pazzaglia, Paolo ; Biondi, Alessandro.. - p. 1-6 , 2020

Link: https://doi.org/10.1109/..

10

Generalized Weakly Hard Schedulability Analysis for Real-Ti..:

Pazzaglia, Paolo ; Sun, Youcheng ; Natale, Marco Di
ACM Transactions on Embedded Computing Systems. 20 (2020) 1 - p. 1-26 , 2020

Link: https://doi.org/10.1145/..

11

Session details: Theme: System software and security: EMBS ..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,

Natale, Marco Di ; Chang, Li-Pin , 2020

Link: https://dl.acm.org/doi/1..

12

Introduction to the special issues on embedded systems in a..:

Di Natale, Marco ; Chang, Li-Pin ; Chen, Ya-Shu
Journal of Systems Architecture. 109 (2020) - p. 101763 , 2020

Link: https://doi.org/10.1016/..

13

Generalized Weakly Hard Schedulability Analysis for Real-Ti..:

Pazzaglia, Paolo ; Sun, Youcheng ; Natale, Marco Di
ACM Transactions on Embedded Computing Systems (TECS). 20 (2020) 1 - p. 1-26 , 2020

Link: https://dl.acm.org/doi/1..

14

Deadline miss models for temporarily overloaded systems:

Hammadeh, Zain Alabedin Haj , 2019

Link: https://nbn-resolving.de..

15

Partitioning and Selection of Data Consistency Mechanisms f..:

Al-bayati, Zaid ; Sun, Youcheng ; Zeng, Haibo...
ACM Transactions on Embedded Computing Systems. 18 (2019) 4 - p. 1-28 , 2019

Link: https://doi.org/10.1145/..