-
Trellis Processes : a Compact Representation for Runs of Concurrent Systems
In the true concurrency semantics, runs of a concurrent system are represented as partial orders of events. To represent sets of such runs in a compact manner,... -
A generalized Taylor factorization for Hermite subdivision schemes
International audience -
Representations of polynomials, algorithms and lower bounds
Computational complexity is the study of the resources — time, memory, …— needed to algorithmically solve a problem. Within these settings, algebraic complexity theory... -
Viewing functions as token sequences to highlight similarities in source code
International audience -
Two-generator numerical semigroups and Fermat and Marsenne numbers
International audience -
The filtering step of discrete logarithm and integer factorization algorithms
The security of most current public-key cryptosystems is based on the difficulty of finding discrete logarithms in large finite fields or factoring large integers.... -
On a system of equations with primes
This is the definitive version to appear in Journal de Théorie des Nombres de Bordeaux: 12 pages, no figures; simplified some notation; fixed typos (especially, in the proof of... -
Introduction to δ-artithmetic : computation of integer approximate gcd and fa...
In this article we present a new framework to define and compute integer approximate gcd computation. It is an extension of the classical arithmetic to solve problem... -
A factorization method for elliptic BVP
International audience -
Efficient factorization of DSP transforms using taylor expansion diagrams
This paper describes an efficient method to perform factorization of DSP transforms based on Taylor Expansion Diagram (TED). It is shown that TED can efficiently... -
Analogical proportions and the factorization of information in distributive l...
International audience -
Factorization of a 512-bit RSA Modulus
Colloque avec actes et comité de lecture. internationale. -
Factorization in Z[x]: the searching phase
Colloque avec actes et comité de lecture. internationale.
