English
|
正體中文
|
简体中文
|
Items with full text/Total items : 90453/105672 (86%)
Visitors : 13042845 Online Users : 258
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 "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