Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

2 613 Results
Deposit type : Fulltext
Image document

Sur certaines singularités non isolées d'hypersurfaces II

Daniel Barlet
Journal of Algebraic Geometry, 2008, 17, p.199-254
Journal articles hal-00107068v1
Image document

Using Cliques of Nodes to Store Desktop Grid Checkpoints

Filipe Araujo , Patricio Domingues , Derrick Kondo , Luis Moura Silva
Coregrid Integration Workshop, 2008, Crete, Greece
Conference papers hal-00953613v1
Image document

On Correlated Availability in Internet Distributed Systems

Derrick Kondo , Artur Andrzejak , David P. Anderson
IEEE/ACM International Conference on Grid Computing (Grid), 2008, Tsukuba, Japan
Conference papers hal-00953614v1
Image document

Ensuring Collective Availability in Volatile Resource Pools Via Forecasting

Artur Andrzejak , Derrick Kondo , David P. Anderson
DSOM, 2008, Unknown, pp.149-161
Conference papers hal-00953615v1
Image document

Perfect sampling of stationary rewards of Markov chains

Jean-Marc Vincent
International Workshop on Applied Probability, 2008, Compiègne, France
Conference papers hal-00953625v1
Image document

Performance characterization of black boxes with self-controlled load injection for simulation-based sizing

Ahmed Harbaoui , Bruno Dillenseger , Jean-Marc Vincent
CFSE, 2008, Fribourg
Conference papers hal-00953631v1
Image document

Frictionless mutliple impacts in multibody systems. I Theoretical framework

Caishan Liu , Zhen Zhao , Bernard Brogliato
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2008, 464 (2100), pp.3193-3211. ⟨10.1098/rspa.2008.0078⟩
Journal articles hal-00755941v1
Image document

Description and simulation of dynamic mobility networks

Antoine Scherrer , Pierre Borgnat , Eric Fleury , Jean-Loup Guillaume , Céline Robardet
Computer Networks, 2008, 52 (15), pp.2842-2858. ⟨10.1016/j.comnet.2008.06.007⟩
Journal articles inria-00327254v1
Image document

Scheduling Dynamic Workflows onto Clusters of Clusters using Postponing

Sascha Hunold , Thomas Rauber , Frédéric Suter
3rd International Workshop on Workflow Systems in e-Science - WSES 2008, May 2008, Lyon, France. pp.669-674, ⟨10.1109/CCGRID.2008.44⟩
Conference papers inria-00329779v1
Image document


Jorge-Arnulfo Quiane-Ruiz
Networking and Internet Architecture [cs.NI]. Université de Nantes, 2008. English. ⟨NNT : ⟩
Theses tel-00464475v1
Image document

Un tour d'horizon des approches pour la manipulation des données du web

Arnaud Blouin , Olivier Beaudoux , Stéphane Loiseau
Document numérique - Revue des sciences et technologies de l'information. Série Document numérique, 2008, 11 (1-2/2008), pp.63--83. ⟨10.3166/dn.11.1-2.63-83⟩
Journal articles hal-00470258v1
Image document

An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability

Brice Morin , Franck Fleurey , Nelly Bencomo , Jean-Marc Jézéquel , Arnor Solberg , et al.
In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France
Conference papers inria-00468232v1
Image document

Ontology-based Land Degradation Assessment from Satellite Images

Eleni Tomai , Isabelle Herlin , Jean-Paul Berroir , Poulicos Prastacos
Proceedings of International Society for Photogrammetry and Remote Sensing (ISPRS), Jul 2008, Beijing, China. pp.703-708
Conference papers inria-00582459v1
Image document

Toward a Global Tuamotu Archipelago Coconut Trees Sensing Using High Resolution Optical Data

Raimana Teina , Dominique Béréziat , Benoît Stoll , Sébastien Chabrier
IGARSS - IEEE International Geoscience and Remote Sensing Symposium, Jul 2008, Boston, United States. pp.797-800, ⟨10.1109/IGARSS.2008.4779114⟩
Conference papers inria-00582826v1
Image document

Visibly Tree Automata with Memory and Constraints

Hubert Comon-Lundh , Florent Jacquemard , Nicolas Perrin
Logical Methods in Computer Science, 2008, 4 (2), ⟨10.2168/LMCS-4(2:8)2008⟩
Journal articles inria-00578844v1
Image document

A New Elimination Rule for the Calculus of Inductive Constructions

Bruno Barras , Pierre Corbineau , Benjamin Grégoire , Hugo Herbelin , Jorge Luis Sacchini
Types for Proofs and Programs, Mar 2008, Torino, Italy. pp.32-48, ⟨10.1007/978-3-642-02444-3_3⟩
Conference papers inria-00524938v1
Image document

MARTE based design approach for targeting Reconfigurable Architectures

Imran Rafiq Quadri , Samy Meftali , Jean-Luc Dekeyser
2nd Embedded Systems Conference - ESC'09, May 2008, Alger, Algeria
Conference papers inria-00525009v1
Image document

Inversion acoustique-articulatoire avec contraintes

Blaise Potard
Interface homme-machine [cs.HC]. Université Henri Poincaré - Nancy 1, 2008. Français. ⟨NNT : 2008NAN10085⟩
Theses tel-01748423v2
Image document

On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing

Sagar Sen , Benoit Baudry , Jean-Marie Mottu
IEEE International Conference on Software Testing, ICST'08, Apr 2008, Lillehammer, Norway, Norway. pp.328-337
Conference papers inria-00456955v1
Image document

Agile Computer Control of a Complex Experiment

Gaël Varoquaux
Computing in Science and Engineering, 2008, 10 (2), pp.55-59. ⟨10.1109/MCSE.2008.47⟩
Journal articles hal-00502504v1
Image document

Mutual information-based feature selection enhances fMRI brain activity classification

Vincent Michel , Cécilia Damon , Bertrand Thirion
2008 5th IEEE international symposium on biomedical imaging: From nano to macro, May 2008, Paris, France. pp.592 - 595, ⟨10.1109/ISBI.2008.4541065⟩
Conference papers hal-00504092v1
Image document

A knowledge-based approach of seismic interpretation : horizon and dip-fault detection by means of cognitive vision.

Philippe Verney , Jean-Francois Rainaud , Michel Perrin , Monique Thonnat
SEG, International Exposition and 78th Annual Meeting, Nov 2008, Las Vegas, United States
Conference papers inria-00507016v1
Image document

Model-driven Simulation of a Maritime Surveillance System

Martin Monperrus , Fabre Jaozafy , Gabriel Marchalot , Joël Champeau , Brigitte Hoeltzener , et al.
4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Jun 2008, Berlin, Germany, Germany. pp.361-368, ⟨10.1007/978-3-540-69100-6_25⟩
Conference papers inria-00456481v1
Image document

A Model-driven Measurement Approach

Martin Monperrus , Jean-Marc Jézéquel , Joël Champeau , Brigitte Hoeltzener
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Sep 2008, Toulouse, France, France. pp.505-519, ⟨10.1007/978-3-540-87875-9_36⟩
Conference papers inria-00456483v1
Image document

Mécanismes cryptographiques pour la génération de clefs et l'authentification.

Sébastien Zimmer
Informatique [cs]. Ecole Polytechnique X, 2008. Français. ⟨NNT : ⟩
Theses pastel-00004271v1
Image document

On the design and optimisation of Tardos probabilistic fingerprinting codes

Teddy Furon , Arnaud Guyader , Frédéric Cérou
Proc. of the 10th Information Hiding Workshop, 2008, Santa Barbara, United States
Conference papers inria-00504549v1
Image document

The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security

Carlos Olarte , Frank D. Valencia
10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, ACM, Jul 2008, Valencia, Spain. pp.8-19, ⟨10.1145/1389449.1389452⟩
Conference papers inria-00349353v1
Image document

Extraction of activity patterns on large video recordings

Jose Luis Patino Vilchis , Hamid Benhadda , Etienne Corvee , François Bremond , Monique Thonnat
IET Computer Vision, 2008, Special Issue on Visual Information Engineering, 2 (2), pp 108-128
Journal articles inria-00502826v1
Image document

Shadow removal in indoor scenes

Anh-Tuan Nghiem , François Bremond , Monique Thonnat
IEEE International Conference On Advanced Video and Signal Based Surveillance, Sep 2008, Santa Fe, New Mexico, United States. ⟨10.1109/AVSS.2008.70⟩
Conference papers inria-00502953v1
Image document

MPI Applications on Grids: A Topology-Aware Approach

Camille Coti , Thomas Herault , Franck Cappello
[Research Report] RR-6633, INRIA. 2008, pp.21
Reports inria-00319241v1