Accueil > Verimag > Publications

Technical Reports

Zanconi, Marcelo Yovine, Sergio
Modeling and Analysis of Real Time Systems with Preemption, Uncertainty, and Dependency (2005)

TR-2005-1.ps

Keywords: real time systems, scheduling

Abstract:

Nouvelles publications

Quelques Publications Récentes
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Self-stabilizing synchronous unison in directed networks
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Pour battre à l'unisson, il faut que tous les chemins viennent de Rome
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne: A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving
- Florence Maraninchi: Revisiting "Good" Software Design Principles To Shape Undone Computer Science Topics

Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4155788

UGA

CNRS

INP Grenoble