Pascal Bernard

According to our database, Pascal Bernard authored at least 4 papers between 1993 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Architecture and VLSI Implementation of a programmable HD Real-Time Motion Estimator.

Klaus Gaedke, Malte Borsum, Marco Georgi, Andreas Kluger, Jean-Pierre Le Glanic, Pascal Bernard

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

1995

The French Population Census for 1990.

Pascal Bernard, Guy Laffitte

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Diachronie et synchronie en spécification, une illustration en Z.

Henri Habrias, Pascal Bernard, Alain Vailly

Proceedings of the Actes du XIIIème Congrès INFORSID, Grenoble, France, May 30, 1995

1993

Some elements of methods to deal with equivalences in specification and program development.

Pascal Bernard

Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993