![]() | ![]() |
1999 | ||
---|---|---|
3 | Christophe Mauras, René Thoraval: A propos de la vérification de programmes synchrones et de l'analyse de programmes logiques aves contraintes. JFPLC 1999: 39-54 | |
1991 | ||
2 | EE | Hervé Le Verge, Christophe Mauras, Patrice Quinton: The ALPHA language and its use for the design of systolic arrays. VLSI Signal Processing 3(3): 173-182 (1991) |
1989 | ||
1 | EE | Pierrick Gachet, Christophe Mauras, Patrice Quinton, Yannick Saouter: Alpha du centaur: a prototype environment for the design of parallel regular alorithms. ICS 1989: 235-243 |
1 | Pierrick Gachet | [1] |
2 | Patrice Quinton | [1] [2] |
3 | Yannick Saouter | [1] |
4 | René Thoraval | [3] |
5 | Hervé Le Verge | [2] |