English  |  正體中文  |  简体中文  |  Items with full text/Total items : 90429/105609 (86%)
Visitors : 10527031      Online Users : 363
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope 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 Goto mobile version

    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