FV-HS : Formal Verification for AMS SoC Based on Symbolic Computing
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.9 No.6 2016.06 pp.97-104
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
SFV : A Scalable Approach to Formal Verification for AMS SoC
보안공학연구지원센터(IJCA) International Journal of Control and Automation Vol.9 No.4 2016.04 pp.223-232
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Study of Data Stream Clustering Based on MSF
보안공학연구지원센터(IJDTA) International Journal of Database Theory and Application Vol.8 No.1 2015.02 pp.55-62
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Database Performance Optimization for SQL Server Based on Hierarchical Queuing Network Model
보안공학연구지원센터(IJDTA) International Journal of Database Theory and Application Vol.8 No.1 2015.02 pp.187-196
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
OPT-VCG: A Novel Proposal for 3D SoC Test Optimization
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.10 No.2 2015.02 pp.309-320
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-