English
|
正體中文
|
简体中文
|
Items with full text/Total items : 90453/105672 (86%)
Visitors : 13137016 Online Users : 564
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by
NTU Library IR team.
Scope
All of ASIAIR
亞洲學術期刊
人文社會學院
其他教學單位
創意設計學院
校級出版品
管理學院
行政單位
護理學院
資訊學院
醫學暨健康學院
Tips:
please add "double quotation mark" for query phrases to get precise results
please goto advance search for comprehansive author search
Adv. Search
Home
‧
Login
‧
Upload
‧
Help
‧
About
‧
Administer
ASIA unversity
>
Items for Author
Loading...
Category
Loading community tree, please wait....
Year
Loading year class tree, please wait....
Items for Author "Fuyau Lin"
Return to Browse by Author
Showing 12 items.
Collection
Date
Title
Authors
Bitstream
[資訊工程學系] 會議論文
1992
The Specification and Verification of Synchronous Concurrent Computation
Fuyau Lin
;
Timothy K. Shih
;
Huanchau Lin
;
Hsiren Wang
[資訊工程學系] 會議論文
1992
Verification of Systolic Architecture Designs
Fuyau Lin
;
Timothy K. Shih
[資訊工程學系] 會議論文
1992
Using Prolog as a Tool for Systolic Array Designs
Fuyau Lin
;
Timothy K. Shih
;
Nam Lin
;
Ruth Davis
[資訊工程學系] 會議論文
1992
Disciplined Exceptions in Logic Programming,
Timothy K. Shih
;
Ruth E. Davis
;
Fuyau Lin
[資訊工程學系] 會議論文
1992
An Automatic Design Specification and Verification Tool for Systolic Architecture
Timothy K. Shih
;
Nam Ling
;
Ruth Davis
;
Fuyau Lin
[資訊工程學系] 會議論文
1991
Verification Tools for Systolic Array Design
Fuyau Lin
;
Timothy K. Shih
;
Nam Ling
[資訊工程學系] 會議論文
1991
Axiomatic Approach for Systolic Array Design
Fuyau Lin
;
Timothy K. Shih
;
Nam Ling
[資訊工程學系] 會議論文
1991
Automatic Formal Verification of Systolic Array Designs
Nam Ling
;
Fuyau Lin
;
Timothy K. Shih
;
Ruth Davis
[資訊工程學系] 期刊論文
1995-04
Formal Specification and Verification in Z for Synchronous Concurrent Computation
Fuyau Lin
;
Timothy K. Shih
[資訊工程學系] 期刊論文
1995-02
On the Construction of a Prolog-Based Verifier for Systolic Designs
Timothy K. Shih
;
Nam Ling
;
Ruth Davis
;
Fuyau Lin
[資訊工程學系] 期刊論文
1995-01
An Operational Semantics Approach to Disciplined Exceptions in Logic Programming
Timothy K. Shih
;
Fuyau Lin
[資訊工程學系] 期刊論文
1993-09
Verification of Systolic Architecture Designs
Fuyau Lin
;
Timothy K. Shih
DSpace Software
Copyright © 2002-2004
MIT
&
Hewlett-Packard
/
Enhanced by
NTU Library IR team
Copyright ©
-
Feedback