Guillaume Erétéo, Michel Buffa, Fabien G, Patrick Grohan, Peter S, Telecom Paristech, ...
Abstract. The increasingly popular web 2.0 sites provide the largest social network ever analyzed- users are now considered as plain web resources. Some researchers apply classical methods of social...
4.1. Software for Diffusion MRI 6 4.2. Virtual Retina 7 (2009)
Sophia Antipolis, Eeg Processing Openmeeg
c t i v it y
Knowledge creation is nowadays a major issue for firms that want to be competitive. We are in a new era, where knowledge plays a dynamic role in innovation processes and corporate performance. The...
A FLEXIBLE MODEL AND IMPLEMENTATION OF COMPONENT CONTROLLERS (2008)
Françoise Baude, Denis Caromel, Ludovic Henrio, Paul Naoumenko, Inria Sophia, Is Cnrs, ...
Abstract The GCM (Grid Component Model) is a component model that is being defined by the CoreGRID institute on Programming Models; it is based on the Fractal component model. It is intended at...
distributed / real-time programming A3 (1) Advanced analysis applied to code optimization Christine EISENBEIS Rocquencourt ACES (2) Ambient computing and embedded systems Michel BANÂTRE Rennes...
EFFICIENT NAVIGATION THROUGH QUINCUNX MEGA IMAGES A. Gouze, M.Antonini and M.Barlaud (2008)
This paper deals with the problem of accessing interactively quincunx sampling images. Recent acquisition system or video card process images sampled on a quincunx grid to obtain a higher image...
Habilitation A Diriger, Des Recherches, Spécialité Informatique, Une Grille Pervasive, Jean-marc Pierson, Mme Collet, ...
vue du coté des données présentée devant L’Institut National des Sciences Appliquées de Lyon
3 Scientific Foundations 7 3.1 Variational methods and partial differential equations for vision......... 7
D. Guiraud, P. Poignet, P. B. Wieber, H. El Makksoud, F. Pierrot, B. Brogliato, ...
the human paralysed lower limb under FES
Project-Team Geometrica Geometric Computing (2008)
Sophia Antipolis, Méditerranée Futurs
c t i v it y
École des Mines de Nantes (2008)
Michel Cosnard, Jean Pierre Briot, Markku Sakkinen, Jean-paul Rigault, ...
Habilitation à diriger des recherches présentée devant: l’Université de Nice-Sophia Antipolis- Laboratoire I3S par:
Checking UML Dynamic Diagrams: A Synchronous Approach (2008)
C. André, J-p. Rigault, Sophia Antipolis
Abstract: This paper addresses the design of control-dominated systems using a synchronous approach and the UML. The work aims at formally checking the design: scenarios/controller consistency,...
Menelaos I. Karavelas, Mariette Yvinec, Thème Génie Logiciel, Projet Prisme, Unité Inria, Sophia Antipolis
apport
A flexible, policy driven, architecture for electronic documents exchange ∗ (2008)
N. Nobelis, K. Boudaoud, M. Riveill, Sophia Antipolis
With the expansion of the Information Society, we are coping everyday with electronic document transfert issues. Various adhoc protocols have been developed for specific transfert properties or...
Sophia Antipolis, Multidisciplinary Optimization, ...
c t i v it y
Size control with Maximum Homologous Crossover (2008)
Michael Defoin Platel, Manuel Clergue, Sophia Antipolis
Abstract. Most of the Evolutionary Algorithms handling variable-sized structures, like Genetic Programming, tend to produce too long solutions and the recombination operator used is often considered...
Biglook: a Widget Library for the Scheme Programming Language (2008)
Freenix Track, Erick Gallesio, Manuel Serrano, Sophia Antipolis, Inria Sophia Antipolis, ...
Permission is granted for noncommercial reproduction of the work for educational or research purposes.
Formation Doctorale: Informatique (2008)
Spécialité Informatique, École Doctorale Information, M. Rol, M. Manuel Serrano, Sophia Antipolis, ...
et de Microélectronique de Montpellier pour
3.1. Probabilistic approaches 2 3.1.1. Markov random fields 2 (2008)
Sophia Antipolis, Functional Analysis
d ' ctivity
2.1. Overall Objectives 2 (2008)
6.1. Congestion control and IP traffic characterization 3
SPÉCIFICATION ET VÉRIFICATION FORMELLES (2008)
Tomás Barros, Co-directeur Eric, Madelaine Inria, Sophia Antipolis, ...
École Doctorale de Sciences et Technologies de l’Information et de la Communication
Telecare can help health and social care agencies address the challenges they face from an ageing society and deliver services improving the clients ’ quality of life. The end users of telecare...
Project-Team Orion Intelligent Environments for Problem Solving by Autonomous Systems (2008)
d ' ctivity
Project-Team AxIS User-Centered Design, Improvement and Analysis of Information Systems (2008)
d ' ctivity
INRIA – Projet OASIS 2004 route des Lucioles BP 93 (2008)
Christophe Massol, Sophia Antipolis
Outils d’analyse statique et de vérification pour les applications Java distribuées Rapport de stage Rapport de stage Outils d’analyse statique et de vérification pour les applications Java...
Sophia Antipolis, Type Systems, Smart Devices, Global Computing
d ' ctivity
Presentation of the Associated Team “SHAPES” (2008)
Sophia Antipolis, Led Dr. Josiane Zerubia
The proposed associated team will be a collaboration between the Ariana research group (IN-
A hyperelastic deformable template for cardiac segmentation in MRI (2008)
Youssef Rouchdy, Jérôme Pousin, Joël Schaerer, Patrick Clarysse, Sophia Antipolis
Abstract. This article proposes a hyperelastic 3D deformable template for the segmentation of soft structures. It relies on a template, which is a topological, geometrical and material model of the...
Anwar Al Hamra, Sophia Antipolis
Content distribution using the P2P paradigm has become one of the most dominant services in the Internet today. Most of the research effort in this area focuses on developing new distribution...
6.2. Network design 4 6.2.1. Traffic Grooming 4 6.2.2. Reconfiguration of WDM networks 5 (2008)
d ' ctivity
Project-Team Asclepios Analysis and Simulation of Biomedical Images (2008)
Sophia Antipolis, Overall Objectives
d ' ctivity
UNIDENTIFIABILITY AND ACCOUNTABILITY IN ELECTRONIC TRANSACTIONS Jury: (2008)
Faculteit Toegepaste Wetenschappen, Prof Dr, B. De Decker, Elsie Van Herreweghen, Faculteit Toegepaste Wetenschappen, ...
Proefschrift voorgedragen tot het behalen van het doctoraat in de toegepaste wetenschappen door
Teaching assistant in Algorithmics and Scheme (2008)
Sophia Antipolis, Sophia Antipolis
Cum Laude (Mention assez bien) 1999/1997 Diplôme de maîtrise en informatique Graduate studies in Computer Science
Stéphane Lavirotte, Loïc Pottier, Inria Sophia, Antipolis Inria, Sophia Antipolis
This paper describes the design and the first steps of implementation of Ofr (Optical Formula Recognition), a system for extracting and understanding mathematical expressions in printed documents....
Adil El Ghali, Amira Tifous, Michel Buffa, Alain Giboin, Rose Dieng-kuntz, Edelweiss Inria, ...
Abstract. In this paper, we present a new wiki engine: SweetWiki, offering the capabilities of a wiki together with some knowledge management features. And we give preliminary results of its use by...
la vérification formelle (2008)
Laurent Arditi, Hélène Collavizza, Sophia Antipolis
Intégration de techniques coopératives pour
Affective Social Computing Group, (2008)
Marco Paleari, Christine Lisetti, Sophia Antipolis
Abstract. Progress in computer graaphics over the last decade has rendered the creation of believable anthropomorphic graphical avatars possible. Issues in rendering these animated graphical avatars...
Présentée A, Sophia Antipolis, François Bremond, Michel Barlaud, Professeur Nice, ...
raisonnement spatio-temporel et reconnaissance d’activités.
Laurent Alamarguy, Rose Dieng-kuntz, Catherine Faron-zucker, Inria Sophia Antipolis, Sophia Antipolis
Abstract. We present the INSYSE method for the annotation of texts, based on extraction of semantic relations from syntactic structures. We apply this method to a corpus of 5000 Medline abstracts...
Demo proposal: Agents for Learning Environment (2008)
Marco Paleari, Ine Grizard, Christine Lisetti, Sophia Antipolis
Abstract. VALERIE (Virtual Agent for Learning Environment Reacting and Interacting Emotively) [1] is a CAI (Computer Assisted Instruction) designed to test basic French grammar. The agent, originally...
ABSTRACT Toward Multimodal Fusion of Affective Cues (2008)
Marco Paleari, Sophia Antipolis
During face to face communication, it has been suggested that as much as 70 % of what people communicate when talking directly with others is through paralanguage involving multiple modalities...
Denis Caromel, Christian Delbé, Re Di Costanzo, Matthieu Morel, Inria Sophia, Is Cnrs, ...
Abstract — We propose in this paper, a mechanism for Grid computing frameworks, for specifying environmental requirements that may set and be optimized by deployers. Specified by designers by...
Checking UML Dynamic Diagrams: A Synchronous Approach (2008)
C. André, J-p. Rigault, Sophia Antipolis
Abstract: This paper addresses the design of control-dominated systems using a synchronous approach and the UML. The work aims at formally checking the design: scenarios/controller consistency,...
Iterative Point Matching for Registration of Free-Form Curves (2008)
Unite De Recherche, Inria-sophia Antipolis, Et En Automatique, Sophia Antipolis, Zhengyou Zhang, Zhengyou Zhang
Une methode iterative basee sur la mise en correspondance de points pour recaler des courbes de forme generale
Nets of Reactive Processes (2008)
Unite De Recherche, Inria-sophia Antipolis, Et En Automatique, Sophia Antipolis, Calcul Symbolique Programmation, ...
Weintroduce the model of nets made of reactive processes. We describe an implementation of these nets and give them a denotational semantics. We study the implementation of the synchronous languages...
Biglook: a Widget Library for the Scheme Programming Language (2008)
Erick Gallesio, Manuel Serrano, Sophia Antipolis, Inria Sophia Antipolis, ...
Biglook is an Object Oriented Scheme library for constructing GUIs. It uses classes of a CLOSlike object layer to represent widgets and Scheme closures to handle events. Combining functional and...
S.V.P a toolbox for Specification and Verification of Processors (2007)
Laurent Arditi, Jacques Chazarain, Hélène Collavizza, Sophia Antipolis
We describe the S.V.P. environment for the specification and formal verification of processors at the architecture and register transfer level. Our new approach combines an object oriented toolbox...
E De Recherche, Et En Automatique, Sophia Antipolis, Eitan Altman, Eitan Altman, Centre Sophia Antipolis
We consider an M/G/1 queue where the server may take repeated vacations. Whenever a busy period terminates (i.e., when the queue empties) the server takes a vacation of random duration. At the end of...
Directed Virtual Path Layouts in (2007)
Stphane Prenns, Unit Inria, Sophia Antipolis, Jean-claude Bermond, Jean-claude Bermond, Nausica Marlin, ...
apport de recherche
Luc Robert, Sophia Antipolis, Michel Buffa
In this paper we present a vision system for autonomous navigation based on stereo perception without 3-D reconstruction. This approach uses weakly calibrated stereo images, i.e., images for which...
Report of a Workshop on Future Directions in Programming Languages and Compilers (2007)
May Purpose In, Robert Cartwright, Gilles Kahn Inria, Sophia Antipolis, Bernard Lang Inria, James Mcgraw, ...
This paper is the report of their findings. Its purposes are to explain the need for, and benefits of, research in this field--- both basic and applied; to broadly survey the various parts of the...
Amar Bouali Annie, Annie Ressouche, Robert Simone, Inria Sophia Antipolis, Route Des Lucioles, Place Sohia Laffitte, ...
We describe a set of modular extensions to our Auto/Graph verification toolset for networks of communicating processes. These software additions operate from a common file exchange format for...
VHDL subsets in the SDEV environment : A Case Study : The Synopsys subset (2007)
Bouguerba Benzakki Israel, T. Bouguerba, J. Benzakki, M. Israel, L. Rideau, Lami Croap, ...
This paper presents two new tools integrated in the Syntax Driven Editor for VHDL: sdev[1]. The first tool allows the user to build his own VHDL subset. The second is a tool which allows to verify if...
Annie Ressouche Robert, Robert Simone, Inria Sophia Antipolis, Route Des Lucioles, Place Sohia Laffitte, Sophia Antipolis
We describe a set of modular extensions to our Auto/Graph verification toolset for networks of communicating processes. These software additions operate from a common file exchange format for...
Homenthalpic-Flow Approach For Hypersonic Inviscid Non-Equilibrium Flows (2007)
E De Recherche, Et En Automatique, Sophia Antipolis, Non-equilibrium Flows, For Hypersonic Inviscid, ...
1 2 MATHEMATICAL MODEL 2 2.1 GOVERNING EQUATIONS : : : : : : : : : : : : : : : : : : : 2 2.2 CHEMICAL MODEL : : : : : : : : : : : : : : : : : : : : : : 3 3 BASIC NUMERICAL APPROXIMATION 5 3.1...
Tools for Development of Programs for a Cluster of Shared Memory Multiprocessors (2007)
B. Chapman, J. Merlin, D. Pritchard, F. Bodin, Y. Mevel, Simulog Sa, ...
Applications are increasingly being executed on computational systems that have hierarchical parallelism. There are several programming paradigms which may be used to adapt a program for execution in...
Report of a Workshop on Future Directions in Programming Languages and Compilers (2007)
May Purpose, Robert Cartwright, Gilles Kahn Inria, Sophia Antipolis, Bernard Lang Inria, James Mcgraw, ...
This paper is the report of their findings. Its purposes are to explain the need for, and benefits of, research in this field--- both basic and applied; to broadly survey the various parts of the...
Programmation réactive en Eiffel// Expression de synchronisations selon le modèle Electre (2007)
Denis Caromel, Yves Roudier, Is Cnrs, Sophia Antipolis
ion Electre 3.1 Principe Nous mod'eliserons les modules par des processus car ils correspondent `a une activit'e parall`ele. La compilation d'une expression Electre produit un automate...
VHDL subsets in the SDEV environment : A Case Study : The Synopsys subset (2007)
Bouguerba Benzakki, T. Bouguerba, J. Benzakki, M. Israel, L. Rideau, Lami Croap, ...
This paper presents two new tools integrated in the Syntax Driven Editor for VHDL: sdev[1]. The first tool allows the user to build his own VHDL subset. The second is a tool which allows to verify if...
Sophia Antipolis, Erick Gallesio, Mireille Fornarino, Paul Franchi-zannettacci, Paul Franchi-zannettacci, Anne-marie Dery, ...
ion (du monde r#el) [11]. Cette approche permet de proposer une architecture originale dans des mondes homog#nes o# tout composant peut #tre d#crit par des d#pendances ou en mondes h#t#rog#nes o#...
Unit Inria, Sophia Antipolis, Denis Caromel, Denis Caromel, Ludovic Henrio, Ludovic Henrio, ...
apport de recherche
Unit Inria, Sophia Antipolis, David Coudert, David Coudert, Herv Rivano, Herv Rivano, ...
apport de recherche
An adelic causality problem related to abelian L–functions (2007)
Jean-françois Burnol, Sophia Antipolis
Abstract: We associate to the global field K a Lax–Phillips scattering which has the property of causality if and only if the Riemann Hypothesis holds for all the abelian L–functions of K. As a...
Th#me 4 Simulation et optimisation de syst#mes complexes (2007)
Unit Inria, Sophia Antipolis, Fabien Campillo, Fabien Campillo, Andrey Piatnitski, Andrey Piatnitski, ...
apport de recherche
New Insights from a Fixed Point Analysis of Single Cell IEEE 802.11 WLANs (2007)
Thme Com, Anurag Kumar, Daniele Mior, Munish Goyal, Unit Inria, Sophia Antipolis, ...
apport de recherche
Hervé Brönnimann, Hervé Brönnimann, Olivier Devillers, Olivier Devillers, Thème Génie Logiciel, Projet Prisme, ...
The union of unit balls has quadratic complexity,
Thme 3 Interaction homme-machine, images, donnes, connaissances (2007)
Unit Inria, Sophia Antipolis, Jean-franois Aujol, Jean-franois Aujol, Gilles Aubert, Gilles Aubert, ...
apport de recherche
Internet Content Distribution) President (2007)
Thise De Doctorat, Nice Sophia Antipolls, Jussi Antti, Tapio Kangasharju, De Nice, Directeur De Thse, ...
pour obtenir le grade de
ISRN INRIA/RR--4483--FR+ENG (2007)
Stephanie Jehan-besson, Unite Inria, Sophia Antipolis, Gilles Aubert, Gilles Aubert, Michel Barlaud, ...
apport de recherche TH EME 3
Stdphanie Jehan, Besson Michel Barlaud, Les Algorithmes, Euclide B, Sophia Antipolis, Gilles Aubert
gaubertmath. unice.J? In this paper, we propose a new method for detecting and tracking moving objects using active contours. The first contribution of our work is to propose a region-based approach...
Allocation: UMTS air interface workshop This contribution is part of a conceptual study of multi-user OFDM systems, parts of which previously has been presented at the ETSI STC SMG2 meetings no 18...
DIFIED METROPOLIS DYNAMIC (2007)
Unitt De Recherche, Inria-sophia Antipolls, Sophia Antipolis, Zoltan Kato, Josiane Zerubia, Marc Berthod
Fields with two new relaxation methods:
Robert Cartwright, Gilles Kahn Inria, Sophia Antipolis, Bernard Lang Inria, James Mcgraw, Lawrence Livermore, ...
In January, 1993, a panel of experts in the area of programming languages and compilers met in a one and a half day workshop to discuss the future of research in that area. This paper is the report...
Christian Huitema, Walid Dabbous, Inria Centre, Sophia Antipolis
An NSAP approach to build transparent OSI
Towards Dynamic Randomized Algorithms in Computational Geometry (2007)
E De Recherche, Et En Automatique, Sophia Antipolis, Monique Teillaud, Monique Teillaud
Vers des algorithmes dynamiques randomis'es en g'eom'etrie algorithmique
2004, Route des Lucioles BP-109 (2007)
Christian Huitema, Walid Dabbous, Inria Centre, Sophia Antipolis, Valbonne Cedex
Integrated networks opened the door to the development of new multimedia applications. These applications require important bandwidth and multiplex dioeerent data AEows (voice, video and data) on the...
On Arbitrary Waksman Networks and their Vulnerability (2007)
Unit Inria, Sophia Antipolis, Bruno Beauquier, Bruno Beauquier, Eric Darrot, Eric Darrot, ...
apport de recherche
Antoine Clerget, Walid Dabbous, Sophia Antipolis
Organizing data transmission for reliable multicast over satellite links
2004, Route des Lucioles BP-109 (2007)
Christian Huitema, Walid Dabbous, Inria Centre, Sophia Antipolis, Valbonne Cedex
Gigabit networks are for near tomorrow with ATM technology. However, several problems have not been solved yet in order to allow successfull multimedia application development over these networks....
ISRN INRIA/RR--4312--FR+ENG (2007)
Rudesindo Nez-queija, Unit Inria, Sophia Antipolis, Eitan Altman, Eitan Altman, Konstantin Avrachenkov, ...
apport de recherche
Routeing protocols development in the OSI architecture (2007)
Christian Huitema, Walid Dabbous, Inria Centre, Sophia Antipolis, Route Des Lucioles
Abstract Work on standardization of OSI routeing protocols has already started. A routeing framework defining the functional components of the routeing problem was published. This paper discusses the...
Iterative Point Matching for Registration of Free-Form Curves (2007)
Unite De Recherche, Inria-sophia Antipolis, Et En Automatique, Sophia Antipolis, Zhengyou Zhang, Zhengyou Zhang
Une methode iterative basee sur la mise en correspondance de points pour recaler des courbes de forme generale
Static Caching of Web Servers (2007)
Zhen Liu, Nicolas Niclausse, Inria Centre, Sophia Antipolis, Don Towsley
With the increasing popularity of the World Wide Web, the amount of information available and the use of Web servers are growing exponentially. As a consequence, the number of requests to popular Web...
Th#me 3 Interaction homme-machine, (2007)
Javier Snchez, Unit Inria, Sophia Antipolis, Luis Alvarez, Luis Alvarez, Rachid Deriche, ...
apport de recherche
A Framework for Systematic Specification and Efficient Verification of Processors (2007)
Laurent Arditi, Sophia Antipolis
We propose a framework for the specification and formal verification of processors, based on generic interpreters. The originality of our method is to combine a generic specification environment and...
Simulation Logic, Applets and Compositional Verification (2007)
Christoph Sprenger, Dilian Gurov, Marieke Huisman, Inria Sophia Antipolis, Inria Sophia Antipolis, Sophia Antipolis, ...
We present a compositional verication method for control ow based safety properties of smart card applets. Our method rests on a close correspondence between transition system models ordered by...
S. Sunaert, O. Faugeras, P. Van Hecke, Unit Inria, Sophia Antipolis, P. Kornprobst, ...
apport de recherche
ASYMPTOTICS OF THE GLRT FOR THE DISORDER PROBLEM IN DIFFUSION PROCESSES (2007)
Unite De Recherche, Inria-sophia Antipolis, Et En Automatique, Sophia Antipolis, Automatique Et Productique, Fabien Campillo, ...
Comportement asymptotique du test du rapport de vraisemblance generalise pour la detection de changement dans les di usions.
Olivier Devillers, Olivier Devillers, Thème Génie Logiciel, Projet Prisme, Unité Inria, Sophia Antipolis
apport
The Number of Cylindrical Shells (2007)
Unit Inria, Sophia Antipolis, Olivier Devillers, Olivier Devillers
apport de recherche
Automated Piecewise Ane Registration of Biological Images (2007)
Bardinet Paul, M. Thompson, Grgoire Malandain, Unit Inria, Sophia Antipolis, Alain Pitiot, ...
apport de recherche
Thme 3 Interaction homme-machine, images, donnes, connaissances (2007)
Unit Inria, Sophia Antipolis, Mikal Rousson, Mikal Rousson, Nikos Paragios, Nikos Paragios, ...
apport de recherche
Apport De Recherche, Herv Brnnimann, Olivier Devillers, Unit Inria, Sophia Antipolis
We provide a lower bound construction showing that the union of unit balls in R has quadratic complexity, even if they all contain the origin. This settles a conjecture of Sharir.
Bernd Geiser, Peter Vary, Prof Dr. -ing, Peter Vary, Sophia Antipolis France, Peter Vary, ...
Outline This work has been supported by Siemens AG, Munich, Germany.
Joakim Jitén Söderberg, Sophia Antipolis, Joakim Jitén
Recent progress and prospects in cognitive vision, multimedia, human-computer interaction, communications and the Web call for, and can profit from applications of advanced image and video analysis....
Complexity of Real Root Isolation Using Continued Fractions Vikram Sharma (2007)
Galaad Inria, Sophia Antipolis
Akritas had proposed an algorithm, which utilizes the continued fraction expansion of real algebraic numbers, for isolating the real roots of a univariate polynomial. The efficiency of the algorithm...
Optimal matching in wireless sensor networks (2007)
A. Roumy, D. Gesbert, Sophia Antipolis
We design a wireless sensor network (WSN) in terms of rate and power allocation in order to send without loss the data gathered by the nodes to a common sink. Correlation between the data and channel...
Spatial anisotropy encourages parapatric speciation in Artificial Evolution (2006)
Simoncini David, Defoin-platel Michael, Sophia Antipolis
The anisotropic selection in Cellular Genetic Algorithms (cGAs) is known to allow the control of the selective pressure but also to enhance the diversity which are two important issues in Genetic...
Evaluation des performances des . . . (2006)
École Doctorale Stic, Spécialité Informatique, A. Al Hanbali, Maestro Inria, Sophia Antipolis, Directeurs Eitan, ...
this paper are the bu#ering techniques and the reliable transmission of control messages. In their evaluation, the authors found that TCP-BuS outperforms the standard TCP and the TCP-F under di#erent...
Delaunay triangulation based surface reconstruction (2006)
Thème Sym, Frédéric Cazals, Frédéric Cazals, Joachim Giesen, Joachim Giesen, Projet Geometrica, ...
apport de recherche
Sophia Antipolis, Overall Objectives
d ' ctivity
Project-Team Coprin Constraints solving, OPtimization, Robust INterval analysis (2005)
c t i v it y THEME SYM
3.2. Virtual and Augmented Environments with Sound 4 (2005)
Sophia Antipolis, Computer Games
c t i v it y THEME COG e p o r t
5.3. Functional programming 5 (2005)
Sophia Antipolis, Fairthreads In Java
c t i v it y THEME COM e p o r t
Analysis of Scalable TCP in the Presence of Markovian Losses (2005)
E. Altman, K. E. Avrachenkov, A. A. Kherani, B.J. Prabhu, Inria Sophia Antipolis, Sophia Antipolis
In high speed networks, the standard TCP's AIMD algorithm was observed to be ine#cient in utilizing the link capacity. As a result of which several proposals such as High-Speed TCP, FAST and...
Ecole Supérieure En Sciences Informatiques (ESSI) (2005)
Muhammad Farukh Munir, Abdelbasset Trad, Dr. Thierry Turletti, Sophia Antipolis
In the recent few years there is a remarkable improvement in the basic IEEE 802.11 WLAN standard because of its intrinsic lack of ability to provide the QoS requirements for the time stringent...
4.1.17. Vector-Valued Image Regularization with PDEs: A Common Framework for Different (2005)
c t i v it y
Preliminary training report Wearable Computer Supervisor: (2004)
Systèmes De, Sophia Antipolis, Jean-yves Tigli, Daniel Cheung-foo-wo
Les systèmes de traitement de l'information sont aujourd'hui en pleine transition entre l'ordinateur de bureau et les systèmes mobiles de traitement de l'information. La...
Inner and outer rounding of set operations on lattice polygonal regions (2004)
Olivier Devillers, Sophia Antipolis
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementation of geometric...
Towards an open curved kernel (2004)
Ioannis Z. Emiris, Monique Teillaud, Sophia Antipolis, Athanasios Kakargias
Our work goes towards answering the growing need for the robust and efficient manipulation of curved objects in numerous applications. The kernel of the cgal library provides several functionalities...
Ralf Klasing, Alfredo Navarra, Aris Papadopoulos, Stephane Perennes, Mascotte Project, Is-cnrs/inria/univ Nice, ...
Abstract. In this paper we present a new heuristic called Adaptive Broadcast Consumption (ABC for short) for the Minimum-Energy Broadcast Routing (MEBR) problem. We first investigate the problem...
Loops in Esterel: From Operational Semantics . . . (2004)
Olivier Tardieu, Sophia Antipolis, Mm. Jean-jacques, Lévy Président, Inria Rocquencourt, Gérard Berry, ...
Semantics By making abstraction [CC77] of signals (inputs I and outputs O) and residuals (p # ) in the logical behavioral semantics of Esterel we obtain the abstract semantics of Figure 4.1, where: p...
Typing noninterference for reactive programs (2004)
Thème Com, Ana Almeida Matos, Ana Almeida Matos, Gérard Boudol, Gérard Boudol, Ilaria Castellani, ...
apport de recherche
Andrej Pázman, Luc Pronzato, Sophia Antipolis
Summary. In some nonlinear regression problems with parameterized variance both the design and the method of estimation have to be chosen. We compare asymptotically two methods of estimation: the...
IEEE 802.11 Rate Adaptation: A Practical Approach (2004)
Thme Com, Mathieu Lacage, Unit Inria, Sophia Antipolis, Hossein Manshaei, Hossein Manshaei, ...
Today, three dierent physical (PHY) layers for the IEEE 802.11 WLAN are available (802.11a/b/g); they all provide multi-rate capabilities. To achieve high performance under varying conditions, these...
Christine Lebrun, David Rey, Stéphane Chanalet, Véronique Bourg, Caroline Bensa, Marcel Chatel, ...
ing multiple sclerosis patients and in testing new therapies is generally accepted. The choice of MRI techniques, and the reproductibility of measure brain multiple sclerosis lesions are not define...
Project-Team Epidaure Epidaure, Projet Images, Diagnostic (2004)
Automatique Robotique, Sophia Antipolis
d ' ctivity
3.1. Theory of Synchronous Programming; Applications in compilation and analysis 1 (2003)
Sophia Antipolis, Sophie Honnorat [tr
d ' ctivity
Sophia Antipolis, Isabelle Attali [dr, Bernard Serpette [cr, Claire Senica [tr, Éric Madelaine [cr
d ' ctivity
A levelset based method for segmenting the heart in 3d+t gated spect images (2003)
Arnaud Charnoz, Diane Lingr, Johan Montagnat, Sophia Antipolis, Cddex France, F Villeurbanne, ...
Abstract. Levelset methods were introduced in medical images segmentation by Malladi et al in 1995. In this paper, we propose several improvements of the original method to speed up the algorithm...
Project-Team REVES - Rendering and Virtual Environments with Sound (2003)
Sophia Antipolis, Overall Objectives
This paper was presented at the first EG workshop on Graphics and Heritage, which was common event with VAST 2003 [11]. The presentation resulted in an interesting discussion concerning expressive...
Géométrie Algèbre Algorithmes, Sophia Antipolis
Efficient handling of curved objects in Computational Geometry. Geometric algorithms for curves and surfaces, algebraic issues, robustness issues, approximation.
Design Space Exploration Approach for Reconfigurable Platforms (2003)
Chair Iain Bate, Joseph M Fuertes, Bob Madahar, Gerhard Fohler, Barrie Ross-dow, K. Ben Chehida, ...
Computing technology is quickly becoming a fundamental part of many commodity goods. While the demands for bigger and faster machines continue, a new wave of computing revolution is emerging:...
Stochastic Fluid Models for Cache Clusters (2003)
Unit Inria, Sophia Antipolis, Florence Clevenot, Florence Clvenot, Keith W. Ross, Keith W. Ross, ...
Clusters of Web caches are extensively used by dierent types of organizations, including companies, universities, ISPs, and CDNs. To model Web caches, we must account for two types of stochastic...
The Beltrami Flow over Manifolds (2003)
Lucero-lopez Perez, Unit Inria, Sophia Antipolis, Nir Sochen, Nir Sochen, Rachid Deriche, ...
In many medical computer vision tasks, the relevant data is attached to a specic tissue such as the cortex or the colon. This situation calls for regularization techniques which are dened over non at...
Sequential Monte Carlo samplers Pierre Del Moral, (2003)
Sophia Antipolis, Arnaud Doucet, Ajay Jasra
Summary. We propose a methodology to sample sequentially from a sequence of probability distributions that are defined on a common space, each distribution being known up to a normalizing constant....
d ' ctivity
5.2. Library OreModules of Mgfun 5 5.3. Library libaldor 6 5.4. Library Algebra 6 (2003)
Sophia Antipolis, Library Σ It
d ' ctivity
Stephanie Jehan-besson, Michel Barlaud, Sophia Antipolis, Gilles Aubert
ga ubert math. unice. fr Abstract. This paper deals with image and video segmentation using active contours. We propose a general form for the energy functional related to region-based active...
Adding QoS support for Bluetooth piconet (2002)
Unit Inria, Sophia Antipolis, Jean-baptiste Lapeyrie, Jean-baptiste Lapeyrie, Thierry Turletti, Thierry Turletti, ...
apport de recherche
PART 1: The rules of the game (2002)
Eugenia Ferragina, Mita Marra, Sophia Antipolis
The The role role of of formal formal and and informal informal institutions institutions in in the the water water sector sector What are the challenges for development?
On the design of multifiber WDM networks (2002)
Unit Inria, Sophia Antipolis, A. Ferreira, A. Ferreira, S. Prennes, S. Prennes, ...
apport de recherche
Non-Cooperative Routing in Loss Networks (2002)
Rachid El, Azouzi Vyacheslav Abramov, Vyacheslav Abramov, Unit Inria, Sophia Antipolis, Eitan Altman, ...
The paper studies routing in loss networks in the framework of a non-cooperative game with selsh users. Two solution concepts are considered: the Nash equilibrium, corresponding to the case of a nite...
Perturbations and Vertex Removal in a 3D Delaunay Triangulation (2002)
Unit Inria, Sophia Antipolis, Olivier Devillers, Olivier Devillers, Monique Teillaud, Monique Teillaud, ...
Though Delaunay triangulations are very well known geometric data structures, the problem of the robust removal of a vertex in a three-dimensional Delaunay triangulation is still a problem in...
Secure Object Sharing Development Kit for Java Card (2002)
Daniel Perovich Daniel, Facultad Ingeniería, Sophia Antipolis
Nowadays, Java Card platform-based Smart Cards are multi-application and support interapplet collaboration. The Java Card framework enforces applet isolation by means of the applet Firewall to...
Superresolution in MRI and its influence in statistical analysis (2002)
S. Sunaert, O. Faugeras, P. Van Hecke, Unit Inria, Sophia Antipolis, P. Kornprobst, ...
We consider the problem of increasing the spatial resolution of fMRI images. Main contributions are: (1) the denition of the protocol to acquire shifted images in order to be able to obtain images...
Sequential Monte Carlo Samplers (2002)
Pierre Del Moral, Sophia Antipolis, Arnaud Doucet, Ajay Jasra
this paper, we propose a methodology to sample sequentially from a sequence of probability distributions known up to a normalizing constant and defined on a common space. These probability...
Ernst W. Biersack, Walid Dabbous, Inria Sophia Antipolis, Sophia Antipolis
Due to the rapid growth of traffic in the Internet, backbone links of several Gigabit/sec are commonly deployed. To handle Gigabit/sec traffic rates, the backbone routers must be able to forward...
Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach (2001)
C. André, J-p. Rigault, Sophia Antipolis
This paper addresses the design of control-dominated systems using a synchronous approach and the UML. The work aims at formally checking the design: scenarios/controller consistency, and safety...
Object Replication Strategies in Content Distribution Networks (2001)
Jussi Kangasharju, James Roberts, France Tlcom R, Keith W. Ross, Sophia Antipolis, Sophia Antipolis
Recently the Internet has witnessed the emergence of content distribution networks (CDNs). In this paper we study the problem of optimally replicating objects in CDN servers. In our model, each...
Survey and taxonomy of ip address lookup algorithms (2001)
Inria Sophia Antipolis, Ernst W. Biersack, Sophia Antipolis, Walid Dabbous, Inria Sophia Antipolis
he primary role of routers is to forward packets toward their final destinations. To this purpose, a router must decide for each incoming packet where to send it next. More exactly, the forwarding...
Mocha: A Quality Adaptive Multimedia Proxy Cache for Internet Streaming (2001)
Reza Rejaie, Jussi Kangasharju, Sophia Antipolis
�ÕÙ�Ð�ØÝ���ÔØ�Ú�ÑÙÐØ�Ñ����ÔÖÓÜÝ����ÓÖÐ�Ý�Ö���Ò...
Object Replication Strategies in Content Distribution Networks (2001)
Jussi Kangasharju, James Roberts, France Tlcom R, Keith W. Ross, Sophia Antipolis, Sophia Antipolis
Recently the Internet has witnessed the emergence of content distribution networks (CDNs). In this paper we study the problem of optimally replicating objects in CDN servers. In our model, each...
Controlling the robots of web search engines (2001)
J. Talim, Z. Liu, Ph. Nain, Sophia Antipolis, E. G. Cooeman
Robots are deployed by a Web search engine for collecting information from dioeerent Web servers in order to maintain the currency of its data base of Web pages. In this paper, we investigate the...
Object Replication Strategies in Content Distribution Networks (2001)
Jussi Kangasharju, James Roberts, Keith W. Ross, Sophia Antipolis, Sophia Antipolis
Recently the Internet has witnessed the emergence of content distribution networks (CDNs). In this paper we study the problem of optimally replicating objects in CDN servers. In our model, each...
On Circular Cylinders by Four or Five Points in Space (2001)
Unit Inria, Sophia Antipolis, Olivier Devillers, Olivier Devillers, Bernard Mourrain, Bernard Mourrain, ...
We are interested in computing eoeectively cylinders through 5 points, and in other problems involved in metrology. In particular, we consider the cylinders through 4 points with a x radius and with...
Computing the Diameter of a Point Set (2001)
Grégoire Malandain, Grégoire Mal, Jean-daniel Boissonnat, Unité Inria, ...
Given a #nite set of points in R is de#ned as the maximum distance between two points of . We propose a very simple algorithm to compute the diameter of a #nite set of points. Although the algorithm...
Splitting a Delaunay Triangulation in Linear Time (2001)
Vera Sacristn, Unit Inria, Sophia Antipolis, Bernard Chazelle, Bernard Chazelle, Olivier Devillers, ...
Computing the Delaunay triangulation of n points requires usually a minimum of n log n) operations, but in some special cases where some additional knowledge is provided, faster algorithms can be...
Rapport de DEA: Etude de la Cohérence Dans les jeux en réseaux distribués (2001)
Christian BRUNETTE, Jean Ferdinand Susini, Systèmes Distribués, ...
G ? ............................................................. 8 2. Les diverses tches ............................................................................... 8 3. Les...
Isolation of Real Roots and Computation of the Topological Degree (2001)
M. N. Vrahatis, J. C. Yakoubsohn, Unit Inria, Sophia Antipolis, B. Mourrain, B. Mourrain, ...
In this work, the isolation of real rootsbased on Bernstein polynomials, and the computation of the topological degree in two dimensions are considered and their complexity is analyzed. In...
Walking in a Triangulation (2001)
Olivier Devillers, Sylvain Pion, Monique Teillaud, Thème Génie Logiciel, Projets Prisme, ...
Given a triangulation in the plane or a tetrahedralization in 3-space, weinvestigate the e#ciency of locating a pointbywalking in the structure with di#erent strategies. Key-words: Computational...
A Comprehensive Architecture for Continuous Media E-Mail (2001)
On The Internet, David A. Turner, Keith W. Ross, Sophia Antipolis
Continuous media (CM) email is email that contains media that is rendered over time, such as audio and video, and sender-stored delivery of CM email is when the sender stores the CM message content...
Minimal Set of Constraints for 2D Constrained Delaunay Reconstruction (2001)
Ferran Hurtado, Vera Sacristn, Unit Inria, Sophia Antipolis, Olivier Devillers, Olivier Devillers, ...
Given a triangulation T of n points in the plane, we are interested in the minimal set of edges in T such that T can be reconstructed from this set (and the vertices of T ) using constrained Delaunay...
Rachid El, Azouzi Mohammed, Abbad Eitan Altman, Unit Inria, Sophia Antipolis, Rachid El Azouzi, ...
We consider the problem of the perturbation of a class of linear-quadratic systems where the change from one structure (for the dynamics and costs) to another are governed by a nite-state Markov...
The Recursive Record Semantics of Objects Revisited (2001)
Gerard Boudol, Gérard Boudol, Projets Mimosa, Unité Inria, Sophia Antipolis
In a call-by-value language, representing objects as recursive records requires using an unsafe #xpoint. We design, for a core language including extensible records, a type system which rules out...
Jerome Galtier, France Telecom R, Mascotte Team (inria/cnrs/unsa, Sophia Antipolis
this paper, we introduce the reader to semi-definite programming, and show how complex and new network functionals can be very naturally implemented using this method. After recalling the basics of...
On The Number Of Cylindrical Shells (2001)
Olivier Devillers, Olivier Devillers, Thème Génie Logiciel, Projets Prisme, Unité Inria, Sophia Antipolis
Given a set P of n points in three dimensions, a cylindrical shell or zone cylinder is formed bytwo cylindrical cylinders with the same axis such that all points of P are between the two cylinders....
Jérôme Galtier, France Télécom R, Mascotte Team (inria/cnrs/unsa, Sophia Antipolis
We present Semi-Definite Programming (SDP) as an extension of linear programming and the basics of the duality theory. We show that SDP allows to express naturally a large set of flow problems in the...
Sophia Antipolis, Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, I. Attali, ...
David A. Turner, Keith W. Ross, Sophia Antipolis
This paper examines how the Internet's e-mail infrastructure should evolve to better support continuous media (CM) e-mail, such as audio and video. We assert that the problem is not simply a...
Average brain models: A convergence study (2000)
Unit Inria, Sophia Antipolis, Alexandre Guimond, Alexandre Guimond, Jean Meunier, Jean Meunier, ...
apport de recherche
Javier Snchez, Unit Inria, Sophia Antipolis, Luis Alvarez, Luis Alvarez, Rachid Deriche, ...
apport de recherche
On the reachability problem in cryptographic protocols (2000)
Roberto M. Amadio, Roberto M. Amadio, Denis Lugiez, Denis Lugiez, Unité Inria, ...
apport de recherche On the reachability problem in cryptographic protocols
Rational Approximation Of Transfer Functions In The Hyperion Software (2000)
José Grimm, José Grimm, Projet Miaou, Unité Inria, Sophia Antipolis
The objective of this paper is to explain how rational approximation is performed within the hyperion software. This work is divided into three parts. In the first part, we explain the theory...
Performance evaluation of redirection schemes in content distribution networks (1999)
Jussi Kangasharju, Keith W. Ross, Sophia Antipolis, James W. Roberts, France Tlcom Rkd
Content distribution on the Web is moving from an architecture where objects are placed on a single, designated server to an architecture where objects are replicated on geographically distributed...
All-to-All Routing and coloring in Weighted Trees of Rings (1999)
Stphane Prennes, David Tth, Unit Inria, Sophia Antipolis, Bruno Beauquier, Bruno Beauquier, ...
apport de recherche
Cayley Graphs with Complete Rotations (1999)
Stéphane Pérennes, Unit Inria, Sophia Antipolis, Marie-claude Heydemann, Marie-claude Heydemann, Nausica Marlin, ...
As it is introduced by Bermond, Pérennes, and Kodate and by Fragopoulou and Akl, some Cayley graphs, including most popular models for interconnection networks, admit a special automorphism, called...
Sign Methods for Counting and Computing Real Roots of Algebraic Systems (1999)
Unit Inria, Sophia Antipolis, Ioannis Z. Emiris, Ioannis Z. Emiris, Bernard Mourrain, Bernard Mourrain, ...
In this report, we implement the concept of topological degree to isolate and compute all zeros of systems of nonlinear algebraic equations when the only computable information required is the...
Optimal Routing Problems and Multimodularity (1999)
Unit Inria, Sophia Antipolis, Eitan Altman, Eitan Altman, Sandjai Bhulai, Sandjai Bhulai, ...
In this paper we study the static assignment of packets to M parallel heterogeneous servers with no buffers. Blocked packets are lost and the objective is to minimize the average number of lost...
The inverse EEG and MEG problems: The adjoint state approach I: The continuous case (1999)
O. Faugeras, F. Clément, R. Deriche, R. Keriven, T. Papadopoulo, J. Roberts, ...
In this report, we study the problem of the three-dimensional reconstruction of the electrical activity of the brain from electroencephalography (EEG) and magnetoencephalography (MEG). We use a...
Lower Bounds on the Broadcasting and Gossiping Time of Restricted Protocols (1999)
Stéphane Pérennès, Unit Inria, Sophia Antipolis, Michele Flammini, Michele Flammini, Projet Sloop
In this paper we extend the technique provided in [6] to allow the determination of lower bounds on the broadcasting and gossiping time required by the so-called "restricted" protocols....
Superposition of Planar Voronoi Tessellations (1999)
Francois Baccelli, Catherine Gloaguen, Sergei Zuyev, Réseauxetsystèmes Mai, Unité Inria, Sophia Antipolis
We study the tessellation dened as the intersection of two independent planar Poisson-Voronoi tessellations and derive the means of its main geometrical characteristics. For this intersection...
Some applications of bezoutians in eoeective algebraic geometry. Rapport de Recherche 3572 (1998)
Unit Inria, Sophia Antipolis, Mohamed Elkadi, Mohamed Elkadi, Bernard Mourrain, Bernard Mourrain
apport de recherche
• Relevant terminal aspects, • Layer 1 on MT-RAN Interface, • Layer 2 (MAC) on MT-RAN interface, • Layer 2 (LAC-C, LAC-U) on MT-RAN interface, • Layer 3 (RR) on MT-RAN interface, • Iu,...
Stphane Prennes, Unit Inria, Sophia Antipolis, Bruno Beauquier, Bruno Beauquier, Olivier Delmas, ...
apport de recherche
Optimal Sequential Gossiping by Short Messages (1998)
Jean-Claude Bermond, Sophia Antipolis, Luisa Gargano, Stephane Perennes
Gossiping is the process of information diffusion in which each node of a network holds a block that must be communicated to all the other nodes in the network. We consider the problem of gossiping...
Optimal Sequential Gossiping by Short Messages (1998)
Jean-Claude Bermond, Sophia Antipolis, Sophia Antipolis Cedex, Luisa Gargano, Stephane Perennes
Gossiping is the process of information diffusion in which each node of a network holds a block that must be communicated to all the other nodes in the network. We consider the problem of gossiping...
Homogenization of Random Parabolic Operator With Large Potential (1998)
Marina Kleptsyna, Unit Inria, Sophia Antipolis, Fabien Campillo, Fabien Campillo, Andrey Piatnitski, ...
We study the averaging problem for a divergence form random parabolic operators with a large potential and with coeOEcients rapidly oscillating both in space and time variables. We assume that the...
On the Design of CGAL, the Computational Geometry Algorithms Library (1998)
Geert-jan Giezeman, Lutz Kettner, Sven Schönherr, Unit Inria, Sophia Antipolis, Andreas Fabri, ...
CGAL is a Computational Geometry Algorithms Library written in C++. The goal is to make the large body of geometric algorithms developed in the field of computational geometry available for...
A New Efficient Caching Policy for the World Wide Web (1998)
Nicolas Niclausse, Zhen Liu, Philippe Nain, Inria Centre, Sophia Antipolis
With the increasing popularity of the World Wide Web, the amount of information available and the use of Web servers are growing exponentially. In order to reduce the overhead induced by frequent...
MichaelFuchs,ChristopheDiot,ThierryTurlettiandMarkusHofmann (1998)
Apport De Recherche, Michael Fuchs, Christophe Diot, Thierry Turletti, Markus Hofmann, Réseauxetsystèmes February, ...
This document presents the Reliable Multicast Framing Protocol (RMFP). RMFP is an ALF-based framework for protocols that can be integrated as protocol proles. In this report two proles are described:...
Luca Aceto A, Wan Fokkink B, Aalborg Ø Denmark, C Inria, ...
This paper studies nested simulation and nested trace semantics over the language BCCSP, a basic formalism to express finite process behaviour. It is shown that none of these semantics affords finite...
Robust Plane Sweep for Intersecting Segments (1997)
Unit Inria, Sophia Antipolis, Jean-daniel Boissonnat, Jean-daniel Boissonnat, Franco P. Preparata, Franco P. Preparata
In this paper, we reexamine in the framework of robust computation the Bentley-Ottmann algorithm for reporting intersecting pairs of segments in the plane. This algorithm has been reported as being...
On the Curves That May Be Approached By Trajectories of a Smooth Control Affine System (1997)
Unit Inria, Sophia Antipolis, Jean-Baptiste Pomet, Jean-baptiste Pomet, Projet Miaou
In this paper, we give a characterization of the set of curves that may be approached by trajectories of a smooth control-affine nonlinear system, in the topology of uniform convergence. This...
Variational Analysis of Functionals of a Poisson Process (1997)
Unite Inria, Sophia Antipolis, Ilya Molchanov, Ilya Molchanov, Sergei Zuyev, Sergei Zuyev, ...
Let F be a functional of a Poisson process whose distribution is determined by the intensity measure μ. Considering the expectation EμF as a function on the cone M of positive finite...
P. Lobel, Ch. Pichot, L. Blanc-Féraud, M. Barlaud, Sophia Antipolis
A method for reconstructing the complex permittivity profile of lossy dielectric objects from measured scattered far-field data is presented. From an integral representation of the electric field...
A New Efficient Caching Policy for the World Wide Web (1997)
Nicolas Niclausse, Zhen Liu, Philippe Nain, Inria Centre, Sophia Antipolis
With the increasing popularity of the World Wide Web, the amount of information available and the use of Web servers are growing exponentially. In order to reduce the overhead induced by frequent...
A circuit-based approach for routing in unidirectional links networks (1997)
Apport De Recherche, Thierry Ernst, Walid Dabbous, Réseauxetsystèmes October, Unité Inria, Sophia Antipolis
Current routing protocols assume that routers are connected by bidirectional links. However, in an increasing number of congurations, pairs of routers may only be connected by unidirectional links....
*BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions (1996)
Laurent Arditi, Sophia Antipolis
We address the problem of formally verifying arithmetic instructions of microprocessors implemented by microprograms that contain loops. We try to avoid theorem proving techniques using a new...
Hamilton circuits in the directed Butterfly network (1996)
Jean-Claude Bermond, Eric Darrot, Olivier Delmas, Stéphane Perennes, Projet Sloop, Unite Inria, ...
In this paper, we prove that the wrapped Butterfly digraph ~ WBF(d,n) of degree d and dimension n contains at least d \Gamma 1 arc-disjoint Hamilton circuits, answering a conjecture of D. Barth. We...
A complete analysis of Clarkson's algorithm for safe determinant evaluation (1996)
Hervé Brönnimann, Hervé Brönnimann, Mariette Yvinec, Mariette Yvinec, Thème Génie Logiciel, Projet Prisme, ...
In this paper, we give a complete and self-contained analysis of Clarkson's algorithm that performs safe and efficient determinant evaluation of an n × n matrix with integer...
Efficient Collective Communication in Optical Networks (1996)
Jean-Claude Bermond, Sophia Antipolis Cedex, Luisa Gargano, Stephan Perennes, Is Cnrs, Is Cnrs, ...
This paper studies the problems of One--to--All and All--to--All Communication in optical networks. In such networks the vast bandwidth available is utilized through wavelength division multiplexing:...
A Sampling Based Approach To Line Scratch Removal From Motion Picture Frames (1996)
Robin D. Morris, Sophia Antipolis, W. J. Fitzgerald, A. C. Kokaram
We address the problem of detecting, and subsequently removing, `line scratch' distortion in motion picture frames (see figure 4). A model for the lines' interaction with the image data is...
A New Approach to Primary Decomposition (1996)
Alain Sausse, Inria Sophia Antipolis, Projet Safir, Sophia Antipolis
this paper is to describe a new mathematical approach for the computation of an irredundant primary decomposition of a given polynomial ideal I.
Hamilton circuits in the directed wrapped Butterfly network (1996)
Jean-Claude Bermond, Jean-claude Bermond, Eric Darrot, Eric Darrot, Olivier Delmas, Olivier Delmas, ...
In this paper, we prove that the wrapped Butterfly digraph ~ WBF(d;n) of degree d and dimension n contains at least d \Gamma 1 arc-disjoint Hamilton circuits, answering a conjecture of D. Barth. We...
On the Stability of Timed Token Rings (1996)
Eitan Altman, Zhen Liu, Inria Centre, Sophia Antipolis
We analyze in this paper the stability of two types of timed-token rings: the existing Fiber Distributed Data Interface (FDDI) token ring protocol, and a new variant of the FDDI that we propose. The...
Optimal Load Balancing on Distributed Homogeneous Unreliable Processors (1996)
Zhen Liu, Inria Centre, Sophia Antipolis, Rhonda Righter
A common architecture for multiprocessor systems is the distributed architecture in which relatively autonomous processors...
Soutenu Le, Cermics Sophia Antipolis, Sophia Antipolis Cedex, Monnet Saint-etienne, Auteur Badard Thierry, Sophia Antipolis, ...
The concurrency control problem has been for a long time a source of research in the database community. If traditional databases use models that have been validated, they don't fully answer to...
An object-oriented framework for the formal verication of processors (1995)
Laurent Arditi, Sophia Antipolis
Abstract. We propose an object-oriented approach for the formal verification of processors. This approach has been validated on significant applications. It is based on a class hierarchy that...
Towards Verifying VHDL Descriptions of Processors (1995)
Laurent Arditi El, Sophia Antipolis
We present a system for the formal verification of processors which combines a computer algebra simplification tool with an object-oriented approach. It has been successfully used for verifying the...
Worst-Case Analysis of Scheduling Heuristics of Parallel Systems (1995)
Zhen Liu, Inria Centre, Sophia Antipolis
: It is well-known that most scheduling problems arising from parallel systems are NP-hard, even under very special assumptions. Thus various suboptimal algorithms, in particular heuristics, were...
A Comparison of Projective Reconstruction Methods for Pairs of Views (1995)
C. Rothwell, G. Csurka, O. Faugeras, Sophia Antipolis
Recently, different approaches for uncalibrated stereo have been suggested which permit projective reconstruction from multiple views. These use weak calibration which is represented by the epipolar...
Stochastic Scheduling in In-Forest Networks (1994)
Zhen Liu Inria, Zhen Liu, Inria Centre, Sophia Antipolis, Don Towsley
In this paper we study the extremal properties of several scheduling policies in an in-forest network consisting of multi-server queues. Each customer has a due date and we assume that service times...
Impact of ALF on Communication Subsystems Design and Performance (Extended Abstract) (1994)
Isabelle Chrisment, Inria Centre, Sophia Antipolis, Route Des Lucioles
Isabelle Chrisment INRIA Centre de Sophia Antipolis 2004, Route des Lucioles BP-109 06561 VALBONNE Cedex, FRANCE email: Isabelle.Chrisment@sophia.inria.fr Abstract The lack of flexibility and...
Optimality of the Round Robin Routing Policy (1994)
Zhen Liu, Inria Centre, Sophia Antipolis, Don Towsley
In this paper we consider the problem of routing customers to identical servers, each with its own infinite capacity queue. Under the assumptions that i) the service times form a sequence of...
Mean eccentricities of de Bruijn networks (1993)
Jean-claude Bermond, Avenue A. Einstein, Sophia Antipolis, Zhen Liu, Michel Syska
Abstract: Given a graph G = (V; E) we define e(X), the mean eccentricity of a vertex X, as the average distance from X to all the other vertices of the graph. The computation of this parameter...
Modèles Pratiques De Catalyse à La Paroi Pour Les Calculs D'écoulements Hypersoniques (1993)
Calcul Scientifique, Maria Vittoria Salvetti, Maria Vittoria Salvetti, Programme Calcul Scientifique, Projet Sinus-inria, ...
: pto) Unit e de recherche INRIA Sophia-Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France) T el ephone : (33) 93 65 77 77 -- T el ecopie : (33) 93 65 77 65 Practical...
Asymptotic Properties of Constrained Markov Decision Processes (1993)
E De Recherche, Et En Automatique, Sophia Antipolis, Eitan Altman, Eitan Altman
We present in this paper several asymptotic properties of constrained Markov Decision Processes (MDPs) with a countable state space. We treat both the discounted and the expected average cost, with...
Polling on a Graph with General Arrival and Service Time Distribution (1993)
E De Recherche, Et En Automatique, Route Des Lucioles, Eitan Altman, Eitan Altman, Eitan Altman, ...
Nous consid'erons un syst`eme de polling sur un graphe avec des temps d'interarriv 'ees, de services et de d'eplacements du serveur qui forment des suites i.i.d. Nous...
Mean Eccentricities of de Bruijn Networks (1993)
Jean-Claude Bermond, Zhen Liu, Michel Syska, Avenue A. Einstein, Avenue A. Einstein, ...
: Given a graph G = (V; E) we define e(X), the mean eccentricity of a vertex X , as the average distance from X to all the other vertices of the graph. The computation of this parameter appears to be...
Mean Eccentricities of de Bruijn Networks (1993)
Jean-Claude Bermond, Zhen Liu, Michel Syska, Avenue A. Einstein, Avenue A. Einstein, ...
: Given a graph G = (V; E) we define ¯ e(X), the mean eccentricity of a vertex X, as the average distance from X to all the other vertices of the graph. The computation of this parameter appears to...
Stochastic Scheduling in In-Forest Networks (1993)
Zhen Liu, Inria Centre, Sophia Antipolis, Don Towsley
In this paper we study the extremal properties of several scheduling policies in an in-forest network consisting of multi-server queues. Each customer has a due date and we assume that service times...
Protocol for Managing Dependencies between Objects by controlling Generic Function Invocation (1993)
Stephane Ducasse, Mireille Fornarino, Sophia Antipolis Cnrs, Avenue A. Einstein, Sophia Antipolis
Introduction The design of programming environments, hypertexts, graphical interfaces, and communications between processes all require the representation and management of dependencies between...
Some Qualitative Properties In Polling Systems (1992)
E De Recherche, Et En Automatique, Eitan Altman, Eitan Altman, Panagiotis Konstantopoulos, Panagiotis Konstantopoulos, ...
Consider a polling system with K 1 queues and a single server that visits the queues in a cyclic order. The polling discipline in each queue is of general gated-type or exhaustive-type. We assume...
Denumerable Constrained Markov Decision Problems And Finite Approximations (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Eitan Altman, Eitan Altman, Centre Sophia Antipolis
The purpose of this paper is two fold. First to establish the Theory of discounted constrained Markov Decision Processes with a countable state and action spaces with general multi-chain structure....
Language-Based Document Processing (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Calcul Symbolique Programmation, Dennis S. Arnon, S. Arnon, ...
This paper proposes an application of programming environments generation to structured documents manipulation. We use Centaur as a formal tool to model and implement logical and physical structure,...
Closed-Loop Control with Delayed Information (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Eitan Altman, Eitan Altman
The theory of Markov Control Model with Perfect State Information (MCM-PSI) requires that the current state of the system is known to the decision maker at decision instants. Otherwise, one speaks of...
On High Resolution Extensions Of Lagrange-Galerkin Finite-Element Schemes (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Francoise Loriot, Alain Dervieux, Alain Dervieux, ...
: It is shown how two typical 1D finite--volume high resolution schemes, like FCT or MUSCL can be introduced in the multidimensional background of a class of Lagrange--Galerkin finite--element...
Using pseudo Kalman-Filters in the presence of constraints Application to Sensing Behaviors (1992)
E De Recherche, Peter Sander, Et En Automatique, Sophia Antipolis, Thierry Viéville, Thierry Vi
A new generalization of the linear Kalman-Filter to non-linear equations is introduced. The deterministic interpretation of this mechanism is discussed. The proposed algorithm is an alternative to...
Effects of Service Disciplines in (1992)
Gi Queueing Systems, Zhen Liu, Inria Centre, Sophia Antipolis, Don Towsley
Transient extremal properties of some service disciplines are established in the G=GI=s queueing system for the minimization and maximization of the expectations of the Schur convex functions, convex...
Réseaux de Processus Réactifs - Nets of Reactive Processes (1992)
Frédéric Boussinot, E De Recherche, Et En Automatique, Sophia Antipolis, Calcul Symbolique Programmation, Eseaux De Processus
. We introduce the model of nets made of reactive processes. We describe an implementation of these nets and give them a denotational semantics. We study the implementation of the synchronous...
Mesh Adaption For Compressible Flows (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Bernadette Palmerio, Bernadette Palmerio
: We describe here some recent developments in mesh adaption for compressible viscous inviscid flow simulation. One of the most challenging task is to capture efficiently thin layers such as boundary...
Un Test De Type Kolmogorov-Smirnov Pour Processus De Diffusion Ergodiques (1992)
Eric Fournie, E De Recherche, Et En Automatique, Processus De Diffusion, Pour Processus, De Diffusion Ergodiques, ...
We present a test of Kolmogorov-Smirnov type for ergodic diffusion processes. It is based on an estimate of large deviations probabilities for the supremum of the limit process of the empirical...
Auto/Mauto User Manual - Version 2-3 (1992)
Didier Vergamini, Sophia Antipolis
This report is the User Manual for systems Auto and Mauto (version 2-3). Contents 1 User Interface Principles 2 1.1 Types and concrete syntax : : : : : : : : : : : : : : : : : : : : : : : : : : : : :...
Some Results On Feedback Stabilization Of A One-Link Flexible Arm (1992)
Sylvie Icart, E De Recherche, Et En Automatique, Sophia Antipolis, Juliette Leblond, ...
: The aim of this report is to exhibit a class of stabilizing feedback laws for a structurally undamped one--link flexible arm with control applied at one extremity. A finite-- dimensional model of...
Real Theorem Provers Deserve Real User-Interfaces (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Laurent Thery, Yves Bertot, Yves Bertot, ...
This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments. Une strat'egie de construction...
Solving NAMES within X.500 (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Hossam Afifi, Hossam Afifi, Christian Huitema, ...
An easily accessible name service is an important asset for the management of a network, and a standard service like X.500 could enhance considerably the operation of heterogeneous networks based on...
Effects of Service Disciplines in G/GI/s Queueing Systems (1992)
Zhen Liu, Inria Centre, Sophia Antipolis, Don Towsley
Transient extremal properties of some service disciplines are established in the G=GI=s queueing system for the minimization and maximization of the expectations of the Schur convex functions, convex...
Parallel Simulation Of Stochastic Petri Nets Using Recursive Equations (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Francois Baccelli, Miguel Canales
A new parallel simulation method is proposed for the class of stochastic decision free Petri nets, that is amenable to an SIMD implementation. This method is based on the max; +- linear structure of...
Asymptotics Of The GLRT For The Disorder Problem In Diffusion Processes (1992)
E De Recherche, Et En Automatique, Sophia Antipolis, Yurii Kutoyants, Fabien Campillo, Fabien Campillo
We consider the problem of detecting a change in the drift coefficient of a diffusion type process (disorder problem), using the generalized likelihood ratio test (GLRT). Assuming that a change has...
On The Randomized Construction Of The Delaunay Tree (1991)
E De Recherche, En Informatique, Et En Automatique, Sophia Antipolis, Jean-daniel Boissonnat, Jean-daniel Boissonnat, ...
The Delaunay Tree is a hierarchical data structure that was introduced in [BT86]. It is defined from the Delaunay triangulation and, roughly speaking, represents a triangulation as a hierarchy of...
Optimal Ergodic Control of Nonlinear Stochastic Systems (1990)
E De Recherche, Et En Automatique, Sophia Antipolis, Fabien Campillo, Fabien Campillo, Inria Sophia Antipolis, ...
We study a class of ergodic stochastic control problems for diffusion processes. We describe the basic ideas concerning the Hamilton--Jacobi--Bellman equation. For a given class of control problems...
Finiteness Conditions and Structural Construction of Automata for All Process Algebras (1990)
Eric Madelaine And, Eric Madelaine, Didier Vergamini, Rue Albert Einstein, Sophia Antipolis
Finite automata are the basis of many verification methods and tools for process algebras. It is however undecidable in most process algebras whether the semantics of a given term is finite. We give...
Bernard Dion, Laurent Angeli, Angel Bravo Lastra, Sophia Antipolis
This report presents the implementation of PARAGRAPH, a parallelizer for F, a subset of the FORTRAN language, in the CENTAUR system. Using TYPOL, the dynamic semantics of the language has been...
Efficient Collective Communication in Optical Networks
Jean-Claude Bermond, Sophia Antipolis Cedex, Luisa Gargano, A. A. Rescigno, U. Vaccaro, Stephan Perennes, ...
This paper studies the problems of One--to--All and All--to--All Communication in optical networks. In such networks the vast bandwidth available is utilized through wavelength division multiplexing:...
Stéphane Lavirotte, Loïc Pottier, Inria Sophia, Antipolis Inria, Sophia Antipolis
This paper describes the design and the first steps of implementation of OFR (Optical Formula Recognition), a system for extracting and understanding mathematical expressions in printed documents....
Burst Reduction Properties of Rate-Control Throttles: Downstream Queue Behavior
Zhen Liu, Inria Centre, Sophia Antipolis, Don Towsley
In this paper we consider rate-based flow control throttles feeding a sequence of single server infinite capacity queues. Specifically, we consider two types of throttles, the token bank and the...
Efficient Collective Communication in Optical Networks
Jean-Claude Bermond, Is Cnrs, Sophia Antipolis, Sophia Antipolis Cedex, Luisa Gargano, ...
This paper studies the problems of broadcasting and gossiping in optical networks. In such networks the vast bandwidth available is utilized through wavelength division multiplexing: a single...
Burst Reduction Properties of Rate-Control Throttles: Departure Process
Zhen Liu, Inria Centre, Sophia Antipolis, Don Towsley
In this paper we study the departure processes of two rate-control throttles: the token bank and the leaky bucket. Using sample path methods and the notion of majorization, we analyze the effect that...
Burst Reduction Properties of Rate-Control Throttles: Downstream Queue Behavior
Zhen Liu Inria, Zhen Liu, Inria Centre, Sophia Antipolis, Don Towsley
In this paper we consider rate-based flow control throttles feeding a sequence of single server infinite capacity queues. Specifically, we consider two types of throttles, the token bank and the...