![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Book Series
-
Chapter
Files simples
Dans ce chapitre nous étudions les files simples. Nous avons décidé de partir d’une spécification abstraite fondée sur une liste. Par contre nous avons écarté la mise en oeuvre classique sous forme de tableau. Sa...
-
Book
-
Chapter
Mathématiques pour la spécification et les structures de données
Il est communément admis, dans toutes les disciplines de l’ingénieur, qu’après avoir couché sur le papier, en français, les caractéristiques du système que l’on souhaite réaliser, il est nécessaire de modéliser (...
-
Chapter
étude de quelques structures outils
La recherche de mises en œuvre efficacies pour les structures de données fondamentales conduit à raffiner celles-ci par des structures de données secondaires. Comme par un système d’échafaudages, la réalisation d...
-
Chapter
Exemples
Dans ce chapitre nous proposons de développer deux exemples simples qui vont nous permettre de mieux appréhender la démarche utilisée dans le reste de cet ouvrage.
-
Chapter
Ensembles de clés structurées
Le chapitre 6 nous a permis d’étudier quelques représentations intéressantes pour les ensembles de clés scalaires. Il est cependant fréquent que la clé soit composite. En nous limitant toujours au cas des ensembl...
-
Chapter
Tableaux flexibles
Dans la plupart des langages de programmation, le concept de tableau s’identifie à celui de fonction définie sur un intervalle constant de relatifs, intervalle connu dès la compilation (Pascal, C, etc.) ou au plu...
-
Chapter
Files de priorité
Une file de priorité est une structure de données qui gère les adjonctions et les suppressions selon la discipline suivante : lors d’une arrivée, le client se présente avec une valeur représentant une priorité (d...
-
Chapter
Spécifications + Fonction d’abstraction + Calcul = Programme
Ce chapitre présente les principes qui sont appliqués dans le reste de l’ouvrage pour concevoir et mettre en oeuvre des structures de données de manière rigoureuse. La première section fixe le cadre général de la...
-
Chapter
Analyse d’algorithmes
La classe des algorithmes qui satisfont une spécification donnée, si elle n’est pas vide, contient en général une infinité d’éléments. Mais alors sur quelle base peut-on comparer ces algorithmes deux à deux ? Que...
-
Chapter
Ensembles de clés scalaires
Au chapitre 1 nous avons étudié la théorie des ensembles sous son aspect mathématique. Cet aspect ne satisfait pas complètement l’informaticien, qui a besoin d’un « type abstrait » ensemble. C’est cette facette q...
-
Book
-
Book
-
Chapter and Conference Paper
Apprentissage de Séquences Non-Indépendantes d’Exemples
Beaucoup de travaux récent considérent les applications pratiques des réseaux neuronaux (ou d’autres algorithmes proches) pour la modélisation de séries temporelles, par exemple chaotiques. Quelques papiers se...
-
Chapter and Conference Paper
Enumération des 2-arbres k-gonaux
In this paper1, we generalize 2-trees by replacing triangles by quadrilaterals, pentagons or k-sided polygons (k-gons), where k ≥ 3 is given. This generalization, to k-gonal 2-trees, is natural and is closely rel...
-
Chapter and Conference Paper
Une introduction à Prolog III
The Prolog III programming language extends Prolog by redefining the fundamental process at its heart; unification. Prolog III integrates into this mechanism, refined processing of trees and lists, number proc...
-
Article
Files d'attente exponentielles ayant des parametres non-stationnaires dans le temps
There exist a large number of Queueing Systems having a non-stationary behavior. We call non-stationarity, random time-variations of some parameters of the system (i.e. the input or service rates). A typical exam...
-
Article
Bicentres de langages algébriques
Les notions de bicentre et bicentre strict d'un langage, définies par A. De Luca, A. Restivo et S. Salemi généralisent la notion de centre d'un langage définie par M. Nivat. L'objet du présent papier est de ré...
-
Article
Hiérarchie et fermeture de certaines classes de tag-systèmes
Nous définissons des ensembles de mots infinis engendrés par différentes classes de tag-systèmes. Nous montrons que tout mot infini engendré par tag-système étendu peut être engendré par tag-système ɛ-free. No...