466 citations
- Université Grenoble AlpesFR24 papers
- Institut national de recherche en sciences et technologies du numériqueFR22 papers
- Centre National de la Recherche ScientifiqueFR13 papers
- Institut polytechnique de GrenobleFR5 papers
- Université Paris CitéFR4 papers
- École Normale Supérieure de LyonFR3 papers
- Institut de Planétologie et d'Astrophysique de GrenobleFR3 papers
- University of OxfordGB3 papers
- Centre Inria de l'Université Grenoble AlpesFR2 papers
- Délégation Paris 7FR2 papers
- Laboratoire de l'Informatique du ParallélismeFR2 papers
- Lyon 1 UniversitéFR2 papers
6 papers · 1 filter
On the decoding of quasi-BCH codes
Morgan Barbier, Clément Pernet, Guillaume Quintin
In this paper we investigate the structure of quasi-BCH codes. In the first part of this paper we show that quasi-BCH codes can be derived from Reed-Solomon codes over square matri…
Evaluating Ontology Matching Systems on Large, Multilingual and Real-world Test Cases
Christian Meilicke, Ondrej Sváb-Zamazal, Cássia Trojahn +4
In the field of ontology matching, the most systematic evaluation of matching systems is established by the Ontology Alignment Evaluation Initiative (OAEI), which is an annual camp…
Intrinsic Simulations between Stochastic Cellular Automata
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
The paper proposes a simple formalism for dealing with deterministic, non-deterministic and stochastic cellular automata in a unifying and composable manner. Armed with this formal…
Completeness of algebraic CPS simulations
Ali Assaf, Simon Perdrix
The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independent…
Reasoning on Schemata of Formulae
Mnacho Echenim, Nicolas Peltier
A logic is presented for reasoning on iterated sequences of formulae over some given base language. The considered sequences, or "schemata", are defined inductively, on some algebr…
Generating a Performance Stochastic Model from UML Specifications
Ihab Sbeity, Leonardo Brenner, Mohamed Dbouk
Since its initiation by Connie Smith, the process of Software Performance Engineering (SPE) is becoming a growing concern. The idea is to bring performance evaluation into the soft…