-
Cooperative Resource Management for Parallel and Distributed Systems
High-Performance Computing (HPC) resources, such as Supercomputers, Clusters, Grids and HPC Clouds, are managed by Resource Management Systems (RMSs) that multiple... -
Contributions to efficiency of total order broadcast protocols and to RFID-ba...
In asynchronous distributed systems, logical clock and vector clocks are two core tools to manage data communication and data sharing between entities of these... -
Reasoning on a network of aligned ontologies
zimmermann2008b -
A component-based approach based on High-Level Petri Nets for modeling Distri...
International audience -
Infinite Dimensional Port Hamiltonian Representation of Chemical Reactors
International audience -
Building Efficient Distributed Systems: A Domain-Specific Language Based Appr...
In recent years, many distributed systems have evolved to cope with the convergence of their domain and computer networks. As an example, Internet telephony has... -
Integrated distributed description logics
zimmermann2007a -
Extremal Optimization Applied to Task Scheduling of Distributed Java Programs
International audience -
Non-Monotonic Snapshot Isolation
Many distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two... -
Design and implementation of open and distributed multi-agent systems
An open multi-agent system (MAS) is an extensible and evolutive system. Extensibility means the possibility of adding new agents but also of managing their... -
Extremal Optimization Approach Applied to Initial Mapping of Distributed Java...
International audience -
Parallel and distributed systems programming: Fault-Tolerance, resilience and...
Grid and cluster architectures are gaining in popularity for scientific computing applications. The distributed computations, as well as their underlying... -
Trust Evaluation of a System for an Activity
International audience -
Integrating the Human Phenotype Ontology into HeTOP Terminology-Ontology Server.
International audience -
From Event-B Specifications to Programs for Distributed Algorithms
International audience -
Decentralizing news personalization systems
The rapid evolution of the web has changed the way information is created, distributed, evaluated and consumed. Users are now at the center of the web and becoming the... -
Anchor-Based Localization Using Distributed Interval Contractors
This paper presents a new method to solve anchor-based distributed localization problems. This method is based on a generic algorithm using interval contractors. In... -
Deploying legacy applications in cloud computing environments
Cloud computing aims to cut down on the outlay and operational expenses involved in setting up and running applications. To do this, an application is split into a set... -
Extending Symmetry Reduction Techniques to a Realistic Model of Computation
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system...
