2001 |
6 | EE | Takashi Kambe,
Akihisa Yamada,
Koichi Nishida,
Kazuhisa Okada,
Mitsuhisa Ohnishi,
Andrew Kay,
Paul Boca,
Vince Zammit,
Toshio Nomura:
A C-based synthesis system, Bach, and its application (invited talk).
ASP-DAC 2001: 151-155 |
1999 |
5 | EE | Ryoji Sakurai,
Mizuki Takahashi,
Andrew Kay,
Akihisa Yamada,
Tetsuya Fujimoto,
Takashi Kambe:
A Scheduling Method for Synchronous Communication in the Bach Hardware Compiler.
ASP-DAC 1999: 193- |
4 | EE | Akihisa Yamada,
Koichi Nishida,
Ryoji Sakurai,
Andrew Kay,
Toshio Nomura,
Takashi Kambe:
Hardware synthesis with the Bach system.
ISCAS (6) 1999: 366-369 |
1995 |
3 | | Adrian Lawrence,
Andrew Kay,
Wayne Luk,
Toshio Nomura,
Ian Page:
Using Reconfigurable Hardware to Speed up Product Development and Performance.
FPL 1995: 111-118 |
1993 |
2 | EE | Andrew Kay,
Joy N. Reed:
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.
IEEE Trans. Software Eng. 19(6): 625-639 (1993) |
1992 |
1 | | Andrew Kay,
Peter Lupton:
Sequential to Parallel Buffer Refinement (Short Communication).
Formal Asp. Comput. 4(5): 487-492 (1992) |