Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne / Laurent DAVID

Titre : Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne Type de document : thèse Auteurs : Laurent DAVID ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Isabelle PUAUT, Rapporteur ; G. JUANOLE, Examinateur ; Nimal NISSANKE, Examinateur ; Patrick MARTINEAU, Examinateur Année de publication : 2002 Importance : 222 p. Note générale : Remerciements Table des matières Notations et abréviations Conclusion générale Références bibliographiques Publications liées à ce mémoire de thèse Langues : Français (fre) Catégories : Logiciels Parallélisme (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : LE CONTEXTE DE L'ETUDE Définitions - vocabulaire Les contraintes temporelles Modèle de tâche périodique & Odonnancement Définition de la gigue Les définitions connues de la gigue La gigue : critère d'apparition et conséquences Conclusion ETAT-DE-L'ART Approche en ligne Approche hors ligne Modèles de tâches spécifiques Conclusion TECHNIQUE DE TRAITEMENT DE LA GIGUE DANS LES SYSTEMES TEMPS REEL Méthodologie de traitement de la gigue Annulation de la gigue de régularité Encadrement de la gigue de régularité Prise en compte de ressources partagées Application au contrôle d'autres paramètres Conclusion EXPERIMENTATIONS NUMERIQUES Présentation de l'outil de simulations Tests d'efficacité de la méthode Conclusion APPLICATION A L'EXPERIENCE DU PENDULE INVERSE Introduction Modélisation du banc l'application du temps réel de contrôle du pendule L'ordonnancement des tâches Conclusion

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008128	TH-02 DAV	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement / Mickaël RICHARD

Titre : Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement Type de document : thèse Auteurs : Mickaël RICHARD, Auteur ; Francis COTTET, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean-Charles BILLAUT, Rapporteur ; Mammeri ZOUBIR, Rapporteur ; Yvon TRINQUET, Rapporteur ; Joël GOOSSENS, Examinateur Année de publication : 2002 Importance : 265 p. Note générale : Remerciements Table des matières Introduction générale Conclusion Glossaire Annexes Langues : Français (fre) Catégories : Informatique Logiciels Ordonnancement (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : BASES DE L'ORDONNANCEMENT EN-LIGNE DE SYSTEMES TEMPS REELS Introduction Architecture des systèmes temps réels Ordonnancement de systèmes monoprocesseurs Les systèmes distribués Placement ANALYSE HOLISTIQUE Détermination et analyse du pire cas Analyse holistique Calcul des pires temps de réponse des tâches et des messages AFFECTION DES PRIORITES Problématique Structure de l'arbre de recherche Principes généraux de la procédure de recherche Arbre de recherche : Principe d'évaluation Arbre de recherche : Test et coupe Extension du protocole d'accès aux ressources critiques Exemple : cas d'étude Expérimentation PLACEMENT ET AFFECTION Architecture du systèmes temps réel Placement et affection Exemple Expérimentation CONTRAINTES DE PRECEDENCE ET ORDONNANCEMENT MONOPROCESSEUR Modèles de tâches Anomalies d'ordonnancement Cas particuliers Test général d'ordonnançabilité Application sur l'exemple [HKL94] APPLICATION SUR UNE ARCHITECTURE DISTRIBUEE Architecture des systèmes distribués dans l'automobile Méthode d'affectation des priorités Méthode de placement et d'affection

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008127	TH-02 RIC	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Guide du P.S.I. du programmeur en C / Jean-Luc LUCZAK

Titre : Guide du P.S.I. du programmeur en C Type de document : texte imprimé Auteurs : Jean-Luc LUCZAK ; Claude NOWAKOWSKI ; Marc-Henri BAGNERIS ; Francis PIEROT Editeur : Dunod Année de publication : 1990 Importance : 1055 p. ISBN/ISSN/EAN : 978-2-10-001421-7 Note générale : Sommaire Index Catégories : C (langage de programmation) Informatique Logiciels Index. décimale : 005.133 Langages spécifiques Résumé : Présentation d'un programme C Préprocesseur Définition et stockage de données Fonctions Expressions et opérateurs Gestion dynamique de la mémoire Manipulation de blocs mémoire Manipulation de chaines Classification et conversion de caractères Conversion de données Fonctions de mathématiques Fonctions de recherche et de tri Gestion de processus Gestion du temps Nombre variable d'arguments Fonctions DOS et BIOS Entrées/sorties de bas niveau Entrées/sorties de haut niveau Manipulations de fichiers Gestions de repertoires Accés direct à la console Modes graphiques Texte en mode graphique Utilisation de C Compilation Link et maintenance

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002543	005.133 LUC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Guide du programmeur en Basic sous MS-DOS / François-Xavier ELOUNDOU

Titre : Guide du programmeur en Basic sous MS-DOS Type de document : texte imprimé Auteurs : François-Xavier ELOUNDOU Editeur : Sybex Année de publication : 1987 Importance : 683 p. ISBN/ISSN/EAN : 978-2-7361-0315-6 Note générale : Sommaire Annexe Catégories : BASIC (langage de programmation) Informatique Logiciels MS-DOS (système d'exploitation des ordinateurs) Ordinateurs Ordinateurs:Programmation Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : GESTION D'ECRAN Les menus Les fenêtres Entrée de données zone par zone Entrée de données pleine page Pagination écran Standards de gestion d'écran GESTION DE FICHIERS Pratique d'un séquentiel indéxé Les fichiers directs TECHNIQUES DIVERSES Sous-programmes en langage machine Les niveaux de rupture Aide-mémoire Basic

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005669	005 ELO	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels / Eric SARDET

Titre : Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels Type de document : thèse Auteurs : Eric SARDET ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Jean-Claude POTIER, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; H. HABRIAS, Rapporteur ; M. NANARD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; X. CASTELLANI, Examinateur ; Guy PIERRA, Examinateur ; Jean-Claude POTIER, Examinateur ; P. TCHOUNIKINE, Examinateur Importance : 189 p. Note générale : Merci à Table des matières Introduction Conclusion Bibliographie Liste des figures Liste des tableaux Catégories : Logiciels Logiciels:Modèles de conception Programmation Index. décimale : TH-99 Résumé : MODELISATION, STRUCTURATION ET PRESENTATION DE L'INFORMATION Modélisation de l'information Structuration de l'information Présentation de l'information MODELISATION ET META-MODELISATION DES CATALOGUES DE COMPOSANTS INDUSTRIELS Modélisation des bibliothèques de composants Méta-Modélisation des bibliothèques de composants Une première approche pour la saisie de bibliothèques PLib INTEGRATION DES APPROCHES DOCUMENTAIRE ET MODELE DE DONNEES Approches existantes Donner une représentation structurée à un modèle de données Séparer la structure de représentation de la structure de présentation Application à PLib INTEGRATION DES OUTILS DOCUMENTAIRES ET DES OUTILS DE MODELISATION Coopération d'outils documentaires et d'outils de modélisation Un éditeur de documents sémantiques Extension de l'outil Exploitation du document résultat

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006927	TH-99 SAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Introduction to Maple / André HECK

Titre : Introduction to Maple Type de document : texte imprimé Auteurs : André HECK Editeur : Springer Verlag Année de publication : 1993 Importance : 497 p. ISBN/ISSN/EAN : 978-0-387-97662-4 Note générale : Preface Contents Introduction Bibliography Index Catégories : Analyse mathématique Calcul formel Logiciels Maple (logiciel) Index. décimale : 510 Mathématiques Résumé : Introduction to computer algebra The first steps : Calculus on numbers Variables and names Getting around with maple Polynomials and rational functions Internal data representation and substitution Manipulation of polynomials and rational expressions Functions Differentiation Integration and summation Truncated series expansions, power series, and limits Composite data types Simplification Graphics Solving equations Differential equations Linear algebra : Basics Linear algebra : Applications

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00005686	510 HEC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible

LabVIEW : Programmation et applications / Francis COTTET

Titre : LabVIEW : Programmation et applications Type de document : texte imprimé Auteurs : Francis COTTET Editeur : Dunod Année de publication : 2001 Collection : Automatismes / Informatique industrielle Importance : 415 p. ISBN/ISSN/EAN : 978-2-10-005667-5 Note générale : Préface Remerciements Table des matières Introduction Annexe 1 : les menus Annexe 2 : les différentes cartes d'entrées/sorties Références : bibliogrpahie, sites web utiles Glossaire et sigles Lexique anglais-français dans le contexte de LabVIEW Lexique français-anglais dans le contexte de LabVIEW Index Catégories : Acquisition automatique des données Applications industrielles Automatisation LabVIEW (langage de programmation) Logiciels Index. décimale : 005.13 Langages de programmation Résumé : Les concepts et l'environnement de programmation LabVIEW. Les bases de programmation LabVIEW. Applications : Traitement des données. Applications : Acquisition de données et automatisation. Applications : échange de données et communication. Programmatin avancée en LabVIEW.

Exemplaires (6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00014634	005.13 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000112	005.13 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Exclu du prêt
B00001997	005.13 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Exclu du prêt
B00006062	005.13 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Exclu du prêt
B00001991	005.133 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Exclu du prêt
B00001985	005.133 COT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	BD/Romans archivés	Exclu du prêt

Le langage éléctronique / Jacques POYEN

Titre : Le langage éléctronique Type de document : texte imprimé Auteurs : Jacques POYEN ; Jeanne POYEN Mention d'édition : 3e édition Editeur : Paris : Presses Universitaires de France (PUF) Année de publication : 1967 Collection : Que sais-je ? num. 900 Importance : 125 p. Note générale : Note pour la troisième édition Introduction Conclusion Bibliographie sommaire Table des matières Catégories : ALGOL (langage de programmation) Langages de programmation Logiciels Programmation Index. décimale : 005.13 Langages de programmation Résumé : Notions sur les calculateurs Comment aborder un problème en vue de son traitement automatique Traitement du problème : le langage machine Les sous-programmes Les langages symboliques Les moniteurs Le langage Algol Perspectives d'avenir

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000319	005.13 POY	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00000313	005.13 POY	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

LaTeX : apprentissage, guide et référence / Bernard DESGRAUPES

Titre : LaTeX : apprentissage, guide et référence Type de document : texte imprimé Auteurs : Bernard DESGRAUPES Mention d'édition : 2e éd. Editeur : Vuibert Année de publication : 2003 Importance : 762 p. ISBN/ISSN/EAN : 2-7117-4809-x Note générale : CD-ROM joint Catégories : Logiciels Polices Index. décimale : 005.3 Programmes Résumé : Apprentissage Guide Annexes Référence Bibliographie Lexique anglais-français des termes typographiques Contenu du CD-ROM Index

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001400	005.3 DES	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 01/10/2026

Micro-informatique : Architecture, interfaces et logiciel / Jean-Daniel NICOUD

Titre : Micro-informatique : Architecture, interfaces et logiciel Type de document : texte imprimé Auteurs : Jean-Daniel NICOUD Editeur : Dunod Informatique Année de publication : 1983 Importance : 362 p. ISBN/ISSN/EAN : 978-2-04-015664-0 Note générale : Intro. Table des matières Annexes Solutions des exercices Bibliographie Index français-anglais Index anglais-français Catégories : Interfaces (informatique) Logiciels Ordinateurs Ordinateurs:Architecture Index. décimale : 004.2 Analyse et conception de systèmes, architecture de l'ordinateur, évaluation des systèmes Résumé : Préliminaires Nombres et opérations Architectures des calculatrices et ordinateurs Programmation en assembleur Interfaces et périphériques Microprocesseurs et systèmes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000742	004.2 NIC	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Principes des systèmes d'exploitation / Abraham SILBERSCHATZ

Titre : Principes des systèmes d'exploitation Type de document : texte imprimé Auteurs : Abraham SILBERSCHATZ ; Peter B. GALVIN Mention d'édition : 4e éd. Editeur : Addison-Wesley Publishing Company, Inc. Année de publication : 1994 Importance : 772 p. ISBN/ISSN/EAN : 978-2-87908-078-9 Note générale : Préface Sommaire Introduction Annexe Bibliographie Index Catégories : Logiciels Systèmes d'exploitation (ordinateurs) Index. décimale : 005.43 Programme système et programme d'exploitation Résumé : Panorama Structures des systèmes informatiques Structures des sytèmes d'exploitation Processus Scheduling de l'UC Synchronisation de processus Interblocages Gestion mémoire Mémoire virtuelle Interface des systèmes de fichiers Implémentation des sytèmes de fichiers Structure de la mémoire auxiliaire Protection et sécurité Systèmes distribués Structures des réseaux Structures des systèmes répartis Systèmes de fichiers répartis Coordination répartie Le système UNIX Le système Mach Perspective historique Le système Nachos

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00001958	005.43 SIL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Science ouverte - Codes et logiciels    

Titre : Science ouverte - Codes et logiciels Type de document : site web Editeur : Paris : France. Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation (MESRI) Année de publication : 2022 Note générale : Pour aller plus loin Sources Glossaire Crédits Remerciements Catégories : Édition en libre accès Licences Creative Commons Logiciels Publications universitaires Recherche Sciences:Méthodologie Thèses et écrits académiques Index. décimale : 370 Education, enseignement Résumé : Le logiciel c'est quoi ? Pourquoi ouvrir ? Comment ouvrir ? Et après ? Préparer l'avenir En ligne : https://www.ouvrirlascience.fr/science-ouverte-codes-et-logiciels/

Documents numériques

Science ouverte - Codes et logiciels URL

The ITK Software Guide - ITK 4.7 : 1., Introduction and Development Guidelines / Hans, J. JOHNSON

Titre : The ITK Software Guide - ITK 4.7 : 1., Introduction and Development Guidelines Type de document : texte imprimé Auteurs : Hans, J. JOHNSON, Auteur ; Matt McCORMICK, Auteur ; Luis IBANEZ, Auteur Mention d'édition : 4th edition Editeur : Kitware, Inc. Année de publication : 2015 Importance : 228 p. ISBN/ISSN/EAN : 978-1-930934-27-6 Note générale : About the Cover Abstract Contributors Contents List of Figures List of Tables Appendices Catégories : Logiciels Programmation Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : INTRODUCTION Welcome Configuring and Building ITK ARCHITECTURE System Overview Data Representation Spatial Objects DEVELOPMENT GUIDELINES Iterators Image Adaptators How to Write a Filter Software Process

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010844	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010846	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010845	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2026

The ITK Software Guide - ITK 4.7 : 2., Design and Functionality / Hans, J. JOHNSON

Titre : The ITK Software Guide - ITK 4.7 : 2., Design and Functionality Type de document : texte imprimé Auteurs : Hans, J. JOHNSON, Auteur ; Matt McCORMICK, Auteur ; Luis IBANEZ, Auteur Mention d'édition : 4th edition Editeur : Kitware, Inc. Année de publication : 2015 Importance : 494 p. ISBN/ISSN/EAN : 978-1-930934-28-3 Note générale : Abstract Contributors Contents List of Figures List of Tables Catégories : Logiciels Programmation Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : Reading and Writing Images Filtering Registration Segmentation Statistics

Exemplaires (3)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010847	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Sorti jusqu'au 15/05/2026
B00010848	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible
B00010849	005 JOH	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

The Revolutionary Guide to Bitmapped Graphics / CONTROL-ZED

Titre : The Revolutionary Guide to Bitmapped Graphics Type de document : texte imprimé Auteurs : CONTROL-ZED Editeur : Wrox Press Ltd. Année de publication : 1994 Importance : 530 p. ISBN/ISSN/EAN : 978-1-874416-31-9 Note générale : Includes a Cd-Rom Summary of Contents Appendix Catégories : Infographie Langages de programmation Logiciels Index. décimale : 006.6 Infographie Résumé : Bitmapped Graphics : An Overview 8086 Assembler for C Programmers PC Video Architecture Colors and Palettes Fast Algorithms for Basic Constructs and Techniques Raster and TrueType Fonts Graphics File Formats Animation Printing Bitmapped Images Fractals Digital Image Processing Image Manipulation Techniques Morphing 3D Graphics

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00004253	006.6 REV	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Word / Jean-Christophe COURTE

Titre : Word Type de document : texte imprimé Auteurs : Jean-Christophe COURTE Editeur : Editions P.S.I. Année de publication : 1989 Collection : MémoMac Importance : 64 p. ISBN/ISSN/EAN : 978-2-7124-0416-1 Note générale : Sommaire Index Catégories : Logiciels Index. décimale : 005 Programmation, programmes, organisation des données, logiciel Résumé : Bases de Word Gestion du Plan Traitement de texte Mise en page Utiliser les outils Actions sur clavier

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000571	005 COU	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

1 (1 - 16 / 16) Par page : 25 50 100 200