Home
>
Teams
>
RSD
>
Research Topics
>
Domain Specific Design Flows
>
Domain Specific Design Flows
Domain Specific Design Flows
[section under construction]
Autonomous Robotic Systems
Time-Critical Applications on Multicore Platforms
Networked Embedded Systems
Parallel Applications on Manycore Platforms
News
NEWS
Doctorat Honoris Causa UGA pour Moshe Vardi
Conferences
Feb. 24, 2020
Workshop CAPITAL
May 11-15, 2020
AlgoTel et CoRes 2020
June 22-26, 2020
MOVEP 2020
Seminars
Seminars
16 December 2019 The seminar by Lélio Brun: is cancelled
19 December 2019
Yannick Zakowski:
From representing recursive and impure programs in coq to a modular formal semantics (...)
19 December 2019
Hang Yu:
Towards an efficient parallel parametric linear programming solver (Phd)
6 February 2020
Jules Chouquet:
Lower bounds for probabilistic k-set agreement through combinatorial (...)
New publications
Recent Publications
Jobs and internships
Jobs and internships
Browsing
Sections
Verimag
Teams
Synchrone
Tempo
Pacss
RSD
People
Partners
Research Topics
Modeling Component-Based (...)
Scalable Verification and (...)
Correct-by-Construction (...)
Domain Specific Design (...)
Autonomous Robotic Systems
Networked Embedded Systems
Parallel Applications on (...)
Projects
Tools
Publications
Jobs and Internships
Contact
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.12
+
AHUNTSIC
[CC License]
info visites
1369532
English
Français