93 citations
- École Normale Supérieure de LyonFR26 papers
- Institut national de recherche en sciences et technologies du numériqueFR26 papers
- Centre National de la Recherche ScientifiqueFR14 papers
- Lyon 1 UniversitéFR10 papers
- École PolytechniqueFR4 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR3 papers
- Institut de Recherche sur les Systèmes Atomiques et Moléculaires ComplexesFR3 papers
- Laboratoire de Mathématiques Blaise PascalFR3 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR3 papers
- Université Savoie Mont BlancFR3 papers
- Institut de l'Information Scientifique et TechniqueFR2 papers
- Laboratoire d’Analyse et de Mathématiques AppliquéesFR2 papers
10 papers · 1 filter
Reducing Weak to Strong Bisimilarity in CCP
Andrés Aristizábal, Filippo Bonchi, Luis Pino +1
Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evo…
Proceedings Fifth Interaction and Concurrency Experience
Marco Carbone, Ivan Lanese, Alexandra Silva +1
This volume contains the proceedings of ICE'12, the 5th Interaction and Concurrency Experience workshop, which was held in Stockholm, Sweden on the 16th of June 2012 as a satellite…
Multiple precision evaluation of the Airy Ai function with reduced cancellation
Sylvain Chevillard, Marc Mezzarobba
The series expansion at the origin of the Airy function Ai(x) is alternating and hence problematic to evaluate for x > 0 due to cancellation. Based on a method recently proposed by…
The Refined Calculus of Inductive Construction: Parametricity and Abstraction
Chantal Keller, Marc Lasson
We present a refinement of the Calculus of Inductive Constructions in which one can easily define a notion of relational parametricity. It provides a new way to automate proofs in…
On the Complexity of the Multivariate Resultant
Bruno Grenet, Pascal Koiran, Natacha Portier
The multivariate resultant is a fundamental tool of computational algebraic geometry. It can in particular be used to decide whether a system of n homogeneous equations in n variab…
Un modèle de trafic adapté à la volatilité de charge d'un service de vidéo à la demande: Identification, validation et application à la gestion dynamique de ressources
Shubhabrata Roy, Thomas Begin, Patrick Loiseau +1
Dynamic resource management has become an active area of research in the Cloud Computing paradigm. Cost of resources varies significantly depending on configuration for using them.…