- Monday
- April 7th, 2025
- Ajouter un cours

Cloud computing La notion de Cloud fait référence à l’allégorie classique d’Internet ,souvent représenté sous forme de nuage. La métaphore du nuage désigne en réalité un réseau de ressources informatiques (i.e. matérielles et logicielles) virtualisées et mutualisées, accessibles à distance,...

Considérations algorithmiques Il n’existe à l’heure actuelle aucune standardisation de la notion d’algorithme qui soit complètement définie est standardisée. Les notations que nous avons introduites jusqu’à présent permettent d’utiliser certaines structures de données mathématiques comme des objets, mais en utilisant...

Le Cloud Computing ou l’informatique dans les nuages Le Cloud Computing est un terme généralement employé pour désigner le paradigme de gestion et de prestation de services à la demande sur Internet. Il décrit un modèle, représentant l’infrastructure informatique comme...

Caches et cohérence des caches dans les architectures manycores Nous avons vu que les architectures étaient composées de plusieurs types de mémoires. Dans cette partie, nous allons nous focaliser sur les caches qui sont les plus petites mémoires en dehors...

Politiques de sécurité Aujourd’hui, les Operating Systems (OSes) sur plate-formes PC, comme GNU/- Linux utilisent des politiques de sécurité de type Discretionary Access Control (DAC) [HRU76]. Dans ce modèle, un ensemble de sujets du système se voient fournir sur un...

De l’acoustique à l’électromagnétisme Le retournement temporel, également appelé renversement du temps, est un nom énigmatique renvoyant inéluctablement à l’idée de voyage dans le temps lors de toute évocation à un non initié. En réalité, le Retournement Temporel (RT) est...

LA MODÉLISATION FLUIDE DE RÉSEAUX INFORMATIQUES Exemples de protocoles de communication Citons deux exemples de protocoles de communication parmi les plus connus et utilisés. Le protocole Ethernet est un protocole de la couche 2 du modèle OSI. Il est utilisé...

Approche à base de modèles de calculs Dans l’approche à base de modèles de calculs, la sémantique de chaque paradigme de modélisation est définie par un Modèle de Calcul (MoC). Les MoCs viennent principalement de Ptolemy II [Eker 2003, Brooks...

Ordonnancement spatio-temporel pour architectures reconfigurables Architectures reconfigurables Cette section présente les architectures reconfigurables de manière chronologique. En commençant par les prémisses de ce type de composants, leurs différentes fonctionnalités et spécificités sont introduites au fur et à mesure pour finalement...

Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l’humain
Technique d’analyse du risque HAZOP La méthode HAZOP, pour HAZard OPerability, a été développée par la société Imperial Chemical Industries (ICI) au début des années 1970. Elle a depuis été adaptée dans différents secteurs d’activité. Considérant de manière systématique les...