Author: Liviu-Virgil CiortuzPublisher:
ISBN:
Category :
Languages : fr
Pages : 0
Book Description
Programmation concurrente par contraintes et traitement du langage naturel : le systeme DF
Author: Liviu-Virgil CiortuzProgrammation concurrente par contraintes et traitement du langage naturel
Author: Liviu-Virgil CiortuzPublisher:
ISBN:
Category :
Languages : fr
Pages : 52
Book Description
Cette thèse présente df, un système concurrent de contraintes par traits qui combine certaines idées intéressantes provenant de diverses recherches menées récemment en programmation logique : la logique orientée-objet (représentée ici par la f-logique), les systèmes de contraintes par traits (osf et cft), la programmation concurrente par contraintes (les modèles oz et cc). Elle a pour but final de construire un système démonstratif pour le traitement concurrent du langage naturel basé sur la théorie hpsg. Le système df couple une sémantique déclarative par contraintes de la f-logique avec une sémantique opérationnelle basée sur des règles de réecriture concurrentes. Du point de vue du typage, le système df se situe entre les systèmes osf et cft. Il a sa propre spécificité due au traitement concurrent basé sur des principes orientés-objet des hiérarchies conditionnelles de descriptions par des traits plus fins.
PROGRAMMATION CONCURRENTE AVEC CONTRAINTES FONDEE SUR LA LOGIQUE LINEAIRE
Author: VINCENT.. SCHACHTERPublisher:
ISBN:
Category :
Languages : fr
Pages : 117
Book Description
CETTE THESE EST CONSACREE A L'ETUDE D'UNE EXTENSION DE LA PROGRAMMATION CONCURRENTE AVEC CONTRAINTES FONDEE SUR LA LOGIQUE LINEAIRE. LE LANGAGE (LCC) QUI EN RESULTE PERMET DE PROGRAMMER DES SOLVEURS DE CONTRAINTES COMPLEXES SUSCEPTIBLES DE S'APPUYER SUR DES STRUCTURES DE DONNEES EVOLUANT DE MANIERE NON-MONOTONE AU COURS DU CALCUL. LCC S'AFFRANCHIT DE LA RESTRICTION DES CALCULS A L'ACCUMULATION MONOTONE D'INFORMATION DANS LE STORE EN AXIOMATISANT LES SYSTEMES DE CONTRAINTES EN LOGIQUE LINEAIRE ET EN AUTORISANT LA CONSOMMATION DES CONTRAINTES PAR LES AGENTS. NOUS MONTRONS QUE L'UTILISATION DE CONTRAINTES CONSOMMABLES DEDIEES AU CONTROLE PERMET, VIA LE CODAGE D'ETATS DANS LE STORE, DE SPECIFIER DES STRATEGIES DE PROPAGATION PLUS FINES QUE CE QUE LA PROGRAMMATION DECLARATIVE DES LANGAGES TRADITIONNELS DE PROGRAMMATION PAR CONTRAINTES AUTORISE. NOUS MONTRONS EGALEMENT QUE LE LANGAGE DES AGENTS LCC EST EQUIVALENT AU LANGAGE UTILISE POUR SPECIFIER LE MECANISME D'INFERENCE DES SYSTEMES DE CONTRAINTES SOUS-JACENTS. CE RESULTAT, EN EFFACANT LA FRONTIERE ENTRE LANGAGE-HOTE ET SOLVEUR DE CONTRAINTES, OUVRE LA VOIE UNE FORME DE PROGRAMMATION MODULAIRE DE SOLVEURS. L'EXPRESSIVITE DU CADRE LCC EST ILLUSTREE PAR DEUX EXEMPLES DE PROGRAMMATION DE SOLVEURS DE CONTRAINTES PAR STRATES DE COMPLEXITE CROISSANTE, SUR LES DOMAINES FINIS ET SUR LES REELS. NOUS PROPOSONS NOTAMMENT UNE RECONSTRUCTION RATIONNELLE D'UN SOLVEUR DE CONTRAINTES SUR LES REELS, DANS LAQUELLE UN ALGORITHME DE RESOLUTION FONDE SUR LA METHODE DU SIMPLEX EST DEFINI AU-DESSUS D'UN SYSTEME DE CONTRAINTES GENERIQUE PERMETTANT LA MANIPULATION D'EQUATIONS ET D'INEQUATIONS LINEAIRES.
Programmation Concurrente avec Contraintes et Logique Linéaire
Author: Sylvain SolimanProgrammation concurrente en Java
Author: Brian GoetzPublisher:
ISBN: 9782744025082
Category :
Languages : fr
Pages : 370
Book Description
La programmation concurrente permet l'exécution de programmes en parallèle. A l'heure où les processeurs multicoeurs sont devenus un standard, elle est désormais incontournable, et concerne tous les développeurs Java. Mais l'écriture d'un code qui exploite efficacement la puissance des nouveaux processeurs et supporte les environnements concurrents représente un défi à la fois en termes d'architecture, de programmation et de tests. Le développement, le test et le débogage d'applications multithreads s'avèrent en effet très ardus car, évidemment, les problèmes de concurrence se manifestent de façon imprévisible. Ils apparaissent généralement au pire moment - en production, sous une lourde charge de travail. Le but de ce livre est de répondre à ces défis en offrant des techniques, des patrons et des outils pour analyser les programmes et pour encapsuler la complexité des interactions concurrentes. Il fournit à la fois les bases théoriques et les techniques concrètes pour construire des applications concurrentes fiables et adaptées aux systèmes actuels - et futurs.
Programmation concurrente
Author: Laurent JoyeuxPublisher:
ISBN: 9782409011146
Category :
Languages : fr
Pages : 320
Book Description
The Definition of Standard ML
Author: Robin MilnerPublisher: MIT Press
ISBN: 9780262631815
Category : Computers
Languages : en
Pages : 132
Book Description
Software -- Programming Languages.
Economic Fallacies
Author: Frederic BastiatPublisher: Simon Publications
ISBN: 9781931541022
Category : Business & Economics
Languages : en
Pages : 0
Book Description
This book, written by the celebrated nineteenth century French economist propagating free trade, reads as it was written yesterday.
PROMOTION DE LA SANTE ET AUTONOMISATION DANS LE CONTEXTE AFRICAIN
Author: David HouŽtoPublisher: Lulu.com
ISBN: 1291761152
Category : Reference
Languages : fr
Pages : 327
Book Description
Le terme promotion de la santé en Afrique, près de 30 ans après l'adoption de la Charte d'Ottawa, continue d'avoir des connotations complètement hors du sens que lui confère cette charte. Cela n'est pas étonnant quand on sait que la notion de santé dans ce contexte africain équivaut à la lutte contre la maladie à travers les soins de santé dispensés par des professionnels de la santé dans des formations sanitaires et les hôpitaux. L'évolution que connait le continent depuis quelques décennies est de donner un peu plus de place à la communauté à travers les relais communautaires dans une participation communautaire vidée de son contenu, car le pouvoir n'est jamais passé entre les mains des communautés.C'est au vu de tout ceci que le présent ouvrage à sa raison d'être pour expliquer les fondements de l'autonomisation communautaire et de la promotion de la santé avec leur importance pour la région africaine en proie aux mauvais indicateurs de santé comparativement aux autres régions du monde.
The Sound Pattern of English
Author: Noam ChomskyPublisher: Mit Press
ISBN: 9780262530972
Category : Architecture
Languages : en
Pages : 470
Book Description
Since this classic work in phonology was published in 1968, there has been no other book that gives as broad a view of the subject, combining generally applicable theoretical contributions with analysis of the details of a single language. The theoretical issues raised in The Sound Pattern of English continue to be critical to current phonology, and in many instances the solutions proposed by Chomsky and Halle have yet to be improved upon.Noam Chomsky and Morris Halle are Institute Professors of Linguistics and Philosophy at MIT.