Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

123 résultats
keyword_s : Complexité
Page :
triés par

À propos du calcul formel

 Bruno Salvy , Joanna Jongwane
Interstices, 2010
Article dans une revue hal-01350217v1
Image document

Certain Query Answering on Hyperstreams

 Momar Sakho
Computational Complexity [cs.CC]. Université de Lille; Inria, 2020. English. ⟨NNT : ⟩
Thèse tel-03028074v1
Image document

Mapping pipeline skeletons onto heterogeneous platforms

 Anne Benoit , Yves Robert
[Research Report] RR-6087, LIP RR-2007-05, INRIA, LIP. 2007, pp.30
Rapport inria-00122884v3

Weak-order extensions of an order

 Karell Bertet , Jens Gustedt , Michel Morvan
Theoretical Computer Science, 2003, 304 (1-3), pp.249-268. ⟨10.1016/0898-1221(96)00102-2⟩
Article dans une revue inria-00099565v1
Image document

Optimisation discrète dans les réseaux de télécommunication : reconfiguration du routage, routage efficace en énergie, ordonnancement de liens et placement de données

 Dorian Mazauric
Algorithme et structure de données [cs.DS]. Université Nice Sophia Antipolis, 2011. Français. ⟨NNT : ⟩
Thèse tel-00643513v1

On Maximal Repetitions in Words

 Roman Kolpakov , Gregory Kucherov
Journal of Discrete Algorithms, 2000, 1 (1), pp.159-186
Article dans une revue inria-00099092v1

On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System

 Miki Hermann , Laurent Juban , Phokion G. Kolaitis
[Intern report] 98-R-281 || hermann98c, 1998, 16 p
Rapport inria-00098565v1
Image document

Formal certification of game-based cryptographic proofs

 Santiago Zanella-Béguelin
Computer Science and Game Theory [cs.GT]. École Nationale Supérieure des Mines de Paris, 2010. English. ⟨NNT : 2010ENMP0050⟩
Thèse pastel-00584350v1
Image document

Étude des problèmes de spilling et coalescing liés à l'allocation de registres en tant que deux phases distinctes

 Florent Bouchez
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. Français. ⟨NNT : ⟩
Thèse tel-00403504v2

Permutation Flowshop Scheduling Problems with Maximal and Minimal Time Lags

 Julien Fondrevelle , Ammar Oulamara , Marie-Claude Portmann
Computers and Operations Research, 2004, 26 p
Article dans une revue inria-00100091v1
Image document

Comptage de l'ensemble des éléments de la base de Hilbert d'un système d'équations diophantiennes linéaires

 Laurent Juban
[Interne] 98-R-066 || juban98a, 1998, 31 p
Rapport inria-00098731v1
Image document

The Iso-Level Scheduling Heuristic for Heterogeneous Processors

 Olivier Beaumont , Vincent Boudet , Yves Robert
[Research Report] LIP RR-2001-22, Laboratoire de l'informatique du parallélisme. 2001, 2+24p
Rapport hal-02101928v1
Image document

Dichotomy theorem for the generalized unique satisfiability problem

 Miki Hermann , Laurent Juban
[Intern report] 98-R-065 || hermann98b, 1998, 11 p
Rapport inria-00098730v1

A First Approach of Grouping Problem in Stochastic Automata Network

 Dominique Barth , Johanne Cohen , Mathieu Le Coz , Franck Quessette
[Intern report] A04-R-072 || barth04e, 2004
Rapport inria-00100238v1

Dichotomy Theorem for the Generalized Unique Satisfiability Problem

 Laurent Juban
12th International Symposium on Fundamentals of Computation Theory - FCT'99, 1999, Iasi, Romania, pp.327-337
Communication dans un congrès inria-00099003v1
Image document

Node coloring for dense wireless sensor networks

 Ichrak Amdouni , Pascale Minet , Cédric Adjih
[Research Report] RR-7588, INRIA. 2011, pp.35
Rapport inria-00582457v1

Le jeu de go et la révolution de Monte Carlo

 Rémi Coulom
Interstices, 2009
Article dans une revue hal-01350433v1
Image document

Espace, temps et fondements : Les mathématiques au défi des autres sciences

 Giuseppe Longo
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 2003, 1/2 (36-37)
Article dans une revue hal-03318934v1
Image document

Complexity analysis of random convex hulls

 Rémy Thomasse
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4116⟩
Thèse tel-01252937v2
Image document

Hiérarchies algébriques de classes d'automates cellulaires

 Marianne Delorme , Jacques Mazoyer , Guillaume Theyssier
[Rapport de recherche] LIp RR-2005-29, Laboratoire de l'informatique du parallélisme. 2005, 2+49p
Rapport hal-02102505v1
Image document

Résolution exacte de problèmes d'ordonnancement de type flowshop de permutation en présence de contraintes d'écarts temporels entre opérations

 Julien Fondrevelle
Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2005. Français. ⟨NNT : ⟩
Thèse tel-00011065v1
Image document

Diameter-constrained network reliability : properties and computation

 Pablo Enrique Sartor del Giudice
Other [cs.OH]. Université de Rennes; Universidad de la República (Montevideo), 2013. English. ⟨NNT : 2013REN1S102⟩
Thèse tel-00945265v1
Image document

Overlaying a hypergraph with a graph with bounded maximum degree

 Frédéric Havet , Dorian Mazauric , Viet-Ha Nguyen , Rémi Watrigant
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Communication dans un congrès hal-02796730v1
Image document

Graph Coloring and Graph Convexity

 Julio Araujo
Computational Complexity [cs.CC]. Université Nice Sophia Antipolis, 2012. English. ⟨NNT : ⟩
Thèse tel-00732919v1
Image document

Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes embarqués à contraintes temps réel

 Liliana Cucu
Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français. ⟨NNT : ⟩
Thèse tel-00012046v1
Image document

Edge-labellings, vertex-colourings and combinatorial games on graphs

 Foivos-Sotirios Fioravantes
Discrete Mathematics [cs.DM]. Université Côte d'Azur, 2022. English. ⟨NNT : 2022COAZ4053⟩
Thèse tel-03827530v1
Image document

Multiplication algorithms : bilinear complexity and fast asymptotic methods

 Svyatoslav Covanov
Symbolic Computation [cs.SC]. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0057⟩
Thèse tel-01825744v1
Image document

Le traitement des variables régionalisées en écologie : apports de la géomatique et de la géostatistique

 Philippe Aubry
Ecologie, Environnement. Université Claude Bernard - Lyon I, 2000. Français. ⟨NNT : ⟩
Thèse tel-00003736v1
Image document

Graph problems motivated by low and high resolution models of large protein assemblies

 Thi Viet Ha Nguyen
Combinatorics [math.CO]. Université Côte d'Azur, 2021. English. ⟨NNT : 2021COAZ4107⟩
Thèse tel-03647952v1
Image document

Périodes d'intégrales rationnelles : algorithmes et applications

 Pierre Lairez
Calcul formel [cs.SC]. École polytechnique, 2014. Français. ⟨NNT : ⟩
Thèse tel-01089130v1
Page :