 | 2001 |
|---|
| 6 |       | 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 | | 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 | | 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 | | 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) |
