WorldCat Identities

Moreaux, Patrice

Overview
Works: 16 works in 26 publications in 2 languages and 189 library holdings
Roles: Collector, Editor, Thesis advisor, Publishing director, Author, 958, Opponent
Classifications: QA76.64, 005.117
Publication Timeline
.
Most widely held works by Patrice Moreaux
Conception objet en Java avec BlueJ une approche interactive by David J Barnes( Visual )

3 editions published between 2003 and 2009 in French and held by 136 WorldCat member libraries worldwide

Objects first with Java : a practical introduction using Blue J by David J Barnes( Book )

5 editions published between 2003 and 2009 in French and held by 14 WorldCat member libraries worldwide

This introductory programming textbook integrates BlueJ with Java. It provides a thorough treatment of object-oriented principles
Systèmes et réseaux : évaluation de performances( Book )

1 edition published in 2005 in French and held by 12 WorldCat member libraries worldwide

Enjeux de la simulation pour l'étude des performances énergétiques des bâtiments en Afrique sub-saharienne by Madi Kaboré( )

2 editions published in 2015 in French and held by 5 WorldCat member libraries worldwide

In sub-Saharan African countries, the energy context, the high urban growth, inadequate construction techniques and climate offer great potential for bio-climatic approach and sustainable construction particularly on the energy level. However, this potential and the use of passive cooling techniques are weakly explored. To do so, it requires a good knowledge of building's behaviour and their adaptation to the climatic context. As part of our contribution to this issue, a study on the thermal behaviour of buildings is initiated by numerical simulation. Indeed the building's energy performance simulation tools are becoming more essential in the building's design processes and analysis. Investigations are conducted on a building built with typical materials in Burkina Faso by following two main approaches. In the first approach a model of the building is faced with measurements from field experiments on the building. A calibration methodology based on the sensitivity analysis and optimization has been applied for the comparison of results. This helped to calibrate the model and diagnostic studies are performed.In the second approach, investigations on methods which can help to improve the building performance are realized through the application building performance simulation as a design aid tool. Interoperability and optimization techniques are used to deal with passive cooling techniques and their impacts on the building thermal behaviour are assessed. Finally in this work analysis techniques and performance criteria are used to characterize and make recommendations on building designs for the tropical climate context
Introduction de fonctionnalités d'auto-optimisation dans une architecture de selfbenchmarking by El Hachemi Bendahmane( )

1 edition published in 2012 in French and held by 3 WorldCat member libraries worldwide

Benchmarking client-server systems involves complex, distributed technical infrastructures, whose management deserves an autonomic approach. It also relies on observation, analysis and feedback steps that closely matches the autonomic control loop principle. While previous works in performance testing have shown how to introduce autonomic load testing features through self-regulated load injection, the goal of this thesis is to follow this approach of autonomic computing to introduce self-optimization features in this architecture to obtain reliable and comparable benchmark results, and to achieve the fully principle of Self-benchmarking.Our contribution is twofold. From the algorithmic point of view, we propose an original optimization algorithm in the context of performance testing. This algorithm is divided into two parts. The first one concerns the overall level, i.e. the control of the performance index evolution, based on global parameters setting of the system. The second part concerns the search for the optimum when only one parameter is modified. From the software architecture point of view, we complete the Fractal component-based architecture, containing several autonomic control loops (saturation, injection, optimization computing) and we implement the coordination principle between these loops by asynchronous messages according to the publish-subscribe communication paradigm. To apply a given parameters setting on the system under test, we introduced new components Configurators to support the setting of parameters before starting the test process. It may also be necessary to restart all or part of the system to optimize to ensure that the new setting is effectively taken into account. We introduced components Starters to cover this need in a specific way for each system.To validate our self-optimization framework, two types of campaigns have been conducted onto the servers of Orange Labs in Meylan and the servers of the LISTIC Laboratory of the University of Savoie in Polytech Annecy-Chambéry (Annecy le Vieux). The first one is a WEB online shopping application deployed on a Java EE application server JonAS. The second one is a three-tiers application (WEB, business (EJB JOnAS) and data base) clusterSample. The three tiers are in three separate machines
Modélisation de l'interopérabilité d'objets communicants et de leur coopération : application à la domotique by Fabien Sartor( )

1 edition published in 2012 in French and held by 3 WorldCat member libraries worldwide

In the context of the building developments, it is increasing necessary to interconnect communicating objects. This approach is slow down because of the lack of a standard communication protocol. The smart home is not a new concept, and home automation has become a fashion research topic in recent years. The problem of this thesis focuses on the interoperability of communicating systems. Specifically, we focus on how to establish cooperation between different devices of an environment in order to hide the complexity to a user. Initially, interoperability between these objects is achieved by the establishment of a virtual ecosystem where devices can communicate their states or the state of the environment. It is the abstraction of systems. In this paper, we discuss how and why systems are necessarily abstract when we are interested in taking into consideration the context of the installation. The study of consideration of context allowed to provide scientific data to the company Overkiz in order to realize abstraction of home automation devices. Second, cooperation among communicating objects is implemented by a mathematical tool to model the behavior of an environment cibsustubg of actuators, sensors and user interfaces. The behavior is formalized using the automata theory and more specificaly the automaton theory of Input/Output Symbolic Transition Systems (IOSTS). We synthesize then how to synthetise a "controller" of a global behavior of an installation, from constraint rules or rules of action
Contrôle et implantation des systèmes répartis de fusion d'informations by Olivier Passalacqua( Book )

1 edition published in 2009 in French and held by 3 WorldCat member libraries worldwide

Information fusion is required since potential uncertain or imprecise data should be combined. The fusion operations have to be performed on physical resources, named Information Fusion Systems (IFS), since fusion processes are now too complex. IFS are now distributed over communicating devices due to geographical or security issues. The purpose of this Ph. D. thesis deals with the control of distributed IFS. Especially it presents a control system able to adapt the use of available resources to the fusion process requirements. Thus, the description of the fusion process, built upon a data flow graph, is generic enough to cover the scope of the common information fusion models. Five control tasks compose the control system in order to reach five dedicated goals: matching each part of the process to the compatible ressources, effectively deploying the configuration, executing the fusion process, analysing the system performance in order to improve it, and monitoring the execution in order to detect faults before failures occur. The final decision about updating the configuration comes from a negotiation between agents. The whole control system makes profit of the distributed resources thanks to a bio-inspired mechanism in which each agent infers its location in a control hierarchy from its CPU power and from its interactions with its neighbours. From a practical viewpoint, two tasks of the control system, respectively the one in charge of the deployment and the one in charge of the performance analysis, are implemented in eZFusion that is a distributed IFS developed over a network of OSGi frameworks
Aggregation and decomposition for performance evaluation of synchronous products of high level Petri nets by Serge Haddad( Book )

2 editions published between 1996 and 1997 in English and held by 2 WorldCat member libraries worldwide

Structuration des chaines de markov des reseaux de petri stochastiques decomposition tensoreelle et agregation by Patrice Moreaux( Book )

1 edition published in 1996 in French and held by 2 WorldCat member libraries worldwide

CETTE THESE SE SITUE DANS LE CADRE DES METHODES EXACTES D'EVALUATION DE PERFORMANCES DES SYSTEMES A NOMBRE FINI D'ETATS EVOLUANT EN TEMPS CONTINU. LA COMPLEXITE CROISSANTE DE CES SYSTEMES EXIGE LE DEVELOPPEMENT DE METHODES DE RESOLUTION ADAPTEES DU MODELE MARKOVIEN SOUS-JACENT. DANS UNE PREMIERE PARTIE, NOUS ETABLISSONS UNE NOUVELLE METHODE, QUI, POUR LA PREMIERE FOIS, COMBINE L'AGREGATION MARKOVIENNE ET LA DECOMPOSITION TENSORIELLE QUI ONT, CHACUNE, MONTRE LEUR EFFICACITE : A PARTIR DU MODELE RESEAU DE PETRI STOCHASTIQUE BIEN FORME, QUI FOURNIT LA COMPOSANTE AGREGATION, NOUS EXHIBONS DES CONDITIONS, AUSSI BIEN AU NIVEAU DES MARQUAGES QUE DE LA STRUCTURE DU RESEAU, SOUS LESQUELLES UNE DECOMPOSITION EN SOUS-RESEAUX PERMET D'OBTENIR LE GENERATEUR DE LA CHAINE DE MARKOV SOUS-JACENTE COMME EXPRESSION TENSORIELLE D'ELEMENTS CALCULABLES DANS LES SOUS-RESEAUX EN ISOLATION. CETTE EXPRESSION AUTORISE UN GAIN IMPORTANT EN PLACE MEMOIRE ET TEMPS D'EXECUTION LORS DE LA RESOLUTION. LA SECONDE PARTIE DE CE TRAVAIL EST CONSACREE A L'INTRODUCTION DES DISTRIBUTIONS DE COX DANS LES RESEAUX DE PETRI STOCHASTIQUES. CONTRAIREMENT AUX TRAVAUX PRECEDENTS SUR LE SUJET, NOTRE METHODE, FONDEE SUR LES PROPRIETES STRUCTURELLES DU RESEAU, CONTROLE L'ACCROISSEMENT DE COMPLEXITE DE RESOLUTION RESULTANT INTRINSEQUEMENT DE L'EMPLOI DE CES DISTRIBUTIONS, TOUT EN CONSERVANT L'ENSEMBLE DES SEMANTIQUES STOCHASTIQUES POSSIBLES : NOUS DECOMPOSONS L'ENSEMBLE DES PLACES DU RESEAU EN TENANT COMPTE DES INTERACTIONS DES TRANSITIONS A LOI DE COX ET NOUS EN DEDUISONS UNE EXPRESSION TENSORIELLE DU GENERATEUR DE LA CHAINE DE MARKOV SOUS-JACENTE. MOTS-CLES : AGREGATION MARKOVIENNE, DECOMPOSITION TENSORIELLE, EVALUATION DE PERFORMANCES, LOI DE COX, RESEAUX DE PETRI STOCHASTIQUES ET DE HAUT NIVEAU
Sémantique, interactions et langages de description des services web complexes by Sylvain Rampacek( Book )

2 editions published in 2006 in French and held by 2 WorldCat member libraries worldwide

This PhD thesis is about web services, in which business process is described by using a behaviour description language, such as XLANG or BPEL. We give a method, algorithms and their implementations enable us to modelling in timed transition systems (TIOTS in discrete time and timed automaton in dense time) the behaviour of these web services. We give semantics with algebra of timed processes, enabling us to describe formally the behaviour, concerning actions, exceptions and timed events, ofeach operator of these behaviour description languages. These descriptions are directly translating in the given timed transition systems. In the next, with our interaction relation, we can detect the non ambiguity of this service, providing possible interaction with an adapted client that we produce the model. We extend our approach to the possibility to verify the interaction of different partners of a given choreography, enable us to detect a possible ambiguity in this interaction
Chaînes de Markov Incomplètement spécifiées : analyse par comparaison stochastique et application à l'évaluation de performance des réseaux by Farah Ait Salaht( Book )

2 editions published in 2014 in French and held by 2 WorldCat member libraries worldwide

This thesis is devoted to the uncertainty in probabilistic models, how it impacts their analysis and how to apply these methods to performance analysis and network dimensioning. We consider two aspects of the uncertainty. The first consists to study a partially specified Markov chains. The missing of some transitions in the exact system because of its complexity can be solved by constructing bounding systems where worst-case transitions are defined to obtain an upper or a lower bound on the performance measures. We propose to develop new algorithms which give element-wise bounds of the steady-state distribution for the partially specified Markov chain. These algorithms are faster than the existing ones and allow us to compute element-wise bounds at each iteration.The second aspect studied concerns the problem of the measurements of real traffic trace in networks. Exact analysis of queueing networks under real traffic becomes quickly intractable due to the state explosion. Assuming the stationarity of flows, we propose to apply the stochastic comparison method to derive performance measure bounds under histogram-based traffics. We apply an algorithm based on dynamic programming to derive optimal bounding traffic histograms on reduced state spaces. Using the stochastic bound histograms and the monotonicity of the networking elements, we show how we can obtain, in a very efficient manner, guarantees on performance measures. We indeed obtain stochastic upper and lower bounds on buffer occupancy, losses, etc. The interest and the impact of our method are shown on various applications: elements of networks, AQM, queueing networks and queue with non-stationary arrival process
Introduction de fonctionnalités d'auto-optimisation dans une architecture de selfbenchmarking by El Hachemi Bendahmane( Book )

1 edition published in 2012 in French and held by 2 WorldCat member libraries worldwide

Le Benchmarking des systèmes client-serveur implique des infrastructures techniques réparties complexes, dont la gestion nécessite une approche autonomique. Cette gestion s'appuie sur une suite d'étapes, observation, analyse et rétroaction, qui correspond au principe d'une boucle de contrôle autonome. Des travaux antérieurs dans le domaine du test de performances ont montré comment introduire des fonctionnalités de test autonome par le biais d'une injection de charge auto-régulée. L'objectif de cette thèse est de suivre cette démarche de calcul autonome (autonomic computing) en y introduisant des fonctionnalités d'optimisation autonome. On peut ainsi obtenir automatiquement des résultats de benchmarks fiables et comparables, mettant en oeuvre l'ensemble des étapes de self-benchmarking. Notre contribution est double. D'une part, nous proposons un algorithme original pour l'optimisation dans un contexte de test de performance, qui vise à diminuer le nombre de solutions potentielles à tester, moyennant une hypothèse sur la forme de la fonction qui lie la valeur des paramètres à la performance mesurée. Cet algorithme est indépendant du système à optimiser. Il manipule des paramètres entiers, dont les valeurs sont comprises dans un intervalle donné, avec une granularité de valeur donnée. D'autre part, nous montrons une approche architecturale à composants et une organisation du benchmark automatique en plusieurs boucles de contrôle autonomes (détection de saturation, injection de charge, calcul d'optimisation), coordonnées de manière faiblement couplée via un mode de communication asynchrone de type publication-souscription. Complétant un canevas logiciel à composants pour l'injection de charge auto-régulée, nous y ajoutons des composants pour reparamétrer et redémarrer automatiquement le système à optimiser.Deux séries d'expérimentations ont été menées pour valider notre dispositif d'auto-optimisation. La première série concerne une application web de type achat en ligne, déployée sur un serveur d'application JavaEE. La seconde série concerne une application à trois tiers effectifs (WEB, métier (EJB JOnAS) et base de données) clusterSample. Les trois tiers sont sur des machines physiques distinctes
Analyse de performances des systèmes basés composants by Nabila Salmi( Book )

1 edition published in 2008 in French and held by 1 WorldCat member library worldwide

Software and hardware industry is being more and more oriented to component based design of systems. The aim of such design is to reduce development cost and time by reuse of components, and to achieve high degree of maintainability, extensibility and dynamics. Ensuring correctness and analysis of these component based systems (CBS) seems to be an important matter, even qualitative or quantitative analysis. In this optic, we develop, in this thesis, a new method allowing to perform a qualitative and quantitative analysis of a CBS. The main benefit of our method is to exploit the compositional architecture of such systems in order to reduce the complexity of analysis (computation time and memory savings), and to allow thus the analysis of important state spaces. This approach starts from the definition of the component architecture of a CBS, and models systematically and adequately this CBS in order to apply a structured method for performance analysis of .the global system. The components are modeled with a high level model, the Stochastic Well-formed Net, widely used for performance evaluation of complex systems partially or totaly symmetrical. Two main kinds of interaction between components are considered : communication by service invocation and event based communication. In order to reduce analysis complexity, the structured analysis of a CBS is based on a tensorial descrition of the generato of the underlying Markov chain. Case studies illustrate our approach
Conception et évaluation de performance d'un Bus applicatif, massivement parallèle et orienté service. by Ridha Mohammed Benosman( )

1 edition published in 2013 in French and held by 1 WorldCat member library worldwide

Enterprise Service Bus (ESB) est actuellement l'approche la plus prometteuse pour l'implémentation d'une architecture orientée services (SOA : Service-Oriented Architecture) par l'intégration des différentes applications isolées dans une plateforme centralisée. De nombreuses solutions d'intégration à base d'ESB on été proposées, elles sont soit open-source comme : Mule, Petals, ou encore Fuse, soit propriétaires tels que : Sonic ESB, IBM WebSphere Message Broker, ou Oracle ESB. Cependant, il n'en existe aucune en mesure de traiter, à la fois des aspects : d'intégration et de traitement massivement parallèle, du moins à notre connaissance. L'intégration du parallélisme dans le traitement est un moyen de tirer profit des technologies multicœurs/multiprocesseurs qui améliorent considérablement les performances des ESBs.Toutefois, cette intégration est une démarche complexe et soulève des problèmes à plusieurs niveaux : communication, synchronisation, partage de données, etc.Dans cette thèse, nous présentons l'étude d'une nouvelle architecture massivement parallèle de type ESB
Modélisation de l'interopérabilité d'objets communicants et de leur coopération application à la domotique by Fabien Sartor( Book )

1 edition published in 2012 in French and held by 1 WorldCat member library worldwide

In the context of the building developments, it is increasing necessary to interconnect communicating objects. This approach is slow down because of the lack of a standard communication protocol. The smart home is not a new concept, and home automation has become a fashion research topic in recent years. The problem of this thesis focuses on the interoperability of communicating systems. Specifically, we focus on how to establish cooperation between different devices of an environment in order to hide the complexity to a user. Initially, interoperability between these objects is achieved by the establishment of a virtual ecosystem where devices can communicate their states or the state of the environment. It is the abstraction of systems. In this paper, we discuss how and why systems are necessarily abstract when we are interested in taking into consideration the context of the installation. The study of consideration of context allowed to provide scientific data to the company Overkiz in order to realize abstraction of home automation devices. Second, cooperation among communicating objects is implemented by a mathematical tool to model the behavior of an environment cibsustubg of actuators, sensors and user interfaces. The behavior is formalized using the automata theory and more specificaly the automaton theory of Input/Output Symbolic Transition Systems (IOSTS). We synthesize then how to synthetise a "controller" of a global behavior of an installation, from constraint rules or rules of action
Structuration des chaines de Markov des reseaux de Petri Stochastiques. Decomposition tensiorielle et agregation by Patrice Moreaux( Book )

1 edition published in 1996 in French and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.89 (from 0.69 for Objects fi ... to 0.97 for Aggregatio ...)

Languages
French (24)

English (2)