Christophe Mauras

Publication Activity (10 Years)

Years Active: 1989-1999
Publications (10 Years): 0

Publications

Christophe Mauras, René Thoraval
A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. JFPLC (1999)
Hervé Le Verge, Christophe Mauras, Patrice Quinton
The ALPHA language and its use for the design of systolic arrays. J. VLSI Signal Process. 3 (3) (1991)
Christophe Mauras, Patrice Quinton, Sanjay V. Rajopadhye, Yannick Saouter
Scheduling affine parameterized recurrences by means of Variable Dependent Timing Functions. ASAP (1990)
Pierrick Gachet, Christophe Mauras, Patrice Quinton, Yannick Saouter
Alpha du centaur: a prototype environment for the design of parallel regular alorithms. ICS (1989)