sync

info dans groupe team

info articles lies mot

VERIMAG/Synchronous Team

Articles

5 postes d’ATER à temps plein

Wednesday 16 May 2018 by Florence Maraninchi

9 avril 2020 Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020

Friday 10 April 2020 by Florence Maraninchi

Engineer position: High Level Models for Low Power Systems

Tuesday 15 March 2011 by moy

Engineer position: High Level Models for Low Power Systems

Tuesday 1 December 2020 by jahier

Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory

Friday 30 September 2016 by moy

Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory

Tuesday 1 December 2020 by jahier

Postdoc position: High Level Models for Low Power Systems

Tuesday 15 March 2011 by Florence Maraninchi

Postdoc position: High Level Models for Low Power Systems

Tuesday 1 December 2020 by jahier

aadl2sync

Friday 22 January 2010 by jahier, invite

aadl4ocaml

Friday 22 January 2010 by jahier

Airbus Helicopters

Wednesday 31 October 2018 by Florence Maraninchi

ALIDECS

Sunday 23 December 2007 by Florence Maraninchi

APRON

Monday 24 December 2007

ARESA

Wednesday 30 September 2009

ARESA2

Tuesday 13 August 2013 by Florence Maraninchi

Argos and Larissa

Wednesday 31 December 2008 by Florence Maraninchi

ArtistDesign

Sunday 18 December 2011 by jahier

ASOPT

Monday 24 December 2012

Aspic

Tuesday 9 February 2010 by jahier

ASSERT

Thursday 24 January 2008

BDDC v2

Wednesday 31 December 2008

Best Student Paper Award in SSS’2013

Sunday 19 January 2014 by stef

CAPACITES

Wednesday 1 November 2017 by moy

CASERM

Tuesday 31 December 2019 by graf

Certification of Distributed Self-Stabilizing Algorithms Using Coq

Friday 30 October 2020 by Devismes

CESyMPA

Wednesday 31 December 2014 by Florence Maraninchi

COMON

Sunday 1 April 2012 by jahier

Coopération Argosim

Tuesday 6 February 2029 by jahier

CORTOS

Monday 25 May 2009 by jahier

CRISYS

Monday 24 December 2001

CTRC

Wednesday 28 December 2016 by graf

DACRAW

Saturday 27 February 2016 by karine, devismes

Decision Procedure for Equivalence Relations

Sunday 30 August 2020 by karine

Experienced engineer wanted (compiler frontend / GUIs)

Thursday 8 August 2013 by monniaux

Experienced engineer wanted (compiler frontend / GUIs)

Tuesday 1 December 2020 by jahier

Exploration of timing anomaly impact on processor execution for critical real-time systems

Monday 31 August 2020 by Lionel Rieg, Claire Maiza

FoToVP

Thursday 24 December 2009

Full MDE

Friday 22 June 2012 by graf

Funded PhD position 2013-2016 available: transaction-level modeling, systems-on-a-chip, component-based design and modeling, performance properties of hardware/software systems

Wednesday 17 July 2013 by Florence Maraninchi

HELP

Sunday 30 June 2013 by Florence Maraninchi

IoIT

Monday 31 December 2018 by stef

Kalray

Friday 30 November 2018 by moy

Karine Altisen

Saturday 9 July 2016 by karine

Karine Altisen’s Publications

Monday 9 July 2012 by karine

LIBTLMPWT

Tuesday 17 December 2013 by moy

Lurette

Wednesday 31 December 2008

Lustre V6

Wednesday 15 July 2009 by jahier

Lutin

Wednesday 31 December 2008

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

Monday 1 February 2016 by moy

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

Tuesday 1 December 2020 by jahier

Models of Distributed Algorithms

Friday 16 October 2020 by karine, Devismes, Pierre Corbineau

Multi-core interference Analysis

Tuesday 30 January 2018 by Claire Maiza

New Book: Introduction to Distributed Self-Stabilizing Algorithms

Wednesday 16 October 2019 by stef

NextTTA

Friday 24 December 2004

OMEGA

Friday 16 December 2005 by graf

OpenEmBeDD

Saturday 16 May 2009 by graf

OpenES

Friday 30 September 2016 by Florence Maraninchi

openTLM

Friday 24 December 2010

Orange Labs

Monday 31 October 2016 by Florence Maraninchi

PADEC

Friday 1 January 2016 by Devismes, karine

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

Thursday 17 June 2010 by karine

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

Tuesday 1 December 2020 by jahier

PerSiForm

Wednesday 16 April 2008 by graf

Pinapa

Friday 3 July 2009 by Florence Maraninchi

PinaVM

Wednesday 25 March 2015 by moy

Potential CIFRE PhD: Hardened circuits for critical applications

Sunday 31 July 2016 by Florence Maraninchi

Potential CIFRE PhD: Hardened circuits for critical applications

Tuesday 1 December 2020 by jahier

Probabilistic Methods for Routing in Wireless Sensor Network

Thursday 17 June 2010 by jahier

Probabilistic Methods for Routing in Wireless Sensor Network

Tuesday 1 December 2020 by jahier

Proofer

Thursday 24 January 2008

RDBG

Wednesday 19 March 2014 by jahier

Reglo

Wednesday 31 December 2008 by Florence Maraninchi

RISE

Friday 24 December 2004

SafeAir II

Friday 24 December 2004

SASA

Monday 3 February 2020 by jahier

sc-during

Tuesday 17 December 2013 by moy

SCRV

Friday 3 July 2009 by Florence Maraninchi

Self-Stabilization in TVG

Thursday 10 September 2020 by karine, stef

SPEEDS

Thursday 15 December 2011 by graf

SR3 : Secure Resilient and Reputation-based Routing

Wednesday 23 September 2015 by moy

ss2lus

Friday 29 January 2010 by jahier

STMicroelectronics

Tuesday 31 October 2017 by moy

STMicroelectronics

Monday 31 January 2022 by Florence Maraninchi

Synchronics

Monday 17 September 2012 by jahier

SYRF

Monday 24 January 2000

The Lustre V4 Toolbox

Tuesday 23 December 2008

The Synchrone Reactive Toolbox

Monday 22 January 2018 by jahier

W-SEPT

Saturday 31 December 2016 by raymond, Claire Maiza

[funded PhD] avanced static analysis techniques

Friday 1 November 2013 by monniaux

[funded PhD] avanced static analysis techniques

Tuesday 1 December 2020 by jahier

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

Monday 1 April 2013 by moy

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

Tuesday 1 December 2020 by jahier

[M1 2013-2014] Distributed Simulation for Embedded Systems

Tuesday 1 April 2014 by moy

[M1 2013-2014] Distributed Simulation for Embedded Systems

Tuesday 1 December 2020 by jahier

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

Tuesday 1 April 2014 by moy

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

Tuesday 1 December 2020 by jahier

[M1 internship] Modeling of Graph Topologies Using Coq

Sunday 16 September 2018 by karine, Devismes, Pierre Corbineau

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

Tuesday 1 April 2014 by moy

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

Tuesday 1 December 2020 by jahier

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

Tuesday 1 January 2013 by monniaux

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

Tuesday 1 December 2020 by jahier

[M2R 2012-2013] Analyse modulaire de programmes

Tuesday 1 January 2013 by monniaux

[M2R 2012-2013] Analyse modulaire de programmes

Tuesday 1 December 2020 by jahier

[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] Contraintes non linéaires

Tuesday 1 December 2020 by jahier

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

Friday 1 February 2013 by monniaux

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

Tuesday 1 December 2020 by jahier

[M2R 2012-2013] Optimisation de formules SMT

Friday 1 February 2013 by monniaux

[M2R 2012-2013] Optimisation de formules SMT

Tuesday 1 December 2020 by jahier

[M2R 2012-2013] Preuve automatique de programmes

Friday 1 February 2013 by moy

[M2R 2012-2013] Preuve automatique de programmes

Tuesday 1 December 2020 by jahier

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

Wednesday 13 February 2013 by monniaux

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

Tuesday 1 December 2020 by jahier

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

Friday 1 February 2013 by monniaux

[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] Evaluation and Validation of Clock-Synchronization Protocols in Sensor Networks

Tuesday 1 December 2020 by jahier

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

Thursday 16 February 2012 by karine, stef

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

Tuesday 1 December 2020 by jahier

[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] 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 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods

Tuesday 1 December 2020 by jahier

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

Friday 15 July 2011 by karine

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

Tuesday 1 December 2020 by jahier

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

Friday 15 July 2011 by karine

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

Tuesday 1 December 2020 by jahier

[Post Doc] Early simulation of System-on-a-Chip : SystemC/TLM and more

Monday 12 January 2015 by moy

[Post doc] Parallel implementations of discrete-event simulators

Sunday 1 February 2015 by moy

[Postdoc positions] Coq Developments

Wednesday 16 October 2019 by karine, stef, boulme, monniaux, Pierre Corbineau

[postdoc] Advanced static analysis

Tuesday 6 August 2013 by monniaux

[postdoc] Advanced static analysis

Tuesday 1 December 2020 by jahier

[PostDoc] Enhancing WCET Estimation by Exploiting Program Semantics

Friday 1 March 2013 by raymond, Claire Maiza

[PostDoc] Exploiting High-Level Design Information in WCET Estimation

Friday 1 March 2013 by raymond, Claire Maiza

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

Wednesday 1 May 2013 by moy

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

Tuesday 1 December 2020 by jahier

Other keywords in this group

Other groups of keywords

Sections

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

info visites 1748442