Langages à objet et machines virtuelles

Le paradigme des langages orientés objets est apparu au fil du temps. Aujourd’hui il est reconnu que les langages à objet présentent des avantages pour programmer de grosses applications grâce à la structure qu’ils apportent. Par langage à objet, on...

Grammaires, automates et langages formels

Grammaires, automates et langages formels Automates finis Les automates finis sont des machines abstraites qui vérifient sous forme séquentielle si un mot, passé en entrée, appartient ou non à un langage donné. Ces automates sont dits finis car restreints à...

Grammaires de mots et langages

Grammaires de mots et langages Mots et langages Nous considérons des ensembles finis de symboles, ou lettres, appelés alphabets. Les suites finies de lettres sont appelées mots. Autrement dit, un mot u de longeur n ≥ 0 sur un alphabet...

La modélisation de la machine asynchrone 

GENERALITE SUR LA MACHINE ASYNCHRONE Introduction Malgré l’existence d’un grand nombre de moteur utilisé en courant alternatif, c’est la machine asynchrone, moteur à champ électrique tournant alimenté par un courant triphasé qui est le plus utilisé. A cause de sa...

Résumé de cours et TP de Langage C++

Cours et TP de Langage C++ L’OPERATEUR CIN L’opérateur cin, spécifique à C++, appartient à la bibliothèque iostream.h, et permet la saisie à partir du clavier de n'importe quel type de variable (l’affichage prend en compte le type de la...

Développement à l’aide de langages dynamiques : Smalltalk

Développement à l'Aide de Langages Dynamiques : Smalltalk Spécificités des Langages Dynamiques ● Liaisons dynamiques ● Prototypages rapides ● Absence d'aide des compilateurs ● Moins de protection des méthodes Smalltalk ● Typage dynamique ● Tout est objet : même les...

Introduction au langage assembleur

LE LANGAGE ASSEMBLEUR Introduction au langage assembleur : Le processeur ne peut exécuter que les instructions écrites dans un langage binaire appelé langage machine. Ce langage est propre à chaque famille de processeurs. Etant donné la forme de ce langage,...

LANGAGES DE DESCRIPTION D’ARCHITECTURE ET INGENIERIE DIRIGEE PAR LES MODELES

Télécharger le fichier original (Mémoire de fin d'études) Adaptation de données multimédia La gestion des données multimédia recouvre de nombreux aspects: extensibilité du système, accès et intégration des données (en termes d’indexation et d’exécution de requêtes dans un environnement distribué...

Grammaires, automates et langages formels

Grammaires, automates et langages formels Ce chapitre aborde quelques concepts de base sur les grammaires, les automates et les langages formelsqui sont en lien avec les concepts et représentations des grammaires locales et des grammaires locales étendues étudiées à partir...

Validation formelle des langages à parallélisme des données

Validation formelle des langages à parallélisme des données  PARALELISME  DE DONNEES  Introduction De nombreux eorts ont ete mis en uvre dans les trois dernieres decennies pour developper des machines paralleles de plus en plus puissantes. De nombreux modeles d'execution ont...