A partir de cette page vous pouvez :
collection
| Retourner au premier écran avec les étagères virtuelles... |
Détail d'une collection
|
|
Documents disponibles dans la collection
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesAlgorithmes et architectures systoliques / Patrice Quinton (1989)
Titre : Algorithmes et architectures systoliques Type de document : texte imprime Auteurs : Patrice Quinton, Auteur ; Yves Robert, Auteur ; Verjus, Jean-Pierre, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1989 Collection : Etudes et recherches en informatique num. ISSN Importance : (XVIII-353 pages) Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81617-8 Note générale : Bibliographie p. [337]-348. Index Langues : Français Catégories : Architecture et Fonctionnement des Ordinateurs Mots-clés : Architectures systoliques Algorithmes Systèmes linéaire Traitement du signal Index. décimale : 004.22 Architecture des ordinateurs Note de contenu :
1. Introduction
Partie 1. Algorithmes
2. Réseaux de convolution
3. Produit de matrices denses
4. Systèmes linéaires
5. Matrices à structure bande
6. Algorithmes sur les graphes
7. Pile systolique
Partie 2. Architectures et méthodes
8. Machines et circuits systoliques
9. Partitionnement et résistance aux pannes
10. Langages de simulation et de validation
11. Systolisation de circuits synchrones
12. Synthèse d'architectures systoliques
13. Extensions de la méthode des dépendancesPermalink : ./index.php?lvl=notice_display&id=13326 Algorithmes et architectures systoliques [texte imprime] / Patrice Quinton, Auteur ; Yves Robert, Auteur ; Verjus, Jean-Pierre, Préfacier, etc. . - Paris : Masson, 1989 . - (XVIII-353 pages) : ill., couv. ill. ; 25 cm. - (Etudes et recherches en informatique; ISSN) .
ISBN : 978-2-225-81617-8
Bibliographie p. [337]-348. Index
Langues : Français
Catégories : Architecture et Fonctionnement des Ordinateurs Mots-clés : Architectures systoliques Algorithmes Systèmes linéaire Traitement du signal Index. décimale : 004.22 Architecture des ordinateurs Note de contenu :
1. Introduction
Partie 1. Algorithmes
2. Réseaux de convolution
3. Produit de matrices denses
4. Systèmes linéaires
5. Matrices à structure bande
6. Algorithmes sur les graphes
7. Pile systolique
Partie 2. Architectures et méthodes
8. Machines et circuits systoliques
9. Partitionnement et résistance aux pannes
10. Langages de simulation et de validation
11. Systolisation de circuits synchrones
12. Synthèse d'architectures systoliques
13. Extensions de la méthode des dépendancesPermalink : ./index.php?lvl=notice_display&id=13326 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité AFO25/1 AFO25 Livre Magasin d'Ouvrages / INF Architecture et Fonctionnement des Ordinateurs Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Aspects mathématiques des réseaux de pétri Type de document : texte imprime Auteurs : Christophe Reutenauer Editeur : Paris : Masson Année de publication : 1989, cop. 1988 Collection : Etudes et recherches en informatique Importance : 117 p. Présentation : couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81492-1 Note générale :
Bibliogr. p. [111]-114. IndexLangues : Français Mots-clés : Petri, Réseaux de Petri nets Index. décimale : 519.2 Résumé : Un outil mathématique utilisé en informatique pour le partage des ressources, les protocoles de transmission, la gestion de production, la synchronisation des taches. Cet ouvrage est particulièrement consacré aux problèmes de décidabilité.
Public concerné : Étudiants de 3e cycle, ingénieurs et chercheurs en mathématiques appliquées et en informatique théorique.Permalink : ./index.php?lvl=notice_display&id=12314 Aspects mathématiques des réseaux de pétri [texte imprime] / Christophe Reutenauer . - Paris : Masson, 1989, cop. 1988 . - 117 p. : couv. ill. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81492-1
Bibliogr. p. [111]-114. Index
Langues : Français
Mots-clés : Petri, Réseaux de Petri nets Index. décimale : 519.2 Résumé : Un outil mathématique utilisé en informatique pour le partage des ressources, les protocoles de transmission, la gestion de production, la synchronisation des taches. Cet ouvrage est particulièrement consacré aux problèmes de décidabilité.
Public concerné : Étudiants de 3e cycle, ingénieurs et chercheurs en mathématiques appliquées et en informatique théorique.Permalink : ./index.php?lvl=notice_display&id=12314 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité MTH103/1 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Consultation sur place
Exclu du prêtMTH103/2 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/3 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/4 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/5 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/6 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible MTH103/7 MTH103 Livre Magasin d'Ouvrages / FGE Mathématique Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Progressez avec les microcontrôleurs PIC Samblancat, Gérard Commande optimale des systèmes dynamiques hybrides Marzouguie, Mohsen Les Microcontrôleurs PIC Tavernier, Christian Graphes et algorithmes Gondran, Michel Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Calcul formel systémes et algorithmes de manipulations algébriques Type de document : texte imprime Auteurs : Davenport, James H., Auteur ; Siret, Yvon, Auteur ; Tournier, Evelyne, Auteur Mention d'édition : 2e éd. révisée Editeur : Paris : Masson Année de publication : 1993 Collection : Etudes et recherches en informatique Importance : X-275 p. Présentation : graph., couv. ill Format : 25 cm ISBN/ISSN/EAN : 978-2-225-84200-9 Note générale : Bibliogr. p. 255-269. Index Langues : Français Mots-clés : Calcul formel Algorithmes Données Equations différentielles Algèbre Polynomes Index. décimale : 512.2 Permalink : ./index.php?lvl=notice_display&id=11684 Calcul formel systémes et algorithmes de manipulations algébriques [texte imprime] / Davenport, James H., Auteur ; Siret, Yvon, Auteur ; Tournier, Evelyne, Auteur . - 2e éd. révisée . - Paris : Masson, 1993 . - X-275 p. : graph., couv. ill ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-84200-9
Bibliogr. p. 255-269. Index
Langues : Français
Mots-clés : Calcul formel Algorithmes Données Equations différentielles Algèbre Polynomes Index. décimale : 512.2 Permalink : ./index.php?lvl=notice_display&id=11684 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA38/1 IA38 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA38/2 IA38 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Problémes d'ordonnancement modélisation-complexité - algorithmes Type de document : texte imprime Auteurs : J. Carlier ; Philippe Chrétienne ; Girault Claude Editeur : Paris : Masson Année de publication : 1988 Collection : Etudes et recherches en informatique Importance : 326 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-81275-0 Note générale : Index Langues : Français Mots-clés : Ordonnancement Modélisation Réseaux de Petri Méthode polynomiales Algorithmes Permalink : ./index.php?lvl=notice_display&id=11923 Problémes d'ordonnancement modélisation-complexité - algorithmes [texte imprime] / J. Carlier ; Philippe Chrétienne ; Girault Claude . - Paris : Masson, 1988 . - 326 p. ; 24 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-81275-0
Index
Langues : Français
Mots-clés : Ordonnancement Modélisation Réseaux de Petri Méthode polynomiales Algorithmes Permalink : ./index.php?lvl=notice_display&id=11923 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA478/1 IA478 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA478/2 IA478 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Utilisation des langages objets pour le prototypage Type de document : texte imprime Auteurs : Krief, Philippe, Auteur ; Harald Wertz, Préfacier, etc. Editeur : Paris : Masson Année de publication : 1992 Collection : Etudes et recherches en informatique Importance : (XVII-248 p.) Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-82654-2 Note générale : Bibliogr. p. [233]-242. Index Langues : Français Mots-clés : Logiciels:développement Programmation orientée objets (informatique) Génie logiciel Prototypage (informatique) Langages de programmation orientés objet Index. décimale : 005133 Résumé :
Ce livre introduit le concept de prototype de logiciel et l'activité qui en découle : le prototypage.
Un environnement de prototypage met en interaction un client et un concepteur. Il est destiné à leur fournir un ensemble de méthodes, de techniques, de formalismes et d'outils facilitant l'obtention d'informations sur les caractéristiques du système informatique à réaliser. Ces informations permettent d'évaluer la pertinence et l'adéquation de la spécification et de la conception du système.
Il est indispensable que le client et le concepteur puissent percevoir, expérimenter, tester et valider les différentes solutions au problème posé. Ils peuvent alors s'accorder sur une idée claire et cohérente de ce qu'ils visent et de la mise en œuvre envisagée. Le prototypage, i.e. « la programmation expérimentale », répond à ce besoin. Une telle approche permet, en effet, d'extraire des spécifications précises décrivant complètement le problème et les solutions proposées. En outre, grâce à leur degré élevé de conception, les prototypes issus de ces environnements peuvent être utilisés comme précurseurs à l'écriture effective du système final.
Présenter des développements récents en informatique, sans attendre qu'ils soient tombés dans le domaine du grand public, mais sans rester non plus au niveau de la science ésotérique, tel est le but que se propose cette collection. Elle veut s'adresser aux professionnels, étudiants et chercheurs.
Le niveau typique des volumes est celui d'un cours spécialisé, décrivant de façon didactique l'état d'un domaine à un moment donné, sous l'angle personnel de l'auteur.
Les sujets abordés doivent couvrir l'ensemble des méthodes fondamentales de l'informatique en privilégiant l'aspect scientifique par rapport à l'aspect technique.
On propose ainsi au lecteur des monographies qui représentent des « instantanés » d'une science en développement permanent.
Note de contenu :
PRÉFACE
CONTENTS
AVANT-PROPOS
# PROTOTYPAGE ET LANGAGES À OBJETS
I. NOTIONS DE MODÈLE ET DE PROTOTYPE
1. Les modèles mathématiques
3. Du modèle au prototype
II. PROTOTYPES ET GÉNIE LOGICIEL
1. Un modèle logiciel
2. Un prototype logiciel
3. Prototypage efficace
III. LANGAGES À OBJETS
1. Objets, messages et encapsulation
2. Classes, instances et héritage
IV. DE LA PROGRAMMATION PAR OBJETS À LA PROGRAMMATION PAR PROTOTYPES
1. Conceptualisation
2. Test du prototype
3. Mécanisme de dépendance
4. Les systèmes M.V.C
5. Interface graphique de la calculatrice
6. Passage à une calculatrice infixe
V. RÉSOLUTION DE PROBLÈMES PAR LE PROTOTYPAGE
1. Psychologie et programmation
2. Résolution de Problèmes
VI. ENVIRONNEMENTS DE PROTOTYPAGE: UN ÉTAT DE L'ART
1. Le modèle DesignNet
2. Un générateur dÂ’interfaces
3. Le projet ECCAO
# L'APPROCHE MODÈLE-POINT DE VUE-CONTRÔLEUR
VII. LA TRILOGIE MODÈLE-POINT DE VUE-CONTRÔLEUR
1. Des représentations multiples
2. Des interprétations multiples
3. Factorisation du parcours
VIII. LE NOYAU D'UN SYSTÈME MODÈLE-POINT DE VUE-CONTRÔLEUR
1. Définition du modèle
2. Définition du contrôleur
3. Définition du point-de-vue
IX. PROPRIÉTÉS ET EXTENSIONS DE L'ENVIRONNEMENT M.PV.C.
1. Les multi-points de vue
2. De multiples contrôleurs
3. Parallélisme et M.PV.C
4. Réflexivité et M.PV.C.
5. Un browser M.PV.C
X. CONCLUSION
1. Récapitulatif
2. Extensions de l'environnement M.PV.C
3. Perspectives
4. Pour conclure
ANNEXES
BIBLIOGRAPHIE
INDEXPermalink : ./index.php?lvl=notice_display&id=14112 Utilisation des langages objets pour le prototypage [texte imprime] / Krief, Philippe, Auteur ; Harald Wertz, Préfacier, etc. . - Paris : Masson, 1992 . - (XVII-248 p.) : ill., couv. ill. ; 25 cm. - (Etudes et recherches en informatique) .
ISBN : 978-2-225-82654-2
Bibliogr. p. [233]-242. Index
Langues : Français
Mots-clés : Logiciels:développement Programmation orientée objets (informatique) Génie logiciel Prototypage (informatique) Langages de programmation orientés objet Index. décimale : 005133 Résumé :
Ce livre introduit le concept de prototype de logiciel et l'activité qui en découle : le prototypage.
Un environnement de prototypage met en interaction un client et un concepteur. Il est destiné à leur fournir un ensemble de méthodes, de techniques, de formalismes et d'outils facilitant l'obtention d'informations sur les caractéristiques du système informatique à réaliser. Ces informations permettent d'évaluer la pertinence et l'adéquation de la spécification et de la conception du système.
Il est indispensable que le client et le concepteur puissent percevoir, expérimenter, tester et valider les différentes solutions au problème posé. Ils peuvent alors s'accorder sur une idée claire et cohérente de ce qu'ils visent et de la mise en œuvre envisagée. Le prototypage, i.e. « la programmation expérimentale », répond à ce besoin. Une telle approche permet, en effet, d'extraire des spécifications précises décrivant complètement le problème et les solutions proposées. En outre, grâce à leur degré élevé de conception, les prototypes issus de ces environnements peuvent être utilisés comme précurseurs à l'écriture effective du système final.
Présenter des développements récents en informatique, sans attendre qu'ils soient tombés dans le domaine du grand public, mais sans rester non plus au niveau de la science ésotérique, tel est le but que se propose cette collection. Elle veut s'adresser aux professionnels, étudiants et chercheurs.
Le niveau typique des volumes est celui d'un cours spécialisé, décrivant de façon didactique l'état d'un domaine à un moment donné, sous l'angle personnel de l'auteur.
Les sujets abordés doivent couvrir l'ensemble des méthodes fondamentales de l'informatique en privilégiant l'aspect scientifique par rapport à l'aspect technique.
On propose ainsi au lecteur des monographies qui représentent des « instantanés » d'une science en développement permanent.
Note de contenu :
PRÉFACE
CONTENTS
AVANT-PROPOS
# PROTOTYPAGE ET LANGAGES À OBJETS
I. NOTIONS DE MODÈLE ET DE PROTOTYPE
1. Les modèles mathématiques
3. Du modèle au prototype
II. PROTOTYPES ET GÉNIE LOGICIEL
1. Un modèle logiciel
2. Un prototype logiciel
3. Prototypage efficace
III. LANGAGES À OBJETS
1. Objets, messages et encapsulation
2. Classes, instances et héritage
IV. DE LA PROGRAMMATION PAR OBJETS À LA PROGRAMMATION PAR PROTOTYPES
1. Conceptualisation
2. Test du prototype
3. Mécanisme de dépendance
4. Les systèmes M.V.C
5. Interface graphique de la calculatrice
6. Passage à une calculatrice infixe
V. RÉSOLUTION DE PROBLÈMES PAR LE PROTOTYPAGE
1. Psychologie et programmation
2. Résolution de Problèmes
VI. ENVIRONNEMENTS DE PROTOTYPAGE: UN ÉTAT DE L'ART
1. Le modèle DesignNet
2. Un générateur dÂ’interfaces
3. Le projet ECCAO
# L'APPROCHE MODÈLE-POINT DE VUE-CONTRÔLEUR
VII. LA TRILOGIE MODÈLE-POINT DE VUE-CONTRÔLEUR
1. Des représentations multiples
2. Des interprétations multiples
3. Factorisation du parcours
VIII. LE NOYAU D'UN SYSTÈME MODÈLE-POINT DE VUE-CONTRÔLEUR
1. Définition du modèle
2. Définition du contrôleur
3. Définition du point-de-vue
IX. PROPRIÉTÉS ET EXTENSIONS DE L'ENVIRONNEMENT M.PV.C.
1. Les multi-points de vue
2. De multiples contrôleurs
3. Parallélisme et M.PV.C
4. Réflexivité et M.PV.C.
5. Un browser M.PV.C
X. CONCLUSION
1. Récapitulatif
2. Extensions de l'environnement M.PV.C
3. Perspectives
4. Pour conclure
ANNEXES
BIBLIOGRAPHIE
INDEXPermalink : ./index.php?lvl=notice_display&id=14112 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité OO32/1 OO32 Livre Magasin d'Ouvrages / INF Orienté Objet Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
