E-LIB Suche - Ergebnisse für: Katayama, Toshiaki

Sorted by: Relevance

Sorted by: Year

An effective framework for assume-guarantee verification of..:

, In: Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops,

Hung, Pham Ngoc ; Aoki, Toshiaki ; Katayama, Takuya - p. 109-118 , 2009

Link: https://dl.acm.org/doi/1..

More wires and fewer LUTs : a design methodology for FPG..:

, In: Proceedings of the 1998 ACM/SIGDA sixth international symposium on Field programmable gate arrays,

Takahara, Atsushi ; Miyazaki, Toshiaki ; Murooka, Takahiro... - p. 12-19 , 1998

Link: https://dl.acm.org/doi/1..

1-2