Imagen de Portada

Interferences within a certifiable design methodology for high-performance multi-core platforms

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Khelassi, Mohamed Amine, Suchert, Felix, Amalou, Abderaouf, Lesage, Benjamin, Christmann, Anika, Hapka, Robin, Castrillon, Jeronimo, Asavoae, Mihail, Jan, Mathieu, Pagetti, Claire, Saidi, Selma
Formato:	Preprint
Publicado:	2026
Materias:	Distributed, Parallel, and Cluster Computing Operating Systems Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

COOK Access Control on an embedded Volta GPU
por: Lesage, Benjamin, et al.
Publicado: (2024)

Execution time budget assignment for mixed criticality systems
por: Khelassi, Mohamed Amine, et al.
Publicado: (2023)

Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML
por: Lesage, Benjamin, et al.
Publicado: (2024)

Implementation of airborne ML models with semantics preservation
por: Valot, Nicolas, et al.
Publicado: (2025)

Extension of ACETONE C code generator for multi-core architectures
por: Aït-Aïssa, Yanis, et al.
Publicado: (2026)

Summary Paper: Use Case on Building Collaborative Safe Autonomous Systems-A Robotdog for Guiding Visually Impaired People
por: Malhotra, Aman, et al.
Publicado: (2024)

NaviGNN: Multi-Agent Reinforcement Learning and Graph Neural Network for Sustainable Mobility in Futuristic Smart Cities
por: Bahi, Abderaouf, et al.
Publicado: (2025)

INTAMEL Working Party, Italy, 1972. Italian Studies
por: Pagetti, R., et al.
Publicado: (1973)

A methodology for the cross-dock door platforms design under uncertainty
por: Escudero, Laureano F., et al.
Publicado: (2024)

Convolutions Predictable Offloading to an Accelerator: Formalization and Optimization
por: Husson, Benjamin, et al.
Publicado: (2026)

Formal description of ML models for unambiguous implementation
por: Gauffriau, Adrien, et al.
Publicado: (2023)

Compilation and Execution of an Embeddable YOLO-NAS on the VTA
por: Faure-Gignoux, Anthony, et al.
Publicado: (2026)

Open-source Stand-Alone Versatile Tensor Accelerator
por: Faure-Gignoux, Anthony, et al.
Publicado: (2025)

FreeGNN: Continual Source-Free Graph Neural Network Adaptation for Renewable Energy Forecasting
por: Bahi, Abderaouf, et al.
Publicado: (2026)

Optimally Tuned Multiconfigurational Short-Range DFT for Linear Response Properties
por: Hapka, Michał, et al.
Publicado: (2026)

Dynamic electron correlation energy for multireference wavefunction methods from one- and two-electron reduced density matrices
por: Hapka, Michał, et al.
Publicado: (2026)

Benchmarking Deep Neural Networks for Modern Recommendation Systems
por: Bahi, Abderaouf, et al.
Publicado: (2025)

Certified geometric robustness -- Super-DeepG
por: Cohen, Noémie, et al.
Publicado: (2026)

Collaborative Trustworthiness for Good Decision Making in Autonomous Systems
por: Saidi, Selma, et al.
Publicado: (2025)

Mobiles Internet im Unternehmenskontext - Webtechnologien als technische Basis für Geschäftsanwendungen auf mobilen Endgeräten
por: Christmann, Stefan,
Publicado: (2016)

Mobiles Internet im Unternehmenskontext
por: Christmann, Stefan
Publicado: (2020)

Health: bioecological analysis of subjective well-being in teaching
por: Morgana Christmann
Publicado: (2021)

El traductor ideal: alguien que sabe traducir y sabe explicar. Entrevista a José Antonio Sabio Pinilla
por: Fernanda Christmann
Publicado: (2021)

A inerência do diagnóstico clínico na produção de (in)exclusão educacional
por: Morgana Christmann
Publicado: (2018)

A saúde do escolar cuidada por práticas governamentais: reflexos para a aprendizagem
por: Morgana Christmann
Publicado: (2015)

ASSOCIAÇÃO DE INDICADORES ANTROPOMÉTRICOS E PRESSÃO ARTERIAL COM A RELAÇÃO CINTURA/ ESTATURA EM ESCOLARES
por: Luiza Christmann
Publicado: (2016)

Fair Trade and Organizational Hibridism: reflecting on the organizational design of cooperatives certified by Fairtrade
por: Layon Carlos Cezar
Publicado: (2022)

MING: An Automated CNN-to-Edge MLIR HLS framework
por: Bi, Jiahong, et al.
Publicado: (2026)

Inverse design of Mie resonators with minimal backscattering
por: Igoshin, Vladimir, et al.
Publicado: (2024)

ElodieLesage/Cryolavasaurus: CRYOLAVASAURUS - Lesage et al., 2025
por: Elodie Lesage
Publicado: (2025)

ElodieLesage/Cryolavasaurus: Published version - Lesage et al., 2025
por: Elodie Lesage
Publicado: (2025)

First-Order Symmetry-Adapted Perturbation Theory with Double Exchange for Multireference Systems
por: Cieśliński, Dominik, et al.
Publicado: (2025)

A FORMAÇÃO AMBIENTAL NOS CURSOS DE LICENCIATURA: ENTRE A TRADIÇÃO E A INOVAÇÃO
por: Elisabeth Christmann Ramos
Publicado: (2013)

Ensaio clínico controlado e randomizado de terapia breve e intensiva com finger kazzo em professoras: estudo preliminar
por: Mara Keli Christmann
Publicado: (2017)

EDUCAÇÃO, MEIO AMBIENTE E CIDADANIA: O DISCURSO PEDAGÓGICO OFICIAL EM DISCUSSÃO
por: Elisabeth Christmann Ramos
Publicado: (2008)

Dynamiques de développement local et coordinations entre acteurs Entre capital social et proximités
por: Malika Hattab-Christmann
Publicado: (2007)

Certified ML Object Detection for Surveillance Missions
por: Belcaid, Mohammed, et al.
Publicado: (2024)

Mechanism design for coordinating vehicle-based mobile sensing tasks within the ride-hailing platform
por: Liu, Shenglin, et al.
Publicado: (2024)

CoMoNM: A Cost Modeling Framework for Compute-Near-Memory Systems
por: Farzaneh, Hamid, et al.
Publicado: (2025)

How to design a dataset compliant with an ML-based system ODD?
por: Cappi, Cyril, et al.
Publicado: (2024)