Paul G. Lucassen

Publication Activity (10 Years)

Years Active: 1993-1997
Publications (10 Years): 0

Publications

Paul G. Lucassen, Indra Polak, Jan Tijmen Udding
Normal Form in DI-Algebra with Recursion. ASYNC (1997)
Paul G. Lucassen, Jan Tijmen Udding
On the correctness of the Sproull counterflow pipeline processor. ASYNC (1996)
Rudi van Drunen, Lambert Spaanenburg, Paul G. Lucassen, J. A. G. Nijhuis, Jan Tijmen Udding
Arithmetic for Relative Accuracy. IEEE Symposium on Computer Arithmetic (1995)
Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff
Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra. ASYNC (1994)
Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding
Normal Form in a Delay-Insensitive Algebra. Asynchronous Design Methodologies (1993)