Academie pro
Profil enseignant
Brenner Leonardo
712 consultations

M. Brenner Leonardo
Maitre de Conférences
Aix-Marseille Université


Cours 10 Travaux dirigés 8 Travaux pratiques 8 Contrôle continu 0 Examen terminal 0


  • Cours

  • Publications

  • Expérience

  • Certifications

  • Diplomes

Matières : Systèmes d'exploitation 1

Chapitre 1 : Présentation du cours


Cours
Télécharger

Chapitre 2 : Introduction aux Systèmes d'exploitation


Cours
Télécharger

Chapitre 3 : Notion de processus


Cours
Télécharger

Chapitre 4 : Interruptions


Cours
Télécharger

Chapitre 5 : Gestion de processus


Cours
Télécharger

Chapitre 6 : Algorithmes d'ordonnancement


Cours
Télécharger

Chapitre 7 : Outils de synchronisations


Cours
Télécharger

Chapitre 8 : Gestion de ressources


Cours
Télécharger

Chapitre 9 : Gestion de la mémoire


Cours
Télécharger

Chapitre 10 : Systèmes de gestion de fichiers


Cours
Télécharger

TD 1 : Organisation d'un systèmes d'exploitation


Td
Télécharger

TD 2 : Utilisation des interruptions


Td
Télécharger

TD 3 : Algorithmes d'ordonnancement


Td
Télécharger

TD 4 : Outils de synchronisations


Td
Télécharger

TD 5 : Les interblocages


Td
Télécharger

TD 6 : Gestion de la mémoire


Td
Télécharger

TD 7 : Mémoire virtuelle paginée


Td
Télécharger

TD 8 et TD 9 : Système de gestion de fichier


Td
Télécharger

TP 1 : Introduction


Tp
Télécharger

TP 2 : Simulation d'une CPU et d'un système Prototype Simulateur


Tp
Télécharger

TP 3/4 : Simulation d'un système multi-tâches


Tp
Télécharger

TP 5 : Threads et sémaphores + Documentation sur des threads + Exemple des threads en C + Documentation sur des sémaphores + Exemple des sémaphores en C


Tp
Télécharger

TP 6 : Conditions de synchronisation + exemple_cond.c : Exemple des conditions en C


Tp
Télécharger

TP 7 : Gestion de la mémoire + Exemple de la gestion mémoire en C


Tp
Télécharger

TP 8 : Utilisation des IPC Unix + Documentation sur des IPC + Exemples IPC + Exemple de montage fichier en mémoire


Tp
Télécharger

TP 9 et TP 10 : Mini S.G.F. + Sources mini S.G.F. en C


Tp
Télécharger


- A. Benoit, L. Brenner, P. Fernandes, B. Plateau
Aggregation of Stochastic Automata Networks with Replicas
Linear Algebra and its Applications
Volume 386, 2004.
Lien Elsevier

- L. Baldo, L. Brenner, L. G. Fernandes, P. Fernandes, A. Sales
Performance Models for Master/Slave Parallel Programs
Electronic Notes In Theoretical Computer Science
Volume 128(4), Avril 2005.
Lien Elsevier

- L. Brenner, P. Fernandes, A. Sales.
The Need for and the Advantages of Generalized Tensor Algebra for Structured Kronecker Representations
International Journal Of Simulation Systems Science Technology
Volume 6(3-4), Fevrier 2005.
Lien Elsevier

- I. Sbeity, L. Brenner, B. Plateau, W. Stewart
Phase-type distributions in Stochastic Automata Networks
European Journal of Operational Research
Volume 186(3), Mai 2008.
Lien Elsevier

- L. Brenner, P. Fernandes, JM. Fourneau, B. Plateau Modelling Grid5000 point availability with SAN
Electronic Notes In Theoretical Computer Science
Volume 232, Mars 2009.
Lien Elsevier

- 2010-        : Maître de conférences à Aix-Marseille, UFR Sciences

- 2009-2010 : ATER à plein temps à Université de Reims Champagne-Ardenne, UFR Sciences Exactes et Naturelles

- 2008-2009 : ATER à mi-temps à Université Joseph Fourier, UFR Informatique et Mathématiques Appliquées

- 2004-2009 : Thèse sous la direction de Brigitte Plateau, intitulée Réseaux d'Automates Stochastiques : Analyse transitoire en temps continu et Algèbre tensorielle pour une sémantique en temps discret, soutenue le 16 Septembre 2009.

- 2002-2003 : Master en informatique sous la direction de Paulo Fernandes, intitulé Agregation en Réseaux d'Automate Stochastique.

- 1997-2001 : Licence en informatique à la Pontificia Universidade Católica do Rio Grande do Sul au Brésil


Livres populaires