master

info dans groupe type d’emploi

info articles lies mot

Articles

M2R : Génération automatique d’exploits à partir de traces d’erreurs (2014-2015)

Wednesday 23 September 2015 by potet

M2R: Timing analysis (WCET) of multi-core TDMA bus (2015-2016)

Monday 1 February 2016 by moy

Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability

Thursday 17 June 2010 by karine

Probabilistic Methods for Routing in Wireless Sensor Network

Thursday 17 June 2010 by jahier

Silent Self-Stabilizing Algorithms: Certification Using Coq

Saturday 1 October 2016 by karine

[M1 2012-2013] Optimisations de performances de simulateurs sur machines multi-cœurs

Monday 1 April 2013 by moy

[M1 2013-2014] Distributed Simulation for Embedded Systems

Tuesday 1 April 2014 by moy

[M1 2013-2014] Parallel programming in modeling of embedded systems

Tuesday 1 April 2014 by moy

[M1 internship] Modeling of Graph Topologies Using Coq

Sunday 16 September 2018 by karine, Devismes, Pierre Corbineau

[M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq

Tuesday 30 October 2018 by Devismes

[M2 internship] Models of Distributed Algorithms

Tuesday 16 October 2018 by karine, Devismes, Pierre Corbineau

[M2 internship] Self-Stabilization in TVG

Wednesday 16 October 2019 by karine, stef

[M2R 2012-2013] Dedicated compilation techniques for a domain-specific language (SystemC)

Tuesday 1 April 2014 by moy

[M2R 2012-2013] Analyse de programme efficace : SMT-solving et itérations

Tuesday 1 January 2013 by monniaux

[M2R 2012-2013] Analyse modulaire de programmes

Tuesday 1 January 2013 by monniaux

[M2R 2012-2013] Annotation automatique de préconditions, application à la compilation optimisante

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Calcul de pire temps d’exécution en présence de caches

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Contraintes non linéaires

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Décision de formules contenant des flottants

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Optimisation de formules SMT

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Preuve automatique de programmes

Friday 1 February 2013 by moy

[M2R 2012-2013] Preuve de programmes avec des structures de données

Wednesday 13 February 2013 by monniaux

[M2R 2012-2013] Programmation linéaire modulo disjonctions

Friday 1 February 2013 by monniaux

[M2R 2013-14] Symbolic execution and vulnerability detection

Friday 26 September 2014 by mounier

[M2R-2013-2014] Semantic analysis of programs for evaluating their worst-case execution time

Tuesday 24 June 2014 by Claire Maiza

[Magistère M1/M2, M2R] Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networs

Saturday 30 September 2017 by karine, devismes

[Master (M2R) 2014-2015] Timing analysis of multi-core TDMA bus

Tuesday 16 June 2015 by Claire Maiza

[Master 2R 2011-2012] Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks

Saturday 15 October 2011 by Florence Maraninchi

[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks

Thursday 16 February 2012 by karine, stef

[Master 2R 2012-2013] Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems

Tuesday 30 April 2013 by karine, Devismes

[Master 2R 2012-2013] Semantic analysis for worst-case execution time analysis

Friday 1 March 2013 by raymond, Claire Maiza

[Master 2R 2013-2014] Dynamic detections of Use after free and exploitability characterization

Friday 13 June 2014 by potet

[Master 2R 2013-2014] Efficient Self-Stabilizing Algorithms for Pervasive Computing Systems

Wednesday 8 October 2014 by karine, Devismes

[Master 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods

Tuesday 15 July 2014 by karine, moy

[MASTER 2] Performance Evaluation for Embedded Systems: Between Computational Simulation and Mathematical Solutions

Friday 15 July 2011 by karine

[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks

Friday 15 July 2011 by karine

[MR 2013_2014] Evaluating the robustness of smart card applications to fault attacks.

Friday 13 June 2014 by potet

[TAKEN] [M1 2012-2013] Visualisation graphique de traces de simulation de systèmes sur puces

Wednesday 1 May 2013 by moy

Other keywords in this group

Other groups of keywords

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

info visites 1184697