axe_SharedResources

info dans groupe team

info articles lies mot

Articles

Members

Wednesday 22 April 2009 by jahier

[Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences

Tuesday 30 June 2026 by Claire Maiza

by kinds

Wednesday 7 October 2009 by jahier

Partners

Tuesday 23 December 2008 by Florence Maraninchi

CAOTIC: Collaborative Action on Timing Interferences

Wednesday 30 September 2026 by Claire Maiza

CAPITAL Workshop - sCalable And PrecIse Timing AnaLysis for multicore platforms

Saturday 5 June 2021 by Claire Maiza

Coopération Argosim

Tuesday 6 February 2029 by jahier

ESTATE

Friday 31 December 2021 by stef

HELP

Sunday 30 June 2013 by Florence Maraninchi

KALRAY

Saturday 31 December 2022 by raymond

KALRAY-CompCert

Tuesday 6 July 2021 by monniaux, boulme

Karine Altisen’s Publications

Monday 9 July 2012 by karine

Lustre V6

Wednesday 15 July 2009 by jahier

Matheus Schuh

Tuesday 2 August 2022 by jahier

Multi-core interference Analysis

Tuesday 30 January 2018 by Claire Maiza

OpenES

Friday 30 September 2016 by Florence Maraninchi

openTLM

Friday 24 December 2010

Oussama OULKAID

Thursday 26 October 2023 by Bruno Ferres

PADEC

Friday 1 January 2016 by Devismes, karine

RDBG

Wednesday 19 March 2014 by jahier

SASA

Monday 3 February 2020 by jahier

STMicroelectronics

Tuesday 31 October 2017 by moy

STMicroelectronics

Monday 31 January 2022 by Florence Maraninchi

the Chamois CompCert Compiler

Tuesday 20 October 2020 by boulme, monniaux

W-SEPT

Saturday 31 December 2016 by raymond, Claire Maiza

Workshop CAPITAL 2022: sCalable And PrecIse Timing AnaLysis for multicore platforms

Saturday 4 June 2022 by Claire Maiza

Workshop on Timing Anomalies

Monday 15 November 2021 by Claire Maiza

[Funded PhD] Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level

Friday 6 June 2025 by Bruno Ferres

[Funded PhD] Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level

Friday 6 June 2025 by Bruno Ferres

[master/PhD] Static analysis of “pseudo-LRU” caches

Wednesday 15 November 2023 by monniaux

[Master] Analyzing fault parameters triggering timing anomalies

Friday 31 May 2024 by Lionel Rieg

[Master] Cache analysis

Sunday 30 October 2022 by Claire Maiza

[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq

Monday 30 October 2023 by Devismes

[Master] Exploration by model-checking of timing anomaly cancellation in a processor

Friday 31 May 2024 by Lionel Rieg

[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks

Thursday 12 October 2023 by karine

[Master] Multi-core Interference analysis and Global Scheduling

Wednesday 31 August 2022 by Lionel Rieg, Claire Maiza

[Master] Simulation of Distributed Algorithms

Wednesday 18 October 2023 by karine

[Master] Sûreté des essaims de robots mobiles

Thursday 31 August 2023 by Lionel Rieg

[PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences

Monday 1 June 2026 by Claire Maiza

Other keywords in this group

Other groups of keywords

Sections

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 3982723