Christian Berthet

Publication Activity (10 Years)

Years Active: 1988-2017
Publications (10 Years): 4

Top Topics

Markov Chain Monte Carlo

Exact Computation

Application Domains

Top Venues

Publications

Christian Berthet
Approximation of LRU Caches Miss Rate: Application to Power-law Popularities. CoRR (2017)
Christian Berthet
On Von Schelling Formula for the Generalized Coupon Collector Problem. CoRR (2017)
Christian Berthet
Contributions to the Generalized Coupon Collector and LRU Problems. CoRR (2017)
Christian Berthet
Identity of King and Flajolet & al. Formulae for LRU Miss Rate Exact Computation. CoRR (2016)
Christian Berthet, Philippe Georgelin, Janvier Ntyame, Mathieu Raffin
Peak power estimation using activity measured on emulator. ICECS (2012)
Christian Berthet
Going mobile: the next horizon for multi-million gate designs in the semi-conductor industry. DAC (2002)
Françoise Casaubieilh, Anthony McIsaac, Mike Benjamin, Mike Bartley, François Pogodalla, Frédéric Rocheteau, Mohamed Belhadj, Jeremy Eggleton, Gérard Mas, Geoff Barrett, Christian Berthet
Functional Verification Methodology of Chameleon Processor. DAC (1996)
Christian Berthet, Jérôme Rampon, L. Sponga
Synthesis of VHDL arrays on RAM cells. EURO-DAC (1992)
Olivier Coudert, Jean Christophe Madre, Christian Berthet
Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams. CAV (DIMACS/AMS volume) (1990)
Olivier Coudert, Christian Berthet, Jean Christophe Madre
Formal boolean manipulations for the verification of sequential machines. EURO-DAC (1990)
Olivier Coudert, Jean Christophe Madre, Christian Berthet
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. CAV (1990)
Christian Berthet, Olivier Coudert, Jean Christophe Madre
New ideas on symbolic manipulations of finite state machines. ICCD (1990)
Olivier Coudert, Christian Berthet, Jean Christophe Madre
Verification of Synchronous Sequential Machines Based on Symbolic Execution. Automatic Verification Methods for Finite State Systems (1989)
Christian Berthet, Eduard Cerny
An Algebraic Model for Asynchronous Circuits Verification. IEEE Trans. Computers 37 (7) (1988)