30 citations
- Institut de Recherche en Informatique et Systèmes AléatoiresFR27 papers
- Institut national de recherche en sciences et technologies du numériqueFR4 papers
- Amplitude Systèmes (France)FR3 papers
- Edo State University UzairueNG2 papers
- Computer Algorithms for MedicineAT1 paper
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE1 paper
- Dienstleistungszentrum Ländlicher RaumDE1 paper
- École Normale Supérieure Paris-SaclayFR1 paper
- Fafo FoundationNO1 paper
- Graz University of TechnologyAT1 paper
- Institut thématique Génétique, génomique et bioinformatiqueFR1 paper
- Laboratoire d'Automatique, de Mécanique et d'Informatique Industrielles et HumainesFR1 paper
25 papers
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
Benoît Delahaye, Benoît Caillaud
In this paper, we present a probabilistic adaptation of an Assume/Guarantee contract formalism. For the sake of generality, we assume that the extended state machines used in the c…
Distributed Management of Massive Data: an Efficient Fine-Grain Data Access Scheme
Bogdan Nicolae, Gabriel Antoniu, Luc Bougé
This paper addresses the problem of efficiently storing and accessing massive data blocks in a large-scale distributed environment, while providing efficient fine-grain access to d…
Enabling Lock-Free Concurrent Fine-Grain Access to Massive Distributed Data: Application to Supernovae Detection
Bogdan Nicolae, Gabriel Antoniu, Luc Bougé
We consider the problem of efficiently managing massive data in a large-scale distributed environment. We consider data strings of size in the order of Terabytes, shared and access…
WCET analysis of multi-level set-associative instruction caches
Damien Hardy, Isabelle Puaut
With the advent of increasingly complex hardware in real-time embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores),…
Goal-oriented Dialog as a Collaborative Subordinated Activity involving Collective Acceptance
Sylvie Saget, Marc Guyomard
Modeling dialog as a collaborative activity consists notably in specifying the content of the Conversational Common Ground and the kind of social mental state involved. In previous…
Monotony in Service Orchestrations
Anne Bouillard, Sidney Rosario, Albert Benveniste +1
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orche…