SC . Programmation pseudo-parallèle orientée objet, modélisation, vérification, Edition 1998
48,00 €
Épuisé
EAN :
9782880743826
Sujet Ce manuel présente une approche du développement de logiciel qui allie le concept d'objet et celui de pseudo-parallèlisme. Contrairement aux approches qui visent directement la création d'applications réparties, celle-ci propose un concept qui systématise et simplifie le développement d'applications monoprocesseur ou des diverses parties situées dans chacun des processeurs qui participent à une application répartie globale. Ce concept est basé sur un nouveau langage, Synchronous C++, consistant en une extension très restreinte de C++. Ce langage remplace de façon très avantageuse SDL, Estelle ou LOTOS, langages qui ont été élaborés par les chercheurs travaillant dans le domaine des protocoles de communication en vue de disposer de langages qu'il est possible de modéliser. Les applications serveurs-clients sont actuellement à l'honneur. Les propriétés de ces applications basées sur ce concept doivent être examinées à deux niveaux distincts : au niveau des détails de la gestion des interfaces du protocole situés dans le serveur et dans le client et au niveau global de l'application. C'est le niveau inférieur qui est le plus difficile à concevoir. Ainsi que l'a écrit N. Wirth, "the devil lies in the detail". Le manque de précision apportée aux détails est certainement une des raisons majeures des difficultés à définir un ensemble de protocoles fiables dans le cadre du modèle OSI et à généraliser son emploi. Le concept client-serveur doit donc être étudié de façon systématique pour éviter de répéter ce genre d'erreurs. C'est ce qui justifie le développement de nouvelles méthodes de travail et la création d'un nouveau langage. Les applications mentionnées ci-dessus imposent de nouvelles contraintes sur les programmes. Dans un environnement régis par les événements, le programme ne maîtrise plus l'ordre d'exécution des instructions. Il doit être simultanément à l'écoute de multiples sources d'événements, ce qui implique l'utilisation du pseudo-parallélisme. Synchronous C++ est particulièrement bien adapté à cette situation. Il peut être modélisé en vue de prouver que quelque soit l'ordre dans lequel les événements surviennent, le programme réagira correctement.
| Nombre de pages | 211 |
|---|---|
| Date de parution | 01/01/1999 |
| Poids | 1 001g |
Distributor Debug Info
| SKU: | 9782880743826 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | No (Out of Stock) |
| Is Salable (direct MSI check): | No (Out of Stock) |
| Distributor Name: | Par défaut |
| Availability Value: | 0 |
| Availability Label: | Epuisé |
| Match Result: | |
| Default Availability (Config): | 0 - Epuisé |
| Raw Config Mapping: |
Array
(
[_1770218903198_198] => Array
(
[id] => 21661000
[name] => Interforum
[availability] => 1
[activation_attribute] => 1
)
[_1770219428824_824] => Array
(
[id] => 09556601
[name] => Dilibel
[availability] => 1
[activation_attribute] => 1
)
[_1770219486613_613] => Array
(
[id] => 38616001
[name] => Dilisco
[availability] => 2
[activation_attribute] => 1
)
[_1770219517848_848] => Array
(
[id] => 12707000
[name] => UD
[availability] => 1
[activation_attribute] => 1
)
[_1770219533049_49] => Array
(
[id] => 26005000
[name] => Sodis
[availability] => 1
[activation_attribute] => 1
)
[_1770219549008_8] => Array
(
[id] => 90001000
[name] => MDS
[availability] => 1
[activation_attribute] => 1
)
[_1770219556792_792] => Array
(
[id] => 24072900
[name] => MDS Belgique
[availability] => 1
[activation_attribute] => 1
)
[_1770219706436_436] => Array
(
[id] => 13541001
[name] => Assimil
[availability] => 2
[activation_attribute] => 1
)
[_1770219714596_596] => Array
(
[id] => 22645800
[name] => Makassar
[availability] => 2
[activation_attribute] => 1
)
[_1770219727203_203] => Array
(
[id] => 22647400
[name] => DG
[availability] => 0
[activation_attribute] => 1
)
[_1770219736780_780] => Array
(
[id] => 22653500
[name] => ETAI
[availability] => 2
[activation_attribute] => 1
)
[_1770219746896_896] => Array
(
[id] => 22660400
[name] => BREAL
[availability] => 2
[activation_attribute] => 1
)
[_1770219757671_671] => Array
(
[id] => 22682300
[name] => BLDD
[availability] => 2
[activation_attribute] => 1
)
[_1770219767798_798] => Array
(
[id] => 22698201
[name] => Vilo
[availability] => 2
[activation_attribute] => 1
)
[_1770219775919_919] => Array
(
[id] => 22751800
[name] => Honoré Champion
[availability] => 2
[activation_attribute] => 1
)
[_1770219787375_375] => Array
(
[id] => 23934600
[name] => Vrin
[availability] => 2
[activation_attribute] => 1
)
[_1770219797559_559] => Array
(
[id] => 23975200
[name] => Telelivre
[availability] => 1
[activation_attribute] => 1
)
[_1770219803915_915] => Array
(
[id] => 24005002
[name] => PU Namur
[availability] => 1
[activation_attribute] => 1
)
[_1770219820034_34] => Array
(
[id] => 24050017
[name] => Poesie Amay
[availability] => 2
[activation_attribute] => 1
)
[_1770219842458_458] => Array
(
[id] => 24802300
[name] => DOD
[availability] => 2
[activation_attribute] => 1
)
[_1770219851762_762] => Array
(
[id] => 27298000
[name] => Ellipse
[availability] => 2
[activation_attribute] => 1
)
[_1770219860602_602] => Array
(
[id] => 29029400
[name] => Harmonia
[availability] => 2
[activation_attribute] => 1
)
[_1770219873566_566] => Array
(
[id] => 24050011
[name] => VAN IN
[availability] => 3
[activation_attribute] => 1
)
[_1770219882558_558] => Array
(
[id] => 90000416
[name] => Pelckmans
[availability] => 3
[activation_attribute] => 1
)
[_1770219891902_902] => Array
(
[id] => 24050006
[name] => Plantyn
[availability] => 3
[activation_attribute] => 1
)
[_1770653324864_864] => Array
(
[id] => DILIBEL
[name] => DILIBEL
[availability] => 1
[activation_attribute] => 1
)
[_1770653379000_0] => Array
(
[id] => 17
[name] => Patrimoine
[availability] => 0
[activation_attribute] => 1
)
[_1770653666245_245] => Array
(
[id] => 24050023
[name] => CRISP
[availability] => 0
[activation_attribute] => 1
)
[_1770653677698_698] => Array
(
[id] => 24050048
[name] => Ciaco
[availability] => 3
[activation_attribute] => 1
)
[_1770653684036_36] => Array
(
[id] => 24050098
[name] => Badeaux
[availability] => 3
[activation_attribute] => 1
)
[_1770653692034_34] => Array
(
[id] => 24050114
[name] => TIMPERMAN
[availability] => 0
[activation_attribute] => 1
)
[_1770653717298_298] => Array
(
[id] => 24072900
[name] => MDS Belgique
[availability] => 2
[activation_attribute] => 1
)
[_1770653724193_193] => Array
(
[id] => 24103700
[name] => Pollen
[availability] => 2
[activation_attribute] => 1
)
[_1770653732158_158] => Array
(
[id] => 24114900
[name] => Cepadues
[availability] => 2
[activation_attribute] => 1
)
[_1770653739081_81] => Array
(
[id] => 24169400
[name] => Weyrich
[availability] => 3
[activation_attribute] => 1
)
[_1770653745140_140] => Array
(
[id] => 24175300
[name] => Telelivre
[availability] => 1
[activation_attribute] => 1
)
[_1770653751256_256] => Array
(
[id] => 24192500
[name] => Harmattan
[availability] => 3
[activation_attribute] => 1
)
[_1770653810996_996] => Array
(
[id] => 90000416
[name] => Pelckmans
[availability] => 2
[activation_attribute] => 1
)
[_1770653816720_720] => Array
(
[id] => 90000424
[name] => Distrimedia
[availability] => 2
[activation_attribute] => 1
)
[_1770906222379_379] => Array
(
[id] => DG-EXODI
[name] => DG-EXODI
[availability] => 0
[activation_attribute] => 1
)
[_1772104574446_446] => Array
(
[id] => HANIBAL
[name] => Hannibal
[availability] => 0
[activation_attribute] => 1
)
)
|
Plus d'informations
| EAN | 9782880743826 |
|---|---|
| Titre | SC++. Programmation pseudo-parallèle orientée objet, modélisation, vérification, Edition 1998 |
| Auteur | Petitpierre Claude |
| Editeur | PU POLYTECHNIQU |
| Largeur | 0 |
| Poids | 1001 |
| Date de parution | 19990101 |
| Nombre de pages | 211,00 € |
Pourquoi choisir Molière ?
Efficacité et rapidité Commandé avant 16h livré demain
Économique et pratique Livraison à domicile dès 5,10 €
Facile et sans frais Retrait gratuit en magasin
Sécurité et tranquillité Paiement 100 % sécurisé
Disponibilité et écoute Contactez-nous sur WhatsApp
Du même auteur
-
Lausanne 1831. Reconstruire le passé, comprendre le présent, Edition bilingue français-anglais
En 1831, le lac Léman baignait encore le château d'Ouchy aux portes de Lausanne. Les champs et les vignobles couvraient les pentes jusqu'aux rives du lac, tandis qu'au coeur de la ville, un dense réseau de canaux tirait son énergie hydraulique de deux rivières principales, alimentant activités artisanales et industrielles. Si l'eau était une source essentielle de prospérité économique, elle apportait aussi son lot d'insalubrité aux quartiers les plus pauvres. Lausanne ne connaissait alors pas encore l'électricité et vivait au rythme lent des forces humaines, animales et naturelles. La récente démolition des remparts médiévaux ouvrait la ville vers la campagne, annonçant une transformation rapide du territoire sous l'impulsion de la modernisation. Cet ouvrage vous invite à explorer cette Lausanne du XIXe siècle grâce à un document exceptionnel : le premier cadastre parcellaire réalisé par Abraham Berney (1827-1831). Dernière représentation cohérente d'un monde bientôt disparu, cette source cartographique témoigne d'un paysage urbain et rural profondément transformé. Grâce aux techniques numériques avancées et à l'intelligence artificielle, les données planimétriques et textuelles de ce cadastre ont été intégralement extraites et analysées. Historiens et spécialistes du numérique ont ainsi exploité la totalité des informations disponibles pour répondre à des questions historiques précises. Découvrez comment les grandes familles lausannoises ont façonné la ville, l'organisation méticuleuse des terres agricoles, les projets urbanistiques oubliés et l'héritage durable de l'époque romaine à Vidy. Richement illustré, doté d'un atlas numérique et d'un index pratique, ce livre s'adresse à tous ceux qui souhaitent comprendre l'évolution exceptionnelle de Lausanne.ÉPUISÉVOIR PRODUIT40,00 € -
Contes et fables de Pyp tome 1
Le conte est un miroir, un kaléidoscope de formes et de lumières, où l'envers et l'endroit se conjuguent en soi. Ils nous relient à notre mystère et c'est ce que j'aime, un voyage en amont vers un ciel d'unité où l'Amour bienveillant nous est omniprésent. Les contes cassent les ordonnances aux lignes trop parfaites et resteront toujours l'impossible accessible. Ils sont mon évidence, le langage de l'âme, la poésie du coeur, autre réalité qui parfois nous échappe mais pourtant bien présente dans l'enfant qui grandit".ÉPUISÉVOIR PRODUIT17,06 € -
Contes et fables de Pyp tome 2
Recueil de contes, présentés comme la voie d'accès au langage de l'âme et à la poésie du coeur.ÉPUISÉVOIR PRODUIT17,06 € -
Polyhandicap : processus d'évaluation cognitive
Pour comprendre les modes de fonctionnement et les compétences cognitives des enfants et des adolescents polyhandicapés, il est indispensable de suivre une démarche systématisée, et d'utiliser des outils validés, et adaptés à cette population présentant de multiples déficits physiques et psychiques. L'ouvrage apporte des éléments de réponses :Il fait le point sur les modalités d'évaluation cognitive validée et expérimentée, à partir d'une réflexion sur les principes d'évaluation, de même qu'à travers une présentation d'étude de cas et d'exemples concrets ;Il montre l'intérêt pour l'enfant, l'adolescent, mais aussi pour les professionnels, de mener des évaluations les plus rigoureuses possibles qui tiennent compte de la temporalité de ces sujets, de leur dépendance à leurs proches, de leurs modalités d'expression qui ne passent pas prioritairement par les codes ordinaires de communication.ÉPUISÉVOIR PRODUIT34,80 €
Du même éditeur
-
-
Processus stochastiques
Les applications des processus stochastiques existent dans de nombreux domaines de l'ingénieur (transmission de signaux, télétrafic, transport ou fiabilité), mais ce sont également des informaticiens, physiciens, biologistes, sociologues, ainsi que des spécialistes d'autres disciplines qui font appel, de plus en plus, à la modélisation par les processus stochastiques, notamment ceux du type markovien. La lecture du livre ne nécessite que des connaissances élémentaires en calcul des probabilités, ainsi qu'en calcul différentiel et intégral. Cet ouvrage se veut une introduction aux processus stochastiques à valeurs discrètes. II est destiné en premier lieu à des étudiants ingénieurs du premier et du deuxième cycle universitaire ; il permet également à l'ingénieur praticien de s'initier à ce domaine important des mathématiques appliquées.ÉPUISÉVOIR PRODUIT39,50 € -
Le mythe d'Arthur. Des bardes celtes à la culture de masse
La saga de la Table Ronde avec ses héros, le roi Arthur et son épouse Guenièvre, Merlin l'enchanteur, Lancelot, Perceval à la quête énigmatique du Graal, hantent l'imaginaire occidental depuis plus de mille ans. C'est le plus colossal ensemble mythique de la littérature européenne, il concerne tout le monde celtique, l'ancienne Helvétie comprise (le 1er août était jadis la fête du dieu solaire Lug, célébré par des feux et de grandes assemblées). Arthur s'est imposé comme le modèle incontesté d'un idéal chevaleresque, malgré les multiples travestissements ou instrumentalisations que lui ont fait subir au fil des siècles politiciens, écrivains, philologues, peintres, musiciens et aujourd'hui cinéastes. L'acculturation du mythe s'accélère de manière exponentielle avec l'arrivée de la culture de masse, miroir singulièrement révélateur de notre époque.ÉPUISÉVOIR PRODUIT14,90 € -
Sciences et liberté. L'image scientifique du monde et le statut des personnes
Cet ouvrage plaide en faveur de deux revendications : (i) Le déterminisme en sciences n'entre pas en conflit avec le libre arbitre humain parce qu'il est descriptif plutôt que prescriptif (pas de prédétermination) ; (ii) la formulation, la vérification expérimentale et la justification des théories scientifiques présupposent le libre arbitre humain et, par là même, les personnes comme ontologiquement primitives (pas de réduction naturaliste). L'argument en faveur de (i) est essentiellement humien, tandis que celui pour (ii) est d'inspiration kantienne et s'enracine dans la pensée de Sellars sur l'image scientifique et l'image manifeste du monde. Ainsi le livre défend-il, d'une part, le réalisme scientifique contre la confusion entre fait et faux, et, d'autre part, explique-t-il pourquoi les théories, les lois et les explications scientifiques ne peuvent aller jusqu'à nous imposer des normes pour nos pensées et nos actions.ÉPUISÉVOIR PRODUIT24,90 €
