Thèses sur le sujet « Language synchrone »
Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Language synchrone.
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Language synchrone ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.
1
Raymond, Pascal. « Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3 ». Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00198546.
Texte intégralRésumé :
Ce travail porte sur la production de code séquentiel à partir du langage flot de données synchrone Lustre. La difficulté essentielle provient de l'aspect déclaratif du langage. En effet, il n'y a pas d'instruction de contrôle dans le langage Lustre ; toute la structure de contrôle du code objet doit donc être synthétisée par le compilateur. Cette synthèse consiste à construire un automate fini en simulant exhaustivement le comportement des variables booléennes du programme. Le code produit est particulièrement rapide ; en effet, la plupart des calculs booléens sont effectués une fois pour toute dès la compilation. En contrepartie, l'aspect exhaustif de cette démarche provoque parfois une véritable explosion de la taille du code. Ce problème peut être dû à la complexité intrinsèque du programme source ; il faut dans ce cas chercher un compromis entre rapidité et taille mémoire. Mais l'explosion peut être causée par la méthode de construction, qui produit très souvent des automates non minimaux ; nous avons donc étudié et développé un algorithme original qui construit à coup sûr des automates minimaux. Cet algorithme fait appel à de nombreuses manipulations symboliques de fonctions booléennes, que nous avons pu implémenter efficacement grâce à une représentation basée sur les graphes binaires de décision.
2
Attar, Pejman. « Vers un langage synchrone sûr et securisé ». Phd thesis, Université Nice Sophia Antipolis, 2013. http://tel.archives-ouvertes.fr/tel-00942606.
Texte intégralRésumé :
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'un langage de programmation à la fois sûr et "secure" (garantissant la sécurité des données), fondé sur une sémantique formelle claire et simple, tout en étant adapté aux architectures multi-cœur. Nous avons adopté le paradigme synchrone, dans sa variante réactive, qui fournit une alternative simple à la programmation concurrente standard en limitant l'impact des erreurs dépendant du temps ("data-races"). Dans un premier temps, nous avons considéré un langage réactif d'orchestration, DSL, dans lequel on fait abstraction de la mémoire (Partie 1). Dans le but de pouvoir traiter la mémoire et la sécurité, nous avons ensuite étudié (Partie 2) un noyau réactif, CRL, qui utilise un opérateur de parallélisme déterministe. Nous avons prouvé la réactivité bornée des programmes de CRL. Nous avons ensuite équipé CRL de mécanismes pour contrôler le flux d'information (Partie 3). Pour cela, nous avons d'abord étendu CRL avec des niveaux de sécurité pour les données, puis nous avons défini dans le langage étendu, SSL, un système de types permettant d'éviter les fuites d'information. Parallèlement (Partie 4), nous avons ajouté la mémoire à CRL, en proposant le modèle DSLM. En utilisant une notion d'agent, nous avons structuré la mémoire de telle sorte qu'il ne puisse y avoir de "data-races". Nous avons également étudié l'implémentation de DSLM sur les architectures multi-cœur, fondée sur la notion de site et de migration d'un agent entre les sites. L'unification de SSL et de DSLM est une piste pour un travail futur.
3
Graillat, Amaury. « Génération de code pour un many-core avec des contraintes temps réel fortes ». Thesis, Université Grenoble Alpes (ComUE), 2018. http://www.theses.fr/2018GREAM063/document.
Texte intégralRésumé :
La plupart des systèmes critiques sont dits «temps-réel durs» puisqu'ils requièrent des garanties temporelle fortes. Ces systèmes sont de plus en plus complexes et les processeurs mono-coeurs traditionnels ne sont plus assez puissants. Les multi-coeurs et les pluri-coeurs sont des alternatives plus puissantes, cependant ils contiennent des ressources partagées. Les accès concurrents à ces ressources provoquent des interférences qui doivent être prises en compte puisqu'elles rendent les délais d'accès non prédictibles. Pour les pluri-coeur, le réseau sur puce (NoC) doit être configuré pour éviter les interblocages et garantir des pires temps de traversée précis. Le MPPA2 de Kalray est un pluri-coeur avec de bonnes propriétés temporelles.Les langages Synchrones flot de données tels que Lustre ou Scade sont largement utilisés dans l'industrie aéronautique. Les programmes sont des réseaux de noeuds de calcul communicants. Nous présentons une méthode pour extraire le parallélisme des programmes Synchrones. Nous générons du code pour déployer les tâches parallèles sur la puce et pour implémenter les communications en mémoire partagée ou à travers le NoC. Notre solution permet la traçabilité du code. Elle est basée sur un modèle d'exécution dirigé par le temps où chaque tâche a une date de début. L'ordonnancement est statique et minimise les interférences grâce à l'utilisation de bancs mémoire. Une borne de pire temps d'exécution (WCET) est calculée. Elle inclut les interférences mémoire et les pires temps de traversée NoC. Nous générons la configuration du processeur qui permet une allocation équitable des bandes passantes sur le NoC, la garantie de temps de traversées bornés et la synchronisation des horloges. Enfin, nous appliquons notre outils sur des exemples de programmes aéronautiques et un exemple synthétique utilisant 64 coeursMost critical systems are subject to hard real-time requirements. These systems are more and more complex and the computational power of the predictable single-core processors is no longer sufficient. Multi- or many-core architectures are good alternatives but interferences on shared resources must be taken into account to avoid unpredictable timing effects. For many-core, the Network-on-Chip (NoC) must be configured such that deadlocks are avoided and a tight Worst Case Traversal Time (WCTT) of the communications can be computed. The Kalray MPPA2 is a many-core architecture with good timing properties.Dataflow Synchronous languages such as Lustre or Scade are widely used for avionics critical software. In these languages, programs are described by networks of computational nodes. We introduce a method to extract parallel tasks from synchronous programs. Then, we generate parallel code to deploy tasks on the chip and implement NoC and shared-memory communications. The generated code enables traceability. It is based on a time-triggered execution model which relies on a static schedule and minimizes the memory interferences thanks to usage of memory banks. The code enables the computation of a worst case execution time bound accounting for the memory interferences and the WCTT of NoC transmissions. We generate a configuration of the platform to enable a fair bandwidth attribution on the NoC, bounded transmissions through the NoC and clock synchronization. Finally, we apply this toolchain on avionic case studies and synthetic benchmarks running on 64 cores
4
Plaice, John. « Sémantique et compilation de LUSTRE, un langage déclaratif synchrone ». Grenoble INPG, 1988. http://www.theses.fr/1988INPG0032.
Texte intégralRésumé :
Le langage étudie est un langage de programmation des systèmes temps réel fonde sur une interprétation synchrone des réseaux a flux de données. Son compilateur a été conçu entièrement à partir de descriptions formelles de la sémantique du langage. L'originalité principale du compilateur est qu'il tient d'une part aux vérifications statiques de cohérence temporelle et d'autre part à la génération de code séquentiel, par synthèse du contrôle sous forme d'automate fini
5
Shen, Hanjiao. « La langue chinoise du cyberespace et l'émergence de l'activité langagière d'interaction écrite synchrone et asynchrone en chinois ». Thesis, Sorbonne Paris Cité, 2019. http://www.theses.fr/2019USPCF003/document.
Texte intégralRésumé :
Cette thèse s'intéresse aux spécificités du cyberlangage chinois et à une nouvelle activité langagière à l'œuvre à travers lui : l'interaction écrite dans le domaine de la didactique du chinois langue étrangère. Nous présentons le phénomène du cyberlangage chinois sous l'angle linguistique et culturel, qui se révèle être un paysage linguistique vivant et riche, avec irruption de néologismes, néographismes et de glissements de terrain grammaticaux. Nous traitons de la langue chinoise du cyberespace dans l'interaction écrite à travers les analyses textuelles et paratextuelles pour découvrir ses aspects discursifs, pragmatiques, interactionnels et culturels. Nous discutons également des spécificités et des présentations des identités virtuelles de la cybercommunauté chinoise. Les analyses des corpus servent à une finalité didactique : l'émergence d'une nouvelle activité « l'interaction écrite », qui est un des enjeux de cette thèse. À la lumière du CECRL, nous avons discuté de sa place dans la didactique des langues et de ses influences sur l'apprentissage, l'enseignement et l'évaluation dans la didactique du chinois langue étrangère. À cause de la spécificité de l'écriture de la langue chinoise, cette activité mérite un débat approfondi sur chaque aspect de la didactique du chinois langue étrangèreThis paper is interested in the specificities of Chinese cyberlanguage and a new language activity: interactive writing, in the field of Teaching of Chinese as a foreign language. We introduce the phenomenon of Chinese cyberlanguage from the linguistic and cultural angle, which proves to be a vivid and rich linguistic landscape with burst of the neologisms, the néographismes and the landslides of grammar. We discuss the Chinese language of cyberspace in interactive writing through the textual and paratextual analysis for discovering its discursive, pragmatic, interactional and cultural aspects. We discuss also the specificities and the presentations of the virtual identities of the Chinese cybercommunity. The analysis of corpus has a didactic purpose: the emergence of the new activity “interactive writing”, which is the final key of this paper. In light of Common European Framework of Reference for Languages, we have discussed its place in the teaching of languages and its influence on learning, teaching and assessment of teaching of Chinese as a foreign language. Because of the specificity of writing of Chinese language, this activity deserves a profound debate on every aspect of Teaching of Chinese as a foreign language
6
Nicolaev, Viorica. « L'apprentissage du FLE dans un dispositif vidéographique synchrone : étude des séquences métalinguistiques ». Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2012. http://tel.archives-ouvertes.fr/tel-00793185.
Texte intégralRésumé :
Cette recherche s'inscrit dans le champ de la didactique du FLE et de la communication médiée par ordinateur (CMO). L'étude se place dans une perspective interactionniste de l'acquisition d'une langue seconde (L2), selon laquelle l'apprentissage d'une L2 est facilité par les interactions interpersonnelles qui se produisent durant la réalisation d'une tâche. La recherche s'appuie sur le projet d'enseignement-apprentissage du FLE le " Français en 1ère ligne ", qui met en relation des tuteurs en France et des apprenants américains de Berkeley dans un dispositif de visioconférence. L'objectif de l'étude est d'évaluer le potentiel acquisitionnel de ce dispositif, à travers l'analyse des séquences métalinguistiques déclenchées aux cours des interactions. Celles-ci constituent des épisodes où les interlocuteurs traitent les problèmes de code liés à l'intercompréhension et à la production langagière. En nous appuyant sur les principes de l'analyse conversationnelle d'inspiration ethnométhodologique, notre étude est empirique et principalement descriptive. La catégorisation des séquences métalinguistiques, la description du contexte situationnel d'apparition et des configurations interactionnelles, ainsi que l'analyse de la nature discursive des procédés utilisés pour solliciter l'aide du partenaire et réparer interactivement les obstacles linguistiques indiquent que les interactions vidéographiques en ligne sont susceptibles de déclencher des séquences métalinguistiques, similaires à celles produites en face-à-face. L'analyse de la multimodalité du dispositif, et plus précisément la façon dont les interlocuteurs ont recours aux différents modes de communication pour résoudre les problèmes de communication, montre les effets positifs de celle-ci sur l'apprentissage d'une L2. En effet, la multimodalité permet à l'apprenant une meilleure focalisation sur la forme et une prise de conscience plus efficace des écarts entre son interlangue et la langue cible.
7
Talbot, Pierre. « Spacetime programming : a synchronous language for constraint search ». Electronic Thesis or Diss., Sorbonne université, 2018. http://www.theses.fr/2018SORUS416.
Texte intégralRésumé :
La programmation par contraintes est un paradigme basé sur des relations mathématiques appelées contraintes. C'est une approche de programmation déclarative permettant de décrire de nombreux problèmes comme l’ordonnancement de tâches ou des problèmes de composition musicale. On contraste cette approche avec la programmation procédurale qui décrit comment un problème est résolu, tandis que la programmation par contraintes décrit quel est le problème. Dans ce dernier cas, la partie résolution de contraintes est laissé à un solveur de contraintes générique. Malheureusement, il n'existe pas d'algorithme efficace pour tout type de problème, et par conséquent le solveur doit souvent être configuré à la main. Même les langages par contraintes basés sur ces solveurs sont limités pour exprimer des stratégies d'exploration. Dans cette thèse, nous proposons un langage de programmation permettant de programmer des stratégies d'exploration. Nous établissons d'abord une nouvelle formalisation dans la théorie des treillis des problèmes de contraintes. Ceci nous permet de comparer et définir précisément notre langage, appelé programmation spatio-temporelle, et basé sur la programmation synchrone. Ce paradigme ouvre de nouveaux horizons pour programmer des stratégies d'exploration dans les problèmes de satisfaction de contraintes mais aussi, plus généralement, les problèmes utilisant un mécanisme de retour sur traces (i.e. backtracking). On applique notamment ce paradigme à la composition musicale par contraintes, où le compositeur peut naviguer dans l'espace des solutions généré par un problème musicalConstraint programming is a paradigm for computing with mathematical relations named constraints. It is a declarative approach to describe many real-world problems including scheduling, vehicles routing, biology and musical composition. Constraint programming must be contrasted with procedural approaches that describe how a problem is solved, whereas constraint models describe what the problem is. The part of how a constraint problem is solved is left to a general constraint solver. Unfortunately, there is no solving algorithm efficient enough to every problem, because the search strategy must often be customized per problem to attain reasonable efficiency. This is a daunting task that requires expertise and good understanding on the solver's intrinsics. Moreover, higher-level constraint-based languages provide limited support to specify search strategies. In this dissertation, we tackle this challenge by designing a programming language for specifying search strategies. It is constructed around two axes: (i) a novel theory of constraint programming based on lattice theory, and (ii) a programming language, called spacetime programming, building on lattice theory for its data structures and on synchronous programming for its computational model. This paradigm opens the door to new, more complex, search strategies in constraint programming but also in applications requiring backtracking search. We demonstrated its usefulness in an interactive computer-aided composition system where we designed a search strategy to help the composer navigating in the state space generated by a musical constraint problem
8
El, Sibaïe Besognet Rémy. « Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches ». Thesis, Sorbonne université, 2018. http://www.theses.fr/2018SORUS169/document.
Texte intégralRésumé :
Le but de cette thèse est d'apporter de nouvelles possibilités au domaine de la programmation Web, dont les technologies répandues ne capturent pas toutes les problématiques engendrées par les interactions dans une application. Notre solution est un langage, Pendulum, inspiré de la programmation synchrone réactive en Esterel et se présentant comme une extension à OCaml. Il permet de gagner en sûreté et en expressivité en particulier dans la gestion d'interaction multiples. Dans une première partie, nous présentons notre perception de la programmation Web d'aujourd'hui en partant du standard pour aller vers les technologies plus modernes qui tentent de subvenir aux besoins des programmes par d'autres approches, notamment la programmation multitier et les modèles de concurrence en flot de données. Dans une seconde partie, nous introduisons le langage Pendulum et ses constructions, ce qu'il propose comme interopérabilité avec le client Web le différenciant d'autres langages synchrones, et l'interface de programmation qui le connecte avec le langage hôte. Dans les parties trois et quatre, nous présentons la méthode de compilation utilisée, GRC, pour GraphCode, qui produit un graphe de flot de contrôle à partir du programme synchrone source. On revient sur la structure du GRC, les règles permettant de le construire, ainsi que notre méthode d'ordonnancement statique. Nous décrivons ensuite la génération de l'environnement d'exécution d'un programme synchrone dans le programme hôte. Dans une cinquième partie, nous montrons l'intérêt de la programmation synchrone dans le client et en quoi son modèle d'exécution s'adapte naturellement à celui du navigateur Web. Nous montrons qu'il est possible de profiter de cet avantage pour réagir aux évènements plus efficacement sans efforts d'optimisation. Avant de conclure, nous présentons de multiples exemples implémentés en Pendulum pour mettre en avant les qualités d'expressivité et de sûreté de la programmation synchrone sur différentes problématiques impliquant du multimédia et des interactionsThe goal of this thesis is to bring new capabilities to Web programming, whose languages, frameworks don't handle all the problematics raised by interactions in a Web application. Our solution is a programming language, Pendulum, taking its roots in synchronous reactive model à la Esterel. It brings safety and expressiveness, especially when handling multiple interactions. In the first chapter, we give our point of view on what is Web programming today, from the standard to the newest frameworks trying to fill programers needs by other approaches, like multitier programming or dataflow programming. In the second chapter, we introduce Pendulum and its instructions, its interface with the host language, and what it brings to both synchronous and Web programming. In the third and fourth chapter, we present the compilation method, GRC a.k.a GraphCode, that produces a control flow graph from the source code. In the first part, we insist mainly on GRC structure, the rules describing its creation and our technic to linearize parallel branches. Then, we describe the how to initialize synchronous execution environment in OCaml. In the fifth chapter, we show why it is a benefit to use synchronous programming in client programming and how its execution model can natively match the Web browser execution model. We use those ideas to show how a synchronous program can be fast to handle events without optimisation attempt. Before we conclude, we detail several examples implemented with our language to show how expressive and safe synchronous programming can be on diverse programs, implying multimedia and interactions
9
Kaye, Steven James. « Conjugation class from Latin to Romance : heteroclisis in diachrony and synchrony ». Thesis, University of Oxford, 2015. https://ora.ox.ac.uk/objects/uuid:c856559e-bd2b-475d-b4b5-afe1e164056a.
Texte intégralRésumé :
This thesis investigates the origins and behaviour of the non-canonical morphological phenomenon of heteroclisis in the verb paradigms of Latin and the Romance languages. Heteroclisis is the coexistence, within a single paradigm, of forms which pattern according to different inflectional classes existing otherwise in the language: a heteroclite lexeme can thus be seen as 'mixed' or 'undecided' as to its inflectional identity. I begin by examining the development of the theoretical concept of heteroclisis and approaches to the idea of inflectional class in general, before situating heteroclisis in typological space in comparison with better-known instances of non-canonical morphology such as deponency and suppletion; heteroclisis exists at a different level of generalization from these, because its identification presupposes the existence of inflectional classes, themselves generalizations over the behaviour of individual lexemes. I also consider two recent theoretical treatments of the phenomenon and survey recent linguistic studies making use of the notion. I then look at the synchronic and diachronic behaviour of heteroclisis in Latin and Romance verbs: the great time depth of our attestations of these languages gives us the chance to witness the development of successive examples of heteroclisis, and their subsequent treatment within the morphological system, in the history of a single family. Focusing chiefly on data from Latin, Romanian and Romansh, I find that the principal (though not the only) source for new instances of heteroclisis in Latin/Romance lies in regular sound change, and find that speakers can treat these synchronically anomalous patterns as robust models of inflectional behaviour to be extended over the lexicon or brought into line with pre-existing types of paradigm-internal alternation. These findings concur with previous demonstrations that speakers make use of non-canonical phenomena as markers of the internal structure of inflectional paradigms.
10
Yun, Hyeon. « Echanges à distance entre apprenants de FLE. : Etude des interactions synchrones en contexte académique ». Phd thesis, Université de la Sorbonne nouvelle - Paris III, 2009. http://tel.archives-ouvertes.fr/tel-00440899.
Texte intégralRésumé :
Cette recherche relève du domaine de la didactique du FLE et de l'usage de la communication médiée par ordinateur [CMO], plus particulièrement du clavardage, outil de communication synchrone à base textuelle. Notre recherche se place dans une perspective interactionnelle et acquisitionnelle en L2 en mettant l'accent sur la construction des discussions entre participants lors de séances de clavardage. Le public étudié est composé d'étudiants de nationalités variées en master ou doctorat dans des universités en France, et qui souhaitent améliorer la langue qu'ils doivent utiliser en milieu académique. Notre analyse du " discours-en-interaction par clavardage " a pour but d'étudier les interactions en tenant compte des spécificités de l'outil et du contexte de la discussion. En premier lieu, nous examinons la structure des énoncés en L2 au niveau de l'utilisation du lexique, des structures complexes et des marques transcodiques. En deuxième lieu, nous analysons l'utilisation des topogrammes dans un contexte académique et leurs diverses fonctions. Cette analyse montre la manière dont les apprenants se focalisent à la fois sur l'objet thématique de la discussion et sur la résolution des obstacles linguistiques ou discursifs auxquels ils sont confrontés lors des échanges. En dernier lieu, nous étudions la manière dont les apprenants construisent et co-construisent les discussions par clavardage. Les énoncés que l'apprenant construit à partir des discours de ses différents interlocuteurs lui permettent, tout en alimentant ses compétences pragmatiques, d'approfondir le sujet en discussion. Nous examinons également comment les savoirs sur les pratiques académiques naissent et se transforment au fil des interactions. Nous cherchons à montrer à la fois le bénéfice de l'utilisation du clavardage pour la recherche sur la langue d'apprenants avancés et son intérêt comme outil po! ur favoriser l'appropriation d'une L2.
11
Fallon, Paul Ryan. « Synchronic variation and historical change in language ». Thesis, Bangor University, 1992. https://research.bangor.ac.uk/portal/en/theses/synchronic-variation-and-historical-change-in-language(003fb6ff-0d9b-45c6-9258-08b0c6ec5b0b).html.
Texte intégralRésumé :
Variation In the sequence /Cju/ (as In nubile, issue) Is manifested In the phonemic variants, gilded [Cj], ungLided ECI, coalesced ENJ)1. Of the 17 possible C, variation mainly occurs In the set of E+cor]E+antl consonants. The origins of the sequence are traced to OE and Angto French sources. The former created /Cju/,, the tatter began the modification to variants. The primary Linguistic causes of change were stress In borrowed suffixes shifting to native patterns, leading to some categorical variants with ECI In /t ds z/; and phonotactic constraints on word Initial clusters In /r I/ producing ungLLded ECL Lexical diffusion proceeds within the preceding consonant by subenvironments, defined by word Initial position or by suffix, rather than by frequency. Empirical, testing of Linguistic constraints on the distribution and selection of variants, took place In 2 boys schools In Liverpool, with 77 subjects aged 12-13 and 17-18 years. Elicitation was by reading passage and word list (k = 65). Dialects from the urban baslLect Scouse (used Largely In the city centre school), to adopted RP (found In the suburban school) were examined. Results confirmed the variability among coronat consonants but with categorical subenvIronments, mainly In the coatescents /t ds z/. In British English while the continuants /s z/ access aLL variants, stops are restricted to +gLide and C. The complex patterning of variants for /s z/ was resolved. After /1/, Loss was pervasive Lexically and socially. The presence of palatalized variants In 1h n I/ was noted. Glide loss was recorded In the basliect after word initial /n/. Minor areas of loss occurred in some non coronal, consonants, when /u/ reduced to shwa. Generally there was little Idiolectal variation In spread of variants, Of the synchronic Linguistic explanatory variables, (including syllabification and word position), stress was the most useful, sometimes working with the others. For the coalescents, i-stress] operates In conjunction with stress In contiguous syllables.
12
Alexander, David B. « The Spanish postnominal demonstrative in synchrony and diachrony ». Columbus, Ohio : Ohio State University, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1189813638.
Texte intégral
13
Gasparyan, Gohar. « Das armenische Tempus- und Modussystem : Synchrone und diachrone Analyse / ». Wiesbaden : Reichert, 2000. http://catalogue.bnf.fr/ark:/12148/cb39266160s.
Texte intégral
14
Mutz, Katrin. « Die italienischen Modifikationssuffixe : Synchronie und Diachronie / ». Frankfurt am Main : P. Lang : Europäischer Verl. der Wissenschaften, 2000. http://catalogue.bnf.fr/ark:/12148/cb388776777.
Texte intégral
15
Zampaulo, Andre. « When Synchrony Meets Diachrony : (Alveolo)Palatal Sound Patterns in Spanish and other Romance Languages ». The Ohio State University, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=osu1366281993.
Texte intégral
16
Fallon, Paul Dennis. « The synchronic and diachronic phonology of ejectives / ». The Ohio State University, 1998. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487951595501002.
Texte intégral
17
Arsenec, Nicole. « Etude contrastive des créoles de la Jamaïque et de la Martinique ». Thesis, Aix-Marseille, 2015. http://www.theses.fr/2015AIXM3079/document.
Texte intégralRésumé :
Motivée par Mervyn ALLEYNE (1980) qui met en évidence certaines spécificités des langues afro-américaines à bases lexicales différentes (verbes sériels, clivage du prédicat, TMA…), cette étude contrastive adopte une perspective synchronique d’un point de vue fonctionnel et structural afin d’établir les caractéristiques communes et les traits distinctifs des langues créoles de la Jamaïque (JC) et de la Martinique (CM) au-delà de leurs bases lexicales anglaise (CBLA) et française (CBLF). Les spécificités dégagées en JC & CM ne fonctionnent ni en anglais, ni en français, mais dans des créoles de part et d’autre de l’Atlantique quelle que soit leur base lexicale (CBLE, CBLP, CBLH). Elles se trouvent également dans certaines langues africaines du substrat. Selon la méthode comparative élaborée par OBENGA (1993) pour définir une famille de langues, la comparaison aborde les domaines phonétique, phonologique, syllabique, morphologique, syntaxique et sémantique afin d’évaluer des similitudes structurelles en JC & CM. Cette étude permet de conclure qu’il s’agit d’une nouvelle famille de langues pour lesquelles les langues européennes s’avèrent déterminantes au niveau lexical, les langues africaines étant essentielles au niveau des structures phonologique, prosodique, syllabique, sémantique et morphosyntaxiqueThis contrastive approach was impulsed by Mervyn ALLEYNE (1980) who pointed out, « Some Similarities of Afro-American » regardless of lexifier, like serial verbs, topicalization, TMA verbal system…In a synchronic perspective, the purpose of this research is to estabish structural and functional similarities between Jamaican Creole (JC) based on English lexicon (CBEL) and Martinican Creole (CM) based on French lexicon (CBFL) in order to identify distinctive features of Creole Languages.After a survey of the linguistic fields according to the method to determine a family of languages of Theophile OBENGA (1993), it becomes obvious that these specific structures are more than similar in these two Afro-American languages.Opposed to flexional languages like English and French, widely spread in West African languages, these characteristics are functioning in Creole Languages on both sides of the Atlantic Ocean, and can be considered as distinctive features. In this new family of languages, European languages are decisive at a lexical level, while African languages are essential for phonemic, prosodic, syllabic, semantic and morphosyntactic structures
18
Lane, Peter. « Simple synchrony networks : a new connectionist architecture applied to natural language parsing ». Thesis, University of Exeter, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.322386.
Texte intégral
19
Maiwald, Cordula. « Das temporale System des Mittelbairischen : synchrone Variation und diachroner Wandel / ». Heidelberg : Winter, 2002. http://catalogue.bnf.fr/ark:/12148/cb389899459.
Texte intégral
20
Quernheim, Daniel. « Bimorphism Machine Translation ». Doctoral thesis, Universitätsbibliothek Leipzig, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-223667.
Texte intégralRésumé :
The field of statistical machine translation has made tremendous progress due to the rise of statistical methods, making it possible to obtain a translation system automatically from a bilingual collection of text. Some approaches do not even need any kind of linguistic annotation, and can infer translation rules from raw, unannotated data. However, most state-of-the art systems do linguistic structure little justice, and moreover many approaches that have been put forward use ad-hoc formalisms and algorithms. This inevitably leads to duplication of effort, and a separation between theoretical researchers and practitioners.
In order to remedy the lack of motivation and rigor, the contributions of this dissertation are threefold:
1. After laying out the historical background and context, as well as the mathematical and linguistic foundations, a rigorous algebraic model of machine translation is put forward. We use regular tree grammars and bimorphisms as the backbone, introducing a modular architecture that allows different input and output formalisms.
2. The challenges of implementing this bimorphism-based model in a machine translation toolkit are then described, explaining in detail the algorithms used for the core components.
3. Finally, experiments where the toolkit is applied on real-world data and used for diagnostic purposes are described. We discuss how we use exact decoding to reason about search errors and model errors in a popular machine translation toolkit, and we compare output formalisms of different generative capacity.
21
Kang, Hyeon-Seok. « Phonological variation in glides and diphthongs of Seoul Korean : Its synchrony and diachrony / ». The Ohio State University, 1997. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487943341527486.
Texte intégral
22
Go, Gwang-Yoon. « The synchrony and diachrony of the English prepositional passive : form, meaning, and function / ». The Ohio State University, 2000. http://rave.ohiolink.edu/etdc/view?acc_num=osu1488199501405655.
Texte intégral
23
Helgason, Pétur. « Preaspiration in the Nordic languages : synchronic and diachronic aspects ». Doctoral thesis, Stockholms universitet, Institutionen för lingvistik, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-4.
Texte intégralRésumé :
Preaspiration—the production of glottal friction at the juncture of a vowel and a consonant—appears to be typologically rare but is an areal linguistic feature of Northwestern Europe. This study contains a survey of the known geographical spread of preaspirated stops, their phonological distribution and phonetic expressions in some Nordic dialects. The study also suggests a reconstruction of the phonetics of the Proto-Nordic stop contrasts based on synchronic data as well as a more general framework of historical sound change. Following an introduction (Chapter 1), Chapter 2 deals with the definition and typology of preaspiration presenting a global overview of the known geographical spread of preaspiration. The apparent rarity of preaspiration is considered. Proposed, perceptually based explanations of this rarity are evaluated. Chapter 3 offers a fairly detailed account of the known areal spread of preaspiration in Europe. Stop systems of several dialects in which preaspiration occurs are analysed in terms of voicing conditions. These analyses are based mainly on descriptions provided in the dialectological literature. Chapter 4 presents data on durational variation and other phonetic patterns of stop production in Central Standard Swedish, Tórshavn Faroese, Gräsö Swedish and Western Åland Swedish. The results reveal a greater degree of phonetic variation than has been assumed to date. In particular, speakers of Central Standard Swedish are shown to use preaspiration as a regular feature in their voiceless stop production. In Chapter 5, finally, the results of the data analysis are used in an attempt to reconstruct the phonetic expression of stop contrasts in Proto-Nordic. It is argued that Proto-Nordic stop production was largely similar to the stop production of today’s Central Standard Swedish. As regards phonological structure, however, the Proto-Nordic stop contrasts appear to have been largely preserved in all dialects considered. This conclusion is found to be compatible with an expansion/contraction (E/C) model of historical sound change.För att köpa boken skicka en beställning till exp@ling.su.se/ To order the book send an e-mail to exp@ling.su.se
24
Helgason, Pétur. « Preaspiration in the Nordic languages : synchronic and diachronic aspects / ». Stockholm : Univ, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-4.
Texte intégral
25
Krämer, Sabine. « Synchrone Analyse als Fenster zur Diachronie : die Grammatikalisierung von werden + Infinitiv / ». München : LINCOM Europa, 2005. http://catalogue.bnf.fr/ark:/12148/cb41081921z.
Texte intégralRésumé :
Texte remanié de: Dissertation--Philosophische Fakultät II--Berlin--Humboldt Universität, 2004. Titre de soutenance : Die Konstruktion werden + Infinitiv : synchroner Status und diachrone Perspektive.Bibliogr. p. 141-149.
26
Loveday, Leo John. « The sociolinguistic evolution and synchronic dynamics of language contact in Japan ». Thesis, University of Essex, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236709.
Texte intégral
27
Kim, Hyeree. « The synchrony and diachrony of english impersonal verbs : a study in syntactic and lexical change / ». The Ohio State University, 1996. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487936356157758.
Texte intégral
28
El, Sibaïe Besognet Rémy. « Programmation Web Réactive dans un cadre typé statiquement pour l'orchestration de contenus multimédia riches ». Electronic Thesis or Diss., Sorbonne université, 2018. http://www.theses.fr/2018SORUS169.
Texte intégralRésumé :
Le but de cette thèse est d'apporter de nouvelles possibilités au domaine de la programmation Web, dont les technologies répandues ne capturent pas toutes les problématiques engendrées par les interactions dans une application. Notre solution est un langage, Pendulum, inspiré de la programmation synchrone réactive en Esterel et se présentant comme une extension à OCaml. Il permet de gagner en sûreté et en expressivité en particulier dans la gestion d'interaction multiples. Dans une première partie, nous présentons notre perception de la programmation Web d'aujourd'hui en partant du standard pour aller vers les technologies plus modernes qui tentent de subvenir aux besoins des programmes par d'autres approches, notamment la programmation multitier et les modèles de concurrence en flot de données. Dans une seconde partie, nous introduisons le langage Pendulum et ses constructions, ce qu'il propose comme interopérabilité avec le client Web le différenciant d'autres langages synchrones, et l'interface de programmation qui le connecte avec le langage hôte. Dans les parties trois et quatre, nous présentons la méthode de compilation utilisée, GRC, pour GraphCode, qui produit un graphe de flot de contrôle à partir du programme synchrone source. On revient sur la structure du GRC, les règles permettant de le construire, ainsi que notre méthode d'ordonnancement statique. Nous décrivons ensuite la génération de l'environnement d'exécution d'un programme synchrone dans le programme hôte. Dans une cinquième partie, nous montrons l'intérêt de la programmation synchrone dans le client et en quoi son modèle d'exécution s'adapte naturellement à celui du navigateur Web. Nous montrons qu'il est possible de profiter de cet avantage pour réagir aux évènements plus efficacement sans efforts d'optimisation. Avant de conclure, nous présentons de multiples exemples implémentés en Pendulum pour mettre en avant les qualités d'expressivité et de sûreté de la programmation synchrone sur différentes problématiques impliquant du multimédia et des interactionsThe goal of this thesis is to bring new capabilities to Web programming, whose languages, frameworks don't handle all the problematics raised by interactions in a Web application. Our solution is a programming language, Pendulum, taking its roots in synchronous reactive model à la Esterel. It brings safety and expressiveness, especially when handling multiple interactions. In the first chapter, we give our point of view on what is Web programming today, from the standard to the newest frameworks trying to fill programers needs by other approaches, like multitier programming or dataflow programming. In the second chapter, we introduce Pendulum and its instructions, its interface with the host language, and what it brings to both synchronous and Web programming. In the third and fourth chapter, we present the compilation method, GRC a.k.a GraphCode, that produces a control flow graph from the source code. In the first part, we insist mainly on GRC structure, the rules describing its creation and our technic to linearize parallel branches. Then, we describe the how to initialize synchronous execution environment in OCaml. In the fifth chapter, we show why it is a benefit to use synchronous programming in client programming and how its execution model can natively match the Web browser execution model. We use those ideas to show how a synchronous program can be fast to handle events without optimisation attempt. Before we conclude, we detail several examples implemented with our language to show how expressive and safe synchronous programming can be on diverse programs, implying multimedia and interactions
29
Hutto, Megan. « Vowels in Kotiria and Wa'ikhana| A diachronic and synchronic analysis ». Thesis, University of Colorado at Boulder, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=1589966.
Texte intégralRésumé :
This study first postulates a set of vowels for Proto-Kotiria and Wa'ikhana informed by previous studies which reconstructed the vowels for Proto-Tukanoan, the family to which Kotiria and Wa'ikhana belong, and by the modern vowel inventories of these languages. Then, a comparative description of vowel pronunciation between two time points, 1905 and 2010, is undertaken. This description reveals that, while there has not been a change in vowel inventory, there are differences in speakers' production of vowels between these two times. The suprasegmental systems as well as the aspiration patterns of each of these languages is also looked at as possible explanation for changes in pronunciation.
30
Delaval, Gwenaël. « Répartition modulaire de programmes synchrones ». Phd thesis, Grenoble INPG, 2008. http://tel.archives-ouvertes.fr/tel-00750832.
Texte intégralRésumé :
Nous nous intéressons à la conception sûre de systèmes répartis. Nous montrons qu'avec la complexité et l'intégration croissante des systèmes embarqués, la structure fonctionnelle du système peut entrer en conflit avec la structure de son architecture. L'approche traditionnelle de conception par raffinement de cette architecture compromet alors la modularité fonctionnelle du système. Nous proposons donc une méthode permettant de concevoir un système réparti défini comme un programme unique, dont la structure fonctionnelle est indépendante de l'architecture du système. Cette méthode est basée sur l'ajout de primitives de répartition à un langage flots de données synchrone. Ces primitives permettent d'une part de déclarer l'architecture sous la forme d'un graphe définissant les ressources existantes et les liens de communication existant entre ces ressources, et d'autre part de spécifier par des annotations la localisation de certaines valeurs et calculs du programme. Nous définissons ensuite la sémantique formelle de ce langage étendu. Cette sémantique a pour but de rendre compte de manière formelle l'effet des annotations ajoutées par le programmeur. Un système de types à effets permet ensuite de vérifier la cohérence de ces annotations. Ce système de types est muni d'un mécanisme d'inférence, qui permet d'inférer, à partir des annotations du programmeur, la localisation des calculs non annotés. Nous définissons ensuite, à partir de ce système de types, une méthode de répartition automatique permettant d'obtenir, à partir d'un programme annoté, un fragment de programme par ressource de l'architecture. La correction du système de types avec la sémantique du langage est prouvée, ainsi que l'équivalence sémantique de l'exécution des fragments obtenus par la méthode de répartition automatique avec le programme initial. Cette méthode a été implémentée dans le compilateur du langage Lucid Synchrone, et testée sur un exemple de radio logicielle.
31
Delaval, Gwenaël. « Répartition modulaire de programmes synchrones ». Phd thesis, Grenoble INPG, 2008. http://www.theses.fr/2008INPG0059.
Texte intégralRésumé :
Nous nous intéressons à la conception sûre de systèmes répartis. Nous proposons une méthode permettant de concevoir un système réparti défini comme un programme unique, dont la structure fonctionnelle est indépendante de l'architecture du système. Cette méthode est basée sur l'ajout de primitives de répartition à un langage flots de données synchrone permettant le placement par le programmeur de certains calculs sur les ressources de l'architecture. Un système d'inférence de types est utilisé pour vérifier la cohérence de ces annotations, ainsi que pour inférer la localisation des valeurs non annotées. Ce système de types est ensuite utilisé pour la définition d'une opération de répartition modulaire, conservant la structure fonctionnelle du programme. La sémantique du programme obtenu par cette méthode est équivalente à la sémantique du programme initial. Le système de types et l'opération de répartition automatique ont été implémentés dans le compilateur du langage Lucid SynchroneWe address the design of distributed systems with synchronous dataflow programming languages. As modular design entails handling both architectural and functional modularity, the first contribution is to extend an existing synchronous dataflow programming language with primitives allowing the description of a distributed architecture and the localization of some values or computations. A type system is defined, in order to infer the localization of non-annotated values and to en sure, at compilation time, the consistency of the distribution. This type system is used to define a type-directed projection operation to obtain automatically, from a centralized typed program, the local program to be executed by each computing resource. The program obtained by mean of this operation is proved to be semantically equivalent to the initial one. The type system as weil as the automatic distribution mechanism has been fully implemented in the Lucid Synchrone compiler
32
Güldemann, Tom. « Quotative indexes in African languages a synchronic and diachronic survey ». Berlin [u.a.] de Gruyter, 2008. http://www.reference-global.com/action/showBook?doi=10.1515%2F9783110211450.
Texte intégral
33
Güldemann, Tom. « Quotative indexes in African languages a synchronic and diachronic survey ». Berlin New York, NY Mouton de Gruyter, 2002. http://d-nb.info/979523680/04.
Texte intégral
34
Tennis, Joseph T. « Diachronic and Synchronic Indexing : Modeling Conceptual Change in Indexing Languages ». CAIS/ACSI, 2007. http://hdl.handle.net/10150/105762.
Texte intégralRésumé :
This is a revised version of the paper available at: http://www.cais-acsi.ca/proceedings/2007/tennis_2007.pdfThis paper outlines a model of conceptual change in indexing languages. Findings from this modeling effort point to three ways meaning and relationships are established and then change in an indexing language. These ways: structural, terminological, and textual point to ways indexing language metadata can aid in managing conceptual change in indexing languages. Résumé : Cette communication esquisse un modèle du changement conceptuel des langages d’indexation. Les résultats de cette tentative de modélisation convergent vers une triple dimension. Les relations sont établies, puis modifiées dans un langage d’indexation. Ces dimensions, structurelle, terminologique et textuelle, indiquent de quelle manière les langages de métadonnées peuvent contribuer à la gestion du changement conceptuel des langages d’indexation. Résumé : Cette communication esquisse un modèle du changement conceptuel des langages dâ indexation. Les résultats de cette tentative de modélisation convergent vers une triple dimension. Les relations sont établies, puis modifiées dans un langage dâ indexation. Ces dimensions, structurelle, terminologique et textuelle, indiquent de quelle manière les langages de métadonnées peuvent contribuer à la gestion du changement conceptuel des langages dâ indexation.
35
Elenbaas, Marion. « The synchronic and diachronic syntax of the English verb-particle combination / ». Utrecht : LOT, 2007. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=015659575&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA.
Texte intégral
36
Gérard, Léonard. « Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d’une compilation synchrone ». Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112202/document.
Texte intégralRésumé :
Les langages synchrones ont été fondés pour modéliser et implémenter les systèmes réactifs temps-réels critiques. Avec la complexité toujours croissante des systèmes contrôlés, la vitesse d'exécution devient un critère important. Nous sommes donc à la recherche d'une exécution parallèle, combinant efficacité et sûreté.Les langages synchrones ont toujours intégré la notion de parallélisme, mais ce, pour l'expressivité de la modélisation. Leurs compilations visent principalement les circuits ou la génération de code séquentiel. Tous ont une sémantique formelle, qui rend possible la distribution correcte du code. Mais la préservation de cette sémantique peut être un obstacle à l'efficacité du code généré, particulièrement s'il est nécessaire de préserver une notion d'instant global au système.Le modèle sémantique qui nous intéresse est celui des réseaux de Kahn. Ces réseaux modélisent des calculateurs distribués, communiquant au travers de files de taille non bornée. Dans ce cadre, la distribution ne demande aucune communication ni synchronisation supplémentaire. En considérant l'histoire des files de communication, la sémantique de Kahn permet de s'abstraire de l'exécution effective, tout en garantissant le déterminisme du calcul. Pour cela, chaque nœud du réseau doit avoir une sémantique fonctionnelle continue.Le langage que nous développons est Heptagon, un langage synchrone fonctionnel du premier ordre, déscendant de Lustre. Son compilateur est un prototype universitaire, apparenté à l'outil industriel Scade. Grâce à sa sémantique de Kahn, la distribution d'un programme Heptagon ne pose pas de question, son efficacité beaucoup plus.L'efficacité requiert de minimiser les synchronisations. Cela revêt deux aspects non indépendants. Avoir un découplage suffisant des calculs : il y a des délais dans les dépendances entre calculs. Avoir une granularité importante des calculs : un fort ratio temps de calcul sur fréquence de communication. Or la sémantique synchrone et les horloges d'un programme Heptagon reflètent exactement l'inverse. Elles permettent au programmeur de se contenter d'un découplage d'un instant et à chaque instant, au maximum une valeur est calculée. De plus, les instants sont typiquement courts, pour assurer que le système réagit rapidement.Des précédents travaux sur le sujet, nous tirons deux constats.Le premier est que nous souhaitons le contrôle du parallélisme par le programmeur, directement dans le code source. Il doit pouvoir maîtriser à quels instants il y a communication ou synchronisation. La solution que nous proposons dans ce manuscrit est l'utilisation des futures dans Heptagon. Ils fournissent ce pouvoir au programmeur, tout en restant des annotations qui peuvent être supprimées sans changer la sémantique dénotationnelle du programme.Le deuxième constat est que la question de la granularité des calculs est une question profonde, touchant en particulier aux questions de dépendance de données, de choix des horloges et de compilation modulaire. Heptagon, comme ses parents, restreint les réseaux de Kahn qui peuvent être écrits, de telle sorte que ces trois questions se traitent séparément. Pour mieux comprendre le lien entre ces éléments, nous revenons aux réseaux de Kahn. Notre principal résultat est la définition de la sous-classe des réseaux ordonnés réactifs. Ceux-ci sont les seuls pour lesquels nous pouvons décrire modulairement le comportement avec des horloges, sans restreindre les contextes d'appels. Ces réseaux ont une signature d'horloge en forme normale, qui maximise la granularité. Pour l'exprimer, nous introduisons les horloges entières, décrivant la communication de plusieurs valeurs en un seul instant. Nous appliquons ensuite nos résultats pour voir sous un nouveau jour Heptagon, Signal, les politiques des objets de Lucid Synchrone, mais aussi proposer une analyse pleinement modulaire de Lucy-n langage synchrone le plus fidèle aux réseaux de KahnSynchronous languages are used to program critical reactive systems. Today, systems require to find a way to execute them safely and in parallel. Parallelism has always been part of synchronous langages, but for modeling purpose. Their formal semantics allow to distribute them, but preserving the semantics may be ressource costly and prevent good parallel execution.The Kahn networks model is of great interest. It models distributed computers, communicating through unbounded FIFOs, ensuring that the computed values are deterministic, without any need of added synchronization.We develop the langage Heptagon, a first order functional synchronous son of Lustre.The compiler is an academic prototype of the industrial tool Scade. Thanks to its Kahn semantics, it can be distributed. In order to be efficient, one need to maximize the decoupling of computations and maximize the computation granularity. However, synchronous langages allow for very tight computation coupling and usually require thin computation granularity to ensure reactivity of the system.We opt for two research directions. The first one is to give the control of the execution parallelism to the programer. To this mean, we add futures to the source langage Heptagon. They provide control over starting and end of parallel computations, while preserving the functional semantics. Moreover, we provide a compilation for embedded systems, using statically allocated memory. The second one is to study Kahn synchronous semantics to understand data dependencies and maximize granularity of the computations. This touches deeply to the synchronous languages, mixing the usually separated questions of causality and clock calculus. We define the class of reactive ordered Kahn networks. They are the one which may be modularly compiled and whose behavior may be expressed with a clock signature. Moreover, we show that their is a normal form for this signature, maximizing the granularity of the network. To express it, we extend clocks to integer clocks. Then we come back to the synchronous languages we know to understand how to use it. The result is fully used and explained on Lucy-n, the synchronous language closest to Kahn networks
37
Guatto, Adrien. « A synchronous functional language with integer clocks ». Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLEE020/document.
Texte intégralRésumé :
Cette thèse traite de la conception et implémentationd’un langage de programmation pour les systèmes detraitement de flux en temps réel, comme l’encodagevidéo. Le modèle des réseaux de Kahn est bien adaptéà ce domaine et y est couramment utilisé. Dans cemodèle, un programme consiste en un ensemble deprocessus parallèles communicant à travers des filesmono-producteur, mono-consommateur. La force dumodèle réside en son déterminisme.Les langages synchrones fonctionnels comme Lustresont dédiés aux systèmes embarqués critiques. Un programmeLustre définit un réseau de Kahn synchronequi peut être exécuté avec des files bornées et sans blocage.Cette propriété est garantie par un système detypes dédié, le calcul d’horloge, qui établit une échellede temps globale à un programme. Cette échelle detemps globale est utilisée pour définir les horloges, sé-quences booléennes indiquant pour chaque file, et àchaque pas de temps, si un processus produit ou consommeune donnée. Cette information sert non seulementà assurer la synchronie mais également à générerdu logiciel ou matériel à état fini.Nous proposons et étudions les horloges entières, unegénéralisation des horloges booléennes autorisant desentiers naturels arbitrairement grands. Les horlogesentières décrivent la production ou consommation deplusieurs valeurs depuis une même file au cours d’uninstant. Nous les utilisons pour définir la constructiond’échelle de temps locale, qui peut masquer despas de temps cachés par un sous-programme au contexteenglobant.Ces principes sont intégrés à un calcul d’horloge pourun langage fonctionnel d’ordre supérieur. Nous étudionsses propriétés et prouvons en particulier que lesprogrammes bien typés ne bloquent pas. Nous compilonsles programmes typés vers des circuits numériquessynchrones en adaptant le schéma de générationde code dirigé par les horloges de Lustre. L’informationde typage contrôle certains compromis entre temps etespace dans les circuits générésThis thesis addresses the design and implementationof a programming language for real-time streaming applications,such as video decoding. The model of Kahnprocess networks is a natural fit for this area and hasbeen used extensively. In this model, a program consistsin a set of parallel processes communicating via singlereader, single writer queues. The strength of the modellies in its determinism.Synchronous functional languages such as Lustre arededicated to critical embedded systems. A Lustre programdefines a synchronous Kahn process network, thatis, which can be executed using finite queues and withoutdeadlocks. This is enforced by a dedicated type system,the clock calculus, which establishes a global timescale throughout a program. The global time scale isused to define clocks: per-queue boolean sequences indicating,for each time step, whether a process producesor consumes a token in the queue. This information isused both for enforcing synchrony and for generatingfinite-state software or hardware.We propose and study integer clocks, a generalizationof boolean clocks featuring arbitrarily big natural numbers.Integer clocks model the production or consumptionof several values from the same queue in the courseof a time step. We then rely on integer clocks to definethe local time scale construction, which may hide timesteps performed by a sub-program from the surroundingcontext.These principles are integrated into a clock calculus fora higher-order functional language. We study its properties,proving among other results that well-typed programsdo not deadlock. We adjust the clock-directedcode generation scheme of Lustre to generate finite-statedigital synchronous circuits from typed programs. Thetyping information controls certain trade-offs betweentime and space in the generated circuits
38
Ben, Si Said Samir. « De la nature de la variation diatopique en kabyle : étude de la formation des singulier et pluriel nominaux ». Thesis, Nice, 2014. http://www.theses.fr/2014NICE2033/document.
Texte intégralRésumé :
Cette thèse s’articule autour de la formation des noms et de la variation morpho-Phonologique dans les dialectes kabyles. L’analyse des données de mon propre dialecte AEH issues du dictionnaire de Dallet (1982) a montré que1. les éléments qui apparaissent au pluriel mais qui sont absents au singulier sont imprédictibles et ils font donc partie des ingrédients lexicaux de la racine ;2. à partir du dialecte d'AEH, j'ai dégagé la généralisation selon laquelle le pluriel a une taille constante de 5 unités CV. Il s'est avéré par la suite que cela est vrai en réalité pour l’ensemble des dialectes kabyles. Cette généralisation est basée sur les enquêtes de terrain que j'ai menées dans la région de Kabylie. Je propose aussi une analyse de la voyelle initiale en kabyle (et en berbère) qui prend en compte le scénario diachronique de Vycichl (1957) et Brugnatelli (1997) selon lequel en proto-Berbère il y a eu un figement d’anciens démonstratifs avec les noms. J’ai proposé que l’alternance a- (EL) vs w/u- (EA) est allomorphique. Par le même mouvement, j'ai affiné l’analyse de Bendjaballah (2011) en éliminant le CV qui épèle K (le cas). Dans mon analyse, la VII arrive avec son propre CV.Le cadre général de mon analyse est défini par la situation typologique du berbère : il s'agit d'une langue concaténative, puisqu'on ne peut attacher aucune information sémantique ou morpho-Syntaxique aux voyelles ni au gabarit ; la démonstration de la taille constante du pluriel établit par ailleurs que le berbère est gabaritique, i.e. que et les consonnes et les voyelles sont stockées ensemble dans la racine (vocalisée) et le gabarit sont stockés indépendamment dans le lexique. Si donc en sémitique est qu’en sémitique les ingrédients lexicaux d'un mot sont au nombre de trois (racine consonantique, voyelle, gabarit), en kabyle il y en a seulement deux (racine (vocalisée) et gabarit). Dans cet environnement gabaritique mais parfaitement concaténatif, la thèse développe une théorie de la variation diatopique dont les locus sont au nombre de deux : il s’agit d'une part de l’association d’une racine donnée à des gabarits différents dans différents dialectes, d'autre part de racines mélodiquement identiques mais dont des segments peuvent porter à travers les dialectes des instructions lexicales différentes quant à leur comportement lors de l'association. Etant donné le fait que les travaux sur la variation diatopique en afro-Asiatique sont clairsemés, il sera intéressant de voir si la variation dans d'autres langues fonctionne de la même façon.La façon dont la variation diatopique est gérée dans cette thèse se rapporte à la conjecture Borer-Chomsky que, suivant Oostendorp (2013), j’applique à la phonologie. Dans le cas du kabyle, la variation diatopique des singuliers n'implique pas des mécanismes différents de formation du pluriel (computation), mais des marquages lexicaux des racines à faire leur singulier dans telle ou telle classe. Enfin, j’espère que la thèse trouvera sa place dans le débat sur le statut de la racine et du gabarit dans le lexique mental des langues afro-Asiatiques : l'approche classique accorde un statut lexical, grammatical et cognitif indépendant à la racine et au gabarit, alors que la stem-Based morphology soutient que les deux unités cohabitent dans le lexique. Si la variation diatopique en kabyle fonctionne de la manière décrite, i.e. par l’association d’une racine donnée à des gabarits singuliers distincts à travers les dialectes, la racine et le gabarit représentent nécessairement deux unités lexicales indépendantesThis thesis deals with noun formation and morpho-Phonological variation in Kabyle dialects. The analysis of the data in my own dialecte AEH from Dallet (1982) dictionary showed that1) items that appear in the plural but are absent in the singular are unpredictable and they are part of the lexical root ingredients.2) from the dialect of AEH, I've proposed the generalization that the plural has a constant size 5 CV units. It turned out later that this is true in fact for all Kabyle dialects. This generalization is based on field research that I conducted in the Kabylie region.I also proposed an analysis of the initial vowel in Kabyle (and Berber) which takes into account the diachronic scenario of Vycichl (1957) et Brugnatelli (1997) that in Proto-Berber there has been a congealing former demonstrative with names. I suggested that alternating a-(EL) vs w/u (EA) is allomorphic. By the same movement, I refined analysis Bendjaballah (2011) by removing the CV that spells out K (the case). In my analysis, VII arrives with his own CV. The general framework of my analysis is defined by the Berber typological situation: it is a concatenative language, since we cannot attach any semantic or morpho-Syntactic information to vowels or template; demonstration of constant size plural also establishes that Berber is templatic, i.e. and that consonants and vowels are stored together in the root (vocalized) and the template are stored independently in the lexicon. If so Semitic lexical ingredients of a word are three in number (consonant root vowel template), in Kabyle there are only two (root (vocalized) and template).In this templatic but perfectly concatenative environment, the thesis develops a theory of diatopic variation whose locus are two in number: combination of a given root to different templates in different dialects in one hand, and in the other hand, roots melodically identical but whose segments can carry of across the dialects different lexical instructions about their behavior at time of association. Given the fact that work on diatopic variation in Afro-Asiatic are sparse, it will be interesting to see if the variation in other languages works in the same way.How diatopic variation is handled in this thesis relates to the Borer-Chomsky Conjecture that, according Oostendorp (2013), I apply to phonology. In the case of Kabyle, diatopic variation of singulars does not imply different mechanisms of plural formation (computation), but lexical markings to their unique roots in a particular class.Finally, I hope that the thesis will find its place in the debate on the status of the root and template in the mental lexicon of Afro-Asiatic languages: the classical approach gives an independent lexical, grammatical and cognitive status to the root and template, while the stem-Based morphology supports both units coexist in the lexicon. If diatopic variation in Kabyle works as described, i.e. by the association of a given root to a distinct singular templates across dialects, the root and template necessarily represent two independent tokens
39
Didier, Keryan. « Contributions to the safe and efficient parallelisation of hard real-time systems ». Electronic Thesis or Diss., Sorbonne université, 2019. http://www.theses.fr/2019SORUS485.
Texte intégralRésumé :
L'implémentation de systèmes temps-réel implique de nombreuses étapes qui sont jusqu'aujourd'hui faites manuellement. La complexité de tels systèmes et celle des plateformes matérielles sur lesquelles ils s'exécutent rendent de plus en plus difficile d'assurer la correction de ces étapes de conception (en particulier dans de cadre d'exécutions sur plateformes multi-cœurs). Cela rend l'automatisation de tout le processus d'implémentation inévitable. Cette thèse propose une méthode de parallélisation automatique de systèmes temps-réel. La méthode rapproche les domaines du temps-réel et de la compilation en intégrant les étapes de parallélisation, d'ordonnancement, d'allocation mémoire et de génération de code autour d'une analyse et d'un modèle temporel précis qui s'appuient sur des hypothèses fortes sur la plateforme d'exécution et la forme du code généré. Cette thèse propose également un modèle d'implémentation pour du logiciel flot-de-données multithreadé. En utilisant la même base formelle que précédemment (les formalismes flot-de-données synchrones), un modèle représente une implémentation multithreadé dans un langage comme Lustre, étendu avec des annotations de mapping. Cette modélisation permet un raisonnement formel de toutes les décisions d'implémentation et nous proposons une approche vers la preuve de correction de leur fonctionnalité en rapport à leurs spécificationsThe implementation of hard real-time systems involves a lot of steps that are traditionally manual. The growing complexity of such systems and hardware platforms on which they are executed makes increasingly difficult to ensure the correctness of those steps, in particular for the timing properties of the system on multi-core platform. This leads to the need for automation of the whole implementation process. In this thesis, we provide a method for automatic parallel implementation of real-time systems. The method bridge the gap between real-time systems implementation and compilation by integrating parallelization, scheduling, memory allocation, and code generation around a precise timing model and analysis that rely on strong hypothesis on the execution platform and the form of the generated code. The thesis also provides an implementation model for dataflow multithreaded software. Using the same formal ground as the first contribution, the dataflow synchronous formalisms, the model represents multithreaded implementations in a Lustre-like language extended with mapping annotations. This model allows formal reasoning on the correctness of all the mapping decisions used to build the implementation. We propose an approach toward the proof of correctness of the functionality of the implementation with respect to the functional specifications
40
Wipfler, Sophie-Anne [Verfasser], et Eva [Akademischer Betreuer] Eckkrammer. « Le gaga : Langue d'autrefois ? Une étude linguistique synchrone / Sophie-Anne Wipfler ; Betreuer : Eva Eckkrammer ». Mannheim : Universitätsbibliothek Mannheim, 2020. http://d-nb.info/1206538716/34.
Texte intégral
41
Park, Jung-ran. « A study of selected Korean pragmatic markers synchronic and diachronic perspectives / ». Thesis, University of Hawaii at Manoa, 2003. http://proquest.umi.com/pqdweb?index=0&did=764745671&SrchMode=2&sid=3&Fmt=2&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1233176031&clientId=23440.
Texte intégral
42
Ferrazzano, Lisa Reisig. « Demonstratives in motion| The grammaticalization of demonstratives as a window into synchronic phenomena ». Thesis, City University of New York, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3601868.
Texte intégralRésumé :
There is significant variation in the literature on how demonstratives are characterized semantically, leading to divergent syntactic analyses of demonstratives. A major source of this disagreement regards how distance specifications relate to the demonstrative: whether [+/− speaker] is an integral property of the demonstrative or not. I argue that distance-marking divides the class of demonstratives into strong and weak, along the lines of what Cardinaletti and Starke (1999) propose for pronouns. Strong demonstratives possess a [+/− speaker] feature, while weak demonstratives have a neutral [speaker] feature, corresponding to a distance-neutral interpretation, and the pragmatic notion of immediate accessibility of the referent (Lyons 1999).
The diachronic component of this work serves as a lens through which to view the demonstrative’s synchronic behavior. I argue that the process of grammaticalization (Meillet 1912) allows us to ‘see’ certain aspects of a demonstrative’s meaning (and, I argue, corresponding internal syntactic structure) getting peeled away as the demonstrative evolves. Latin ille and spoken Finnish se provide evidence that demonstratives pass through a distance-neutral phase before being analyzed as definite articles, suggesting that strong and weak demonstratives should receive distinct analyses in the synchronic domain. I argue that strong and weak demonstratives can be viewed as synchronic imprints of a diachronic process.
In addition to teasing apart different semantic types of demonstratives, this dissertation seeks to identify differences between demonstratives and definite articles. I propose that the demonstrative is specified for (i) [(+/−) speaker], (ii) [+contrastive] (encoding contrast), and (iii) [+identifiability], and that these features are encoded on functional heads in the extended projection of the demonstrative. The complex demonstrative is merged in a dedicated functional projection ([Spec, TrackerAdjP) within the DP. The definite article, in contrast, expresses only [+identifiability], and is merged directly in the DP projection. I argue that the common core of [+identifiability] helps explain the synchronic and diachronic dependency between the demonstrative and the DP projection, and sheds light on our discussion on the phenomenon of apparent ‘double definiteness.’
43
Horáček, Petr. « Synchronní formální systémy založené na gramatikách a převodnících ». Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2014. http://www.nusl.cz/ntk/nusl-261246.
Texte intégralRésumé :
Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.
44
Fouilleul, Martin. « Un environnement de programmation temporelle pour le spectacle vivant et les installations artistiques ». Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS016.
Texte intégralRésumé :
Le temps est un aspect fondamental de tout spectacle vivant, et de bon nombre d’installations artistiques. Les dispositifs techniques participent à un riche réseau d'interactions temporelles avec les interprètes humains et le public. Dans ce contexte, les techniciens et les artistes ont besoin d’outils pour planifier et contrôler les scénarios temporels de leurs œuvres. Dans ce travail, nous présentons un environnement appelé Quadrant, destiné à concevoir et mettre en œuvre des scénarios temporels. Ces scénarios peuvent être utilisés pour piloter divers aspects techniques de spectacles, comme lancer des sons ou des vidéos, contrôler des lumières, etc. Nous explorons une approche hybride entre un langage de programmation et un logiciel de conduite de spectacle. Cet environnement comporte un éditeur structuré opérant sur un arbre de syntaxe combinant des éléments textuels et graphiques. Ceci permet de spécifier algorithmiquement des scénarios, tout en exprimant des transformations temporelles continues grâce à des courbes de tempo. Les scénarios sont compilés à la volée vers un bytecode exécuté par une machine virtuelle. Un ordonnanceur coopératif organise l’exécution de flux concurrents le long d'axes temporels multiples, utilisant des dates et des délais symboliques. Le temps symbolique est traduit en temps réel par le biais de courbes de tempo, pour lesquelles nous fournissons un formalisme en termes d'équations différentielles. La machine virtuelle fournit un flux d'informations à l'éditeur, qui peut ainsi afficher ces informations directement dans le code du programme. Ceci permet à l'utilisateur de visualiser la progression du scénario pendant la performanceTemporality is a critical aspect of live shows and art installations. Technical artifacts and processes participate in a rich network of temporal interactions with the human performers and/or the audience. In this context, technicians and artists need tools to plan and control the temporal scenarios of their show or installation. In this work we present Quadrant, a programming environment for designing and performing temporal scenarios. Such scenarios can be used to drive various technical aspects of live shows and art installations, such as audio and video playback, lights, or mechatronics. We explore a hybrid approach aimed at bridging the gap between a programming language and a show controller. Our environment features a structure editor operating on a syntax tree that combines textual tokens and user interface widgets. This allows specifying scenarios algorithmically, while expressing continuous time transformations using graphical curves. Scenarios are compiled on-the-fly into a bytecode run by a virtual machine. A cooperative scheduler organizes the execution of concurrent flows along multiple time axes, using abstract dates and delays. Abstract time is mapped onto wall-clock time through the use of time transformations, specified as tempo curves, for which we provide a formalism in terms of differential equations. Tempo curves can be built from cubic Bézier curves. The virtual machine feeds back execution informations to the structure editor, which uses it to highlight executed statements and display progress wheels and status icons directly in the code. This allows an operator to easily monitor the progression and the temporality of the scenarios
45
Vihan, Jan. « Language, Likeness, and the Han Phenomenon of Convergence ». Thesis, Harvard University, 2012. http://dissertations.umi.com/gsas.harvard:10642.
Texte intégralRésumé :
Although in the classical Chinese outlook the world can only be made sense of through the means devised by the ancient sages and handed down by the tradition, the art of exegesis has long been a neglected subject. Scholars have been all too eager to dispute what their chosen text says than to pay attention to the nuanced ways in which it hones its tools. This dissertation aims to somewhat redirect the discipline's attention by focusing on Xu Shen's Shuowen Jiezi. I approach this compendium of Han philology, typically regarded as a repository of disparate linguistic data, as underlied by a tight theoretical framework reducible to one simple idea. I begin with the discussion of the competing visions of the six principles, for two millenia the basis of instruction in the arts of letters. I identify the relationship between abstraction and representation and the principle of convergence as the main points of contention. I take Xu Shen's convergence to pertain to the Han practice of relating words through sound similarity. This in turn I interpret as one particular manifestation of dispositional categorization (類情), a fortunes turning term in the exegetical tradition of the Change. The third chapter illustrates Xu Shen's twin techniques of relating and differentiating along with the worldview of the Change from which they derive. It introduces the concepts of matching and extension, and pits them against their counterparts of mirroring and analogy. The leitmotifs of the fourth chapter are Xu Shen's argument against the arbitrariness of sign and the relationship between linguistic and cognitive categorization. The fifth chapter compares the Shuowen to other works of Han lexicography, character primers in particular. The phenomenon of paronomastic glossing is examined here in detail. I argue that Xu Shen's ordering of classical vocabulary on the basis of graphic resemblance and the concomitant explanations are but projections of paronomasia into the realm of semiotics. The final chapter situates this likeness driven interpretative strategy against earlier attitudes to language. I close by intimating the creative potential entailed in Xu Shen's recasting of fragmentary diachronic knowledge as a comprehensive synchronic system.East Asian Languages and Civilizations
46
Habermann, Mechthild. « Verbale Wortbildung um 1500 : eine historisch-synchrone Untersuchung anhand von Texten Albrecht Dürers, Heinrich Deichslers und Veit Dietrichs / ». Berlin ; New York : W. de Gruyter, 1994. http://catalogue.bnf.fr/ark:/12148/cb390365707.
Texte intégral
47
Baudart, Guillaume. « A synchronous approach to quasi-periodic systems ». Thesis, Paris Sciences et Lettres (ComUE), 2017. http://www.theses.fr/2017PSLEE007/document.
Texte intégralRésumé :
Cette thèse traite de systèmes embarqués contrôlés par un ensemble de processus périodiques non synchronisés. Chaque processus est activé quasi-périodiquement, c'est-à-dire périodiquement avec une gigue bornée. Les délais de communication sont également bornés. De tels systèmes réactifs, appelés 'quasi-périodiques', apparaissent dès que l'on branche ensemble deux processus périodiques. Dans la littérature, ils sont parfois qualifiés de systèmes distribués temps-réels synchrones. Nous nous intéressons aux techniques de conception et d'analyse de ces systèmes qui n'imposent pas de synchronisation globale. Les langages synchrones ont été introduits pour faciliter la conception des systèmes réactifs. Ils offrent un cadre privilégié pour programmer, analyser, et vérifier des systèmes quasi-périodiques. En s'appuyant sur une approche synchrone, les contributions de cette thèse s'organisent selon trois thématiques: vérification,implémentation, et simulation des systèmes quasi périodiques.Vérification: 'L'abstraction quasi-synchrone' est une abstraction discrète proposée par Paul Caspi pour vérifier des propriétés de sûreté des systèmes quasi-périodiques. Nous démontrons que cette abstraction est en général incorrecte et nous donnons des conditions nécessaires et suffisantes sur le graphe de communication et les caractéristiques temps-réel de l'architecture pour assurer sa correction. Ces résultats sont ensuite généralisés aux systèmes multi-périodiques.Implémentation: Les 'LTTAs' sont des protocoles conçus pour assurer l'exécution correcte d'une application sur un système quasi-périodique. Nous proposons d'étudier les LTTA dans un cadre synchrone unifié qui englobe l'application et les contrôleurs introduits par les protocoles. Cette approche nous permet de simplifier les protocoles existants, de proposer des versions optimisées, et de donner de nouvelles preuves de correction. Nous présentons également dans le même cadre un protocole fondé sur une synchronisation d'horloge pour comparer les performances des deux approches.Simulation: Un système quasi-périodique est un exemple de modèle faisant intervenir des caractéristiques temps-réels et des tolérances. Pour ce type de modèle non déterministe, nous proposons une 'simulation symbolique', inspirée des techniques de vérification des automates temporisés. Nous montrons comment compiler un modèle mêlant des composantes temps-réel non déterministes et des contrôleurs discrets en un programme discret qui manipule des ensembles de valeurs. Chaque trace du programme résultant capture un ensemble d'exécutions possibles du programme sourceIn this thesis we study embedded controllers implemented as sets of unsynchronized periodic processes. Each process activates quasi-periodically, that is, periodically with bounded jitter, and communicates with bounded transmission delays. Such reactive systems,termed 'quasi-periodic', exist as soon as two periodic processes areconnected together. In the distributed systems literature they arealso known as synchronous real-time models. We focus on techniquesfor the design and analysis of such systems without imposing a globa lclock synchronization. Synchronous languages were introduced as domain specific languages for the design of reactive systems. They offer an ideal framework to program, analyze, and verify quasi-periodic systems. Based on a synchronous approach, this thesis makes contributions to the treatment of quasi-periodic systems along three themes: verification,implementation, and simulation.Verification: The 'quasi-synchronous abstraction' is a discrete abstraction proposed by Paul Caspi for model checking safety properties of quasi-periodic systems. We show that this abstractionis not sound in general and give necessary and sufficient conditionson both the static communication graph of the application and the real-time characteristics of the architecture to recover soundness. We then generalize these results to multirate systems.Implementation: 'Loosely time-triggered architectures' are protocols designed to ensure the correct execution of an application running on a quasi-periodic system. We propose a unified framework that encompasses both the application and the protocol controllers. This framework allows us to simplify existing protocols, propose optimized versions, and give new correctness proofs. We instantiate our framework with a protocol based on clock synchronization to compare the performance of the two approaches.Simulation: Quasi-periodic systems are but one example of timed systems involving real-time characteristics and tolerances. For such nondeterministic models, we propose a 'symbolic simulation' scheme inspired by model checking techniques for timed automata. We show how to compile a model mixing nondeterministic continuous-time and discrete-time dynamics into a discrete program manipulating sets of possible values. Each trace of the resulting program captures a set of possible executions of the source program
48
Ngo, Van Chan. « Vérification Formelle d'un Compilateur Synchrone : de Signal vers C ». Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-01058041.
Texte intégralRésumé :
Les langages synchrones tels que SIGNAL, LUSTRE et ESTEREL sont dédiés à la conception de systèmes critiques. Leurs compilateurs, qui sont de très gros programmes complexes, peuvent a priori se révéler incorrects dans certains situations, ce qui donnerait lieu alors à des résultats de compilation erronés non détectés. Ces codes fautifs peuvent invalider des propriétés de sûreté qui ont été prouvées en appliquant des méthodes formelles sur les programmes sources. En adoptant une approche de validation de la traduction, cette thèse vise à prouver formellement la correction d'un compilateur optimisé et industriel de SIGNAL. La preuve de correction représente dans un cadre sémantique commun le programme source et le code compilé, et formalise une relation entre eux pour exprimer la préservation des sémantiques du programme source dans le code compilé.
49
Sugi, Hidemi. « Synchronic and diachronic studies on the Japanese inferential system daroo, mitai, rashii, soo, and yooda / ». Diss., Restricted to subscribing institutions, 2003. http://proquest.umi.com/pqdweb?did=790245971&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.
Texte intégral
50
Müller, Peter O. « Substantiv-derivation in den Schriften Albrecht Dürers : ein Beitrag zur Methodik historisch-synchroner Wortbildungsanalysen / ». Berlin : W. de Gruyter, 1993. http://catalogue.bnf.fr/ark:/12148/cb35728950n.
Texte intégral