Filters








22,594 Hits in 4.0 sec

Autostabilisation et protocoles réseau

Colette Johnen, Franck Petit, Sébastien Tixeuil
2004 Techniques et sciences informatiques  
point à point (transport de données) et des protocoles de contrôle.  ...  L'autostabilisation constitue donc un moyen simple et efficace de tolérer des fautes ou des pannes transitoires.  ...  Remerciements Ce travail a été partiellement financé par l'action JemSTIC STAR et par l'action spécifique Dynamo.  ... 
doi:10.3166/tsi.23.1027-1056 fatcat:32xwpigrbneebntsc7cisykegm

Introduction

Nathalie Aussenac-Gilles, Nathalie Souf, Lynda Tamine-Nechani
2018 Techniques et sciences informatiques  
Chaque article a été relu par deux relecteurs de la liste cidessous et une des éditrices.  ...  Dalloux et ses co-auteurs « Détection de la négation : corpus français et apprentissage supervisé » répond à un objectif de détection de négation dans les textes.  ... 
doi:10.3166/tsi37-0006 fatcat:34ozz2gmcrh7pnd7xlkxd2ygl4

Group-nets et réseaux lexicographiques. Expressivité et décidabilité

Goulven Guillou
2009 Techniques et sciences informatiques  
Des outils sont donnés pour résoudre certains problèmes de décidabilité pour les strict--nets et les -nets.  ...  Nous proposons deux grandes classes de réseaux, les group − nets et les réseaux lexicographiques, la première se déclinant elle-même en plusieurs sous-classes.  ...  Un angle d'attaque beaucoup plus technique que l'on trouve dans (Badouel et al., 2005) consiste à caractériser les algèbres qui permettent de conserver la même règle de tir ainsi qu'un certain nombre  ... 
doi:10.3166/tsi.28.1171-1201 fatcat:6liljy7z65arpecl2kkcxftc7e

Modélisation anticipative des systèmes musicaux. Reconnaissance, génération, synchronisation et programmation synchrone temps réel en informatique musicale

Arshia Cont
2012 Techniques et sciences informatiques  
Chaque sujet est abordé en appelant une littérature varié en géométrie de l'information, apprentissage actif et automatique, et synchronisation des flux en temps réel pour des signaux musicaux.  ...  MOTS-CLÉS : Informatique musicale, modélisation anticipative, géométrie de l'information, apprentissage automatique, suivi de partition, programmation synchrone.  ...  et science informatiques.  ... 
doi:10.3166/tsi.31.311-335 fatcat:slpprhgt3bf5nlxyezy2pvaxhq

Analyse statique par interprétation abstraite

Xavier Rival
2011 Techniques et sciences informatiques  
Then, we present a panel of recent applications of these techniques to various areas of computer science.  ...  L'interprétation abstraite a été proposée comme un cadre générique permettant de formaliser, dériver et prouver des analyses statiques par approximation conservative, c'est à dire capables de démontrer  ...  De telles techniques sont utilisées par exemple dans ASTRÉE (Blanchet et al., 2003) .  ... 
doi:10.3166/tsi.30.371-380 fatcat:5km63n3xs5hvpphgrzidlnhafy

Indexation multiple et automatisée de composants logiciels

Benjamin Sigonneau, Olivier Ridoux
2006 Techniques et sciences informatiques  
À titre d'exemple, on considère la recherche de méthode dans un package, et trois types de descripteurs, qui sont respectivement formel, semi-formel et informel, sont présentés et combinés.  ...  La relation qui en résulte est consistante et permet d'avoir une classification automatisée des composants considérés.  ...  Nous avons donc étudié une mise en oeuvre de LIS utilisant les techniques des bases de données et des systèmes de fichiers.  ... 
doi:10.3166/tsi.25.9-42 fatcat:woz2j5ibwngxbjphchr6c3jol4

Analyse numérique et réduction de réseaux

Ivan Morel, Damien Stehlé, Gilles villard
2010 Techniques et sciences informatiques  
L'algorithmique des réseaux euclidiens est un outil fréquemment utilisé en informatique et en mathématiques.  ...  Récemment, des outils classiques d'analyse numérique ont été revisités et améliorés, pour exploiter plus systématiquement l'idée de Schnorr et réduire les coûts.  ...  Remerciements Le travail de Ivan Morel et Damien Stehlé a été financé en partie par le projet ANR Lareda, celui de Gilles Villard par le projet ANR Gecko.  ... 
doi:10.3166/tsi.29.115-144 fatcat:hbecyddstjegxdfqutsc2lkkdy

Interactions médiatisées sur scène

Alain Bonardi, Francis Rousseaux
2010 Techniques et sciences informatiques  
Notre perspective est la conception d'environnements informatiques pour la création artistique scénique et sa réception, destinés à trois communautés d'utilisateurs : les créateurs d'oeuvres, les performeurs  ...  et opéra, principalement), et leur recréation par les spectateurs.  ...  grandes questions qui traversent cette science.  ... 
doi:10.3166/tsi.29.871-898 fatcat:hz6bx5tqobgbjgj4kntxwiwnkq

Approche philologique des langages de programmation

Baptiste Mélès
2016 Techniques et sciences informatiques  
, phylogénétiques, stylistiques et littéraires.  ...  On peut dès lors appliquer aux langages de programmation des méthodes issues de la linguistique générale et de la philologie comme les analyses comparatives, synchroniques et diachroniques,étymologiques  ...  Remerciements L'auteur remercie le relecteur anonyme de la revue et Valérie Schafer pour leurs précieuses remarques. Bibliographie  ... 
doi:10.3166/tsi.35.237-254 fatcat:33tyxbp2fjf4jasrieegirncme

Polyèdres et compilation

François Irogoin, Medhi Amini, Corinne Ancourt, Fabien Coelho, Béatrice Creusillet, Ronan Keryell
2012 Techniques et sciences informatiques  
sous-jacents que sont 1) les ensembles, 2) les produits cartésiens d'ensembles , 3) les relations et graphes de relations, et 4) les fonctions et graphes de fonctions, et les applications.  ...  longtemps un motif justifiant leur refus pur et simple.  ...  L'arrivée future de processeurs manycore devrait aussi stimuler la réutilisation et l'extension de ces techniques.  ... 
doi:10.3166/tsi.31.987-1019 fatcat:e4l5fenadbembozjtssylm3jbu

Vérification formelle d'extractions de racines entières

Yves Bertot
2005 Techniques et sciences informatiques  
Cette technique repose encore plus massivement sur les types dépendants et est décrite de façon détaillée dans [BER 04] (Sect. 15.2).  ...  En suivant cette technique, nous arrivonsà démontrer la correction de nos algorithmes de racines carrées et de racines cubiques en suivant exactement le même plan de preuve.  ... 
doi:10.3166/tsi.24.1161-1185 fatcat:thhhqmzojjc5jogaafb2sxe6ja

Etude des systèmes d'horodatage

Kaouthar Biblech, Alban Gabillon, Alexis Bonnecaze
2007 Techniques et sciences informatiques  
L'horodatage de documents électroniques est une technique cryptographique permettant de prouver qu'un document a été créé à une certaine date et qu'il n'a pas été modifié depuis cette date.  ...  Dans cet article, nous classifions et étudions les différents schémas d'horodatage existants et présentons certains systèmes effectivement implantés.  ...  Technique et science informatiques. Volume X -n° X/2005 Technique et science informatiques. Volume X -n° X/2005 Technique et science informatiques.  ... 
doi:10.3166/tsi.26.249-278 fatcat:vc57gsqnwzdrfe6ssdkjx3fdjm

Une étude des jeux distribués

Julien Bernet, David Janin
2013 Techniques et sciences informatiques  
des problèmes de spécification et de conception de systèmes distribués.  ...  Le modèle proposé ici vise à comprendre et à identifier un peu mieux les difficultés intrinsèques liées à la spécification et à la conception de ces systèmes distribués.  ...  Des jeux pour la spécification de programmes Notre modèle s'appuie sur la notion de jeu discret [7] qui, en informatique, peut être utilisée pour modéliser toutes les interactions possibles entre les  ... 
doi:10.3166/tsi.32.1007-1041 fatcat:fd4gt4tponghzbwuojp5ep6j6a

Composants et agents : évolution de la programmation et analyse comparative

Jean-Pierre Briot
2014 Techniques et sciences informatiques  
et (Perrot, Briot, 2004) ).  ...  une série spéciale sur les acteurs et agents (Kafura, Briot, 1998) .  ...  Elle permet ainsi de désigner un objet informatique (dans les premiers langages, des données simples, puis avec Lisp des fonctions, puis des objets) et de le manipuler et le transmettre.  ... 
doi:10.3166/tsi.33.85-115 fatcat:z4fvbkymdrc7dktwq4tamitm4e

Modélisation, classification et propagation dans des réseaux d'influence

David Genest, Stéphane Loiseau
2007 Techniques et sciences informatiques  
Titre abrégé Techniques et sciences informatiques URL de la notice http://okina.univ-angers.fr/publications/ua12855 [11] DOI 10.3166/tsi.26.471-496 [12] Publié sur Okina (http://okina.univ-angers.fr  ...  Techniquement, notre nouveau modèle est une extension du modèle des cartes cognitives auquel nous intégrons la partie représentation des connaissances et lopération de projection du modèle des graphes  ... 
doi:10.3166/tsi.26.471-496 fatcat:vdpbttsdrbfkdk5r5tdqrsn774
« Previous Showing results 1 — 15 out of 22,594 results