Výsledky vyhledávání - [INFO:INFO_PL] Informatique/Langage de programmation*

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

Autoři: Legaux, Joeffrey

Témata: [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

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

Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD)

Autoři: Diaz, Daniel

Témata: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_PL] Computer Science/Programming Languages, [INFO:INFO_PL] Informatique/Langage de programmation, [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, Programmation Logique, Prolog, implantation, programmation par contraintes, domaines finis, booleens, langages concurrents, Intelligence Artificielle

Dostupnost: http://tel.archives-ouvertes.fr/tel-00981853
http://tel.archives-ouvertes.fr/docs/00/98/18/53/PDF/diaz-french-thesis.pdf

De nouveaux outils pour calculer avec des inductifs en Coq

Autoři: Boutillier, Pierre

Témata: [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

Dostupnost: 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

Autoři: Cretin, Julien

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

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

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

Autoři: Saha, Suman

Témata: [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

Dostupnost: 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

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

Autoři: Fernandes Pires, A.

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

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

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

Autoři: Guidoum, Arsalane

Témata: [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

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

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

Autoři: Nzekwa, Russel

Témata: [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

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

Environnement pour le développement et la preuve de correction systèmatiques de programmes parallèles fonctionnels

Autoři: Tesson, Julien

Témata: [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_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_PF] Computer Science/Performance, [INFO:INFO_PF] Informatique/Performance et fiabilité, Vérification formelle, Squelettes algorithmiques, Assistant de preuve

Dostupnost: http://tel.archives-ouvertes.fr/tel-00660554
http://tel.archives-ouvertes.fr/docs/00/68/40/51/PDF/julien.tesson_2187.pdf

POLYMORPHISME PARAM’TRIQUE POUR LE TRAITEMENT DE DOCUMENTS XML

Autoři: Xu, Zhiwu

Témata: [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

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

Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo

Autoři: Boespflug, Mathieu

Témata: [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, preuve formelle, réécriture, compilation, théorie des types

Dostupnost: http://tel.archives-ouvertes.fr/tel-00672699
http://tel.archives-ouvertes.fr/docs/00/67/26/99/PDF/thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/67/26/99/ANNEX/slides.pdf

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

Autoři: Munch-Maccagnoni, Guillaume

Témata: [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

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

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

Autoři: Jost, Céline

Témata: [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

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

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

Autoři: Papoulias, Nikolaos

Témata: [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

Dostupnost: 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

Towards a safe and secure synchronous language

Autoři: Attar, Pejman

Témata: [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

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

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

Autoři: Ramananandro, Tahina

Témata: [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

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

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

Autoři: Pasteur, Cédric

Témata: [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

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

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

Autoři: Gratien, Jean-Marc

Témata: [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

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

Application-Level Virtual Memory for Object-Oriented Systems

Autoři: Martinez Peck, Mariano

Témata: [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

Dostupnost: 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

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Autoři: Neron, Pierre

Témata: [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

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