Search the dblp DataBase

Publications of Author

1. 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). [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 2001, pp:151-155 [Conf]
   
2. Ryoji Sakurai, Mizuki Takahashi, Andrew Kay, Akihisa Yamada, Tetsuya Fujimoto, Takashi Kambe
   A Scheduling Method for Synchronous Communication in the Bach Hardware Compiler. [Citation Graph (0, 0)][DBLP]
   ASP-DAC, 1999, pp:193-0 [Conf]
   
3. Adrian Lawrence, Andrew Kay, Wayne Luk, Toshio Nomura, Ian Page
   Using Reconfigurable Hardware to Speed up Product Development and Performance. [Citation Graph (0, 0)][DBLP]
   FPL, 1995, pp:111-118 [Conf]
   
4. Akihisa Yamada, Koichi Nishida, Ryoji Sakurai, Andrew Kay, Toshio Nomura, Takashi Kambe
   Hardware synthesis with the Bach system. [Citation Graph (0, 0)][DBLP]
   ISCAS (6), 1999, pp:366-369 [Conf]
   
5. Andrew Kay, Peter Lupton
   Sequential to Parallel Buffer Refinement (Short Communication). [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1992, v:4, n:5, pp:487-492 [Journal]
   
6. Andrew Kay, Joy N. Reed
   A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1993, v:19, n:6, pp:625-639 [Journal]