論文 - 山口 真之介
-
Verification and Realization for the Distrivuted Parallel System based on An Extended Petri Net and XML/Java Executor 査読有り
Shin'nosuke Yamaguchi,Katsumi Wasaki,Yasunari Shidama
Proceedings of the 1st Workshop on Automated Technology for Verification and Analysis (ATVA'2003) 1 ( D-3 ) 157 - 168 2003年04月
-
Full Adder Circuit. Part II 査読有り
Grzegorz Bancerek,Shin'nosuke Yamaguchi,Katsumi Wasaki
Formalized Mathematics 10 ( 1 ) 65 - 71 2002年04月
-
Combining of Multi Cell Circuits 査読有り
Grzegorz Bancerek,Shin'nosuke Yamaguchi,Yasunari Shidama
Formalized Mathematics 10 ( 1 ) 47 - 64 2002年04月
-
A High Reliability Design for NFS Server Software Based on the Logical Coloured Petri Net 査読有り
Shin'nosuke Yamaguchi,Katsumi Wasaki,Yasunari Shidama
Proceedings of the 7th International Conference on Control, Automation, Robotics and Vision (ICARCV'02) 1 ( TuA4.2 ) 73 - 77 2002年04月
-
Automatic HDL Generation for A DES Codec for an Encrypted NFS Server based on an Extended Petri Net 査読有り
Shin'nosuke Yamaguchi,Katsumi Wasaki,Yasunari Shidama
Proceedings of the International Workshop on Discrete-Event System Design(DESDes'01) 1 ( I-7 ) 61 - 66 2001年04月
-
A Rapid HDL Generator for A piplined DES Enchiper Circuit by using the Logical Coloured Petri Net 査読有り
Katsumi Wasaki,Shin'nosuke Yamaguchi,Yasunari Shidama
Proceedings of the 6th International Conference on Control, Automation, Robotics and Vision(ICARCV2000) 1 ( FM5.2 ) 1 - 6 2000年04月
-
A process design for the Network File System mdoel based on the Logical Colouted Petri Net 査読有り
Shin'nosuke Yamaguchi,Katsumi Wasaki,Yasunari Shidama
Proceedings of the 6th International Conference on Control, Automation, Robotics and Vision(ICARCV2000) 1 ( FM5.3 ) 1 - 6 2000年04月