Search Results - "[INFO:INFO_PL] Informatique/Langage de programmation"

Amélioration des processus de vérification de programmes par combinaison des méthodes formelles avec l'ingénierie dirigée par les modèles

Authors: Fernandes Pires, A.

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, VERIFICATION, UML, METHODE FORMELLE, INGENIERIE DIRIGEE MODELE

Availability: http://tel.archives-ouvertes.fr/tel-01073570
http://tel.archives-ouvertes.fr/docs/01/07/35/70/PDF/DTIM14058.1412168244.pdf

Type Systems for Distributed Programs: Components and Sessions

Authors: Dardha, Ornela

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, components, distributed systems, concurrency, π-calculus, session types, encoding, progress, lock-freedom

Availability: http://tel.archives-ouvertes.fr/tel-01020998
http://tel.archives-ouvertes.fr/docs/01/02/09/98/PDF/big_main.pdf

De nouveaux outils pour calculer avec des inductifs en Coq

Authors: Boutillier, Pierre

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, Coq (logiciel), Assistants de preuve, Langages de programmation, Sémantique, Induction (logique), filtrage

Availability: http://tel.archives-ouvertes.fr/tel-01054723
http://tel.archives-ouvertes.fr/docs/01/05/47/23/PDF/these_boutillier.pdf
http://tel.archives-ouvertes.fr/docs/01/05/47/23/ANNEX/soutenace_boutillier.pdf

Coercions effaçables : une approche unifiée des systèmes de types

Authors: Cretin, Julien

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, coercion, système de types, polymorphisme, eta-expansion

Availability: http://tel.archives-ouvertes.fr/tel-00940511
http://tel.archives-ouvertes.fr/docs/00/94/05/11/PDF/manuscript-final.pdf

Le Débogage à Distance et la Réflexion dans les Dispositifs à Ressources Limitées

Authors: Papoulias, Nikolaos

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Débogage à distance, Reflexion, Miroirs, Interactivité, Instrumentation, Distribution, Sécurité, Développement Agile

Availability: http://tel.archives-ouvertes.fr/tel-00932796
http://tel.archives-ouvertes.fr/docs/00/93/27/96/PDF/Nikolaos_Papoulias_Remote_Debugging_and_Reflection_in_Resource_Constrained_Devices.pdf

Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles

Authors: Legaux, Joeffrey

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, Modèles de haut niveau, squelettes algorithmiques, parallélisme quasi-synchrone, effort de programmation, expressivité, exceptions, distribution des données, homomorphismes

Availability: http://tel.archives-ouvertes.fr/tel-00990852
http://tel.archives-ouvertes.fr/docs/00/99/08/52/PDF/these.pdf

Towards a safe and secure synchronous language

Authors: Attar, Pejman

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, Programming Language, Compiler, Formal semantics, Synchronous Language, Reactive language, orchestration, security, information flow, type system, data-races, agents, GALS model

Availability: http://tel.archives-ouvertes.fr/tel-00920152
http://tel.archives-ouvertes.fr/docs/00/92/01/52/PDF/paper.pdf

Syntaxe et modèles d'une composition non-associative des programmes et des preuves

Authors: Munch-Maccagnoni, Guillaume

Subject Terms: [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, Composition non-associative, Polarisation, Adjonctions, Modèle direct, Machine abstraite, Calcul de séquents, Contrôle délimité, CPS

Availability: http://tel.archives-ouvertes.fr/tel-00918642
http://tel.archives-ouvertes.fr/docs/00/91/86/42/PDF/these-screen-final.pdf

Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel

Authors: Pasteur, Cédric

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_ES] Computer Science/Embedded Systems, [INFO:INFO_ES] Informatique/Systèmes embarqués, Concurrence, Raffinement, Langages synchrones, Langages fonctionnels, Sémantique, Systèmes de types-et-effets, Parallélisme

Availability: http://tel.archives-ouvertes.fr/tel-00934919
http://tel.archives-ouvertes.fr/docs/00/93/49/19/PDF/Pasteur-These.pdf

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Authors: Neron, Pierre

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, Program Transformation, Real Number arithmetic, Anti-unification, Semantics of Programming Languages, Proof Assistant, Embedded Systems, Quantifier Elimination

Availability: http://tel.archives-ouvertes.fr/tel-00924379
http://tel.archives-ouvertes.fr/docs/00/92/43/79/PDF/these.pdf

Construction flexible des boucles de contrôles autonomes pour les applications à large échelle

Authors: Nzekwa, Russel

Subject Terms: [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, [INFO:INFO_AR] Computer Science/Hardware Architecture, [INFO:INFO_AR] Informatique/Architectures Matérielles, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, applications autonomes, boucle de contrôle, stabilisation, composant, ingénierie dirigée par les modèles

Availability: http://tel.archives-ouvertes.fr/tel-00843874
http://tel.archives-ouvertes.fr/docs/00/84/38/74/PDF/thesis-nzekwa.pdf

POLYMORPHISME PARAM’TRIQUE POUR LE TRAITEMENT DE DOCUMENTS XML

Authors: Xu, Zhiwu

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, XML, polymorphisme parametrique, typage, sous-typage semantique, fonctions d'ordre superieur

Availability: http://tel.archives-ouvertes.fr/tel-00858744
http://tel.archives-ouvertes.fr/docs/00/85/87/44/PDF/main20130613.pdf

A Domain Specific Embedded Language in C++ for lowest-order methods for diffusive problem on general meshes

Authors: Gratien, Jean-Marc

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_NA] Computer Science/Numerical Analysis, [INFO:INFO_NA] Informatique/Analyse numérique, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, DSEL, HPC, GP-GPU, EDP, VF, Generative programming, méthode de bas ordre

Availability: http://tel.archives-ouvertes.fr/tel-00926232
http://tel.archives-ouvertes.fr/docs/00/92/62/32/PDF/TheseJMG.pdf

Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions

Authors: Saha, Suman

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_OS] Computer Science/Operating Systems, [INFO:INFO_OS] Informatique/Système d'exploitation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Code de traitement d'exception, Conception, Recherche de bogue, Fiabilité, Analyse statique, Test et mise au point

Availability: http://tel.archives-ouvertes.fr/tel-00937807
http://tel.archives-ouvertes.fr/docs/00/93/78/07/PDF/Thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/93/78/07/ANNEX/presentation.pdf

ArCo : une Architecture informatique pour un Compagnon Artificiel en interaction avec un utilisateur

Authors: Jost, Céline

Subject Terms: [INFO:INFO_RB] Computer Science/Robotics, [INFO:INFO_RB] Informatique/Robotique, [INFO:INFO_IU] Computer Science/Ubiquitous Computing, [INFO:INFO_IU] Informatique/Informatique ubiquitaire, [INFO:INFO_HC] Computer Science/Human-Computer Interaction, [INFO:INFO_HC] Informatique/Interface homme-machine, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, compagnon artificiel, intelligence ambiante, informatique ubiquitaire, langage de programmation, expérimentation, interaction homme-robot

Availability: http://tel.archives-ouvertes.fr/tel-00861311
http://tel.archives-ouvertes.fr/docs/00/86/24/87/PDF/jost_thesis.pdf

Application-Level Virtual Memory for Object-Oriented Systems

Authors: Martinez Peck, Mariano

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, Mémoire virtuelle, sérialisation, proxies, objets inutilisés, programmation orientée objet

Availability: http://tel.archives-ouvertes.fr/tel-00764991
http://tel.archives-ouvertes.fr/docs/00/76/49/91/PDF/PhD_-_Mariano_Martinez_Peck.pdf
http://tel.archives-ouvertes.fr/docs/00/76/49/91/ANNEX/tutoMarea.pdf
http://tel.archives-ouvertes.fr/docs/00/76/49/91/ANNEX/thesisPresentation.pdf

Supporting Integration Activities in Object-Oriented Applications

Authors: Uquillas-Gomez, Verónica

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_SE] Computer Science/Software Engineering, [INFO:INFO_SE] Informatique/Génie logiciel, object-oriented programming, meta-models, history and version of programs, visualization, semantic merging, program analyses

Availability: http://tel.archives-ouvertes.fr/tel-00762173
http://tel.archives-ouvertes.fr/docs/00/76/21/73/PDF/vub-soft-phd-12-02.pdf

Adapting the polytope model for dynamic and speculative parallelization

Authors: Jimborean, Alexandra

Subject Terms: [INFO:INFO_AR] Computer Science/Hardware Architecture, [INFO:INFO_AR] Informatique/Architectures Matérielles, [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Speculative parallelization, Runtime system, Compiler, Polyhedral model, Dynamic optimizations, Loops, Partial parallelism, LLVM, Automatic parallelization

Availability: http://tel.archives-ouvertes.fr/tel-00733850
http://tel.archives-ouvertes.fr/docs/00/74/96/57/PDF/Jimborean_Alexandra_2012_ED269.pdf

Conception d'un Pro Logiciel Interactif sous R pour la Simulation de Processus de Diffusion

Authors: Guidoum, Arsalane

Subject Terms: [MATH:MATH_PR] Mathematics/Probability, [MATH:MATH_PR] Mathématiques/Probabilités, [MATH:MATH_ST] Mathematics/Statistics, [MATH:MATH_ST] Mathématiques/Statistiques, [STAT:TH] Statistics/Statistics Theory, [STAT:TH] Statistiques/Théorie, [STAT:CO] Statistics/Computation, [STAT:CO] Statistiques/Calcul, [STAT:AP] Statistics/Applications, [STAT:AP] Statistiques/Applications, [INFO:INFO_MS] Computer Science/Mathematical Software, [INFO:INFO_MS] Informatique/Logiciel mathématique, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, modèles attractives, processus de diffusion, simulation, équation différentielle stochastique, modélisation stochastique, langage R

Availability: http://tel.archives-ouvertes.fr/tel-00735806
http://tel.archives-ouvertes.fr/docs/00/73/58/06/PDF/these_PG-MTPS.pdf

Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée

Authors: Ramananandro, Tahina

Subject Terms: [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, sémantique formelle, langages à objets, construction d'objets, représentations de données, compilation, preuves sur machine, RAII, C++, Coq

Availability: http://tel.archives-ouvertes.fr/tel-00769044
http://tel.archives-ouvertes.fr/docs/00/76/90/44/PDF/PhD-Ramananandro.pdf