English  |  正體中文  |  简体中文  |  Items with full text/Total items : 90069/105176 (86%)
Visitors : 6362385      Online Users : 580
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 "Nam Ling" 

    Return to Browse by Author

    Showing 10 items.

    Collection Date Title Authors Bitstream
    [資訊工程學系] 會議論文 1993 The Use of Fixed Point Induction in Verifying Systolic Array Designs: An Applicative Approach Nam Ling; Jonathan Huang; Timothy K. Shih
    [資訊工程學系] 會議論文 1993 VSTA: A Prolog-based Formal Verifier for Systolic Array Designs Nam Ling; Timothy K. Shih
    [資訊工程學系] 會議論文 1992 A Temporal Rule-Based Expert System for Systolic Array Designs Timothy K. Shih; Nam Ling; Xi Chen
    [資訊工程學系] 會議論文 1992 Inductive Techniques for Formal Verification of Systolic Array Designs in DSP Applications Nam Ling; Timothy K. Shih; Jonathan Huang
    [資訊工程學系] 會議論文 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-02 On the Construction of a Prolog-Based Verifier for Systolic Designs Timothy K. Shih; Nam Ling; Ruth Davis; Fuyau Lin
    [資訊工程學系] 期刊論文 1994-04 A Temporal Arithmetic Based Reasoning System for Systolic Array Designs Timothy K. Shih; Nam Ling

    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback