Advanced  
兰州大学机构库

Search Results

Help

Item hits: (Results 1-10 of 15)

Items/Page:    Sort:
SMT-based scheduling for multiprocessor real-time systems [会议论文]
15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016
Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto
View/Download:44/0
 
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach [会议论文]
15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26, 2016 - June 29, 2016
Zhang, Haitao;  Cheng, Zhuo;  Tian, Cong;  Lu, Yonggang;  Li, Guoqiang
View/Download:31/0
 
SOFL-based dependency graph generation for scheduling [会议论文]
11th Systems of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12, 2016 - June 16, 2016
Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto
View/Download:33/0
 
Scheduling overload for real-time systems using SMT solver [会议论文]
17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30, 2016 - June 1, 2016
Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto
View/Download:20/0
 
A case study: SOFL + Model checking for OSEK/VDX application [会议论文]
5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, November 6, 2015 - November 6, 2015
Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto
View/Download:11/0
 
Two-dimensional hexagonal SnS2 nanoflakes: fabrication, characterization, and growth mechanism [期刊论文]
APPLIED PHYSICS A-MATERIALS SCIENCE & PROCESSING, 2011, 卷号: 103, 期号: 2, 页码: 413-419
Feng, JJ;  Chen, JT;  Geng, BS(耿柏松);  Feng, HT;  Li, HJ;  Yan, D(闫德);  Zhuo, RF(卓仁富);  Cheng, SA;  Wu, ZG(吴志国);  Yan, PX(闫鹏勋)
  |  View/Download:86/0
 
Growth of AlN hexagonal oriented complex nanostructures induced by nucleus arrangement [期刊论文]
CRYSTENGCOMM, 2011, 卷号: 13, 期号: 16, 页码: 5198-5203
Ji, X;  Li, HJ;  Wu, ZG(吴志国);  Cheng, S;  Hu, HR;  Yan, D(闫德);  Zhuo, RF(卓仁富);  Wang, J(王君);  Yan, PX(闫鹏勋)
  |  View/Download:208/1
 
Morphology-controlled syntheses, growth mechanisms, and optical properties of ZnO nanocombs/nanotetrapods [会议论文]
International Conference on Manufacturing Science and Engineering (ICMSE 2009), Zhuhai, PEOPLES R CHINA, DEC 26-28, 2009
Zhuo, RF(卓仁富);  Xu, XY;  Feng, HT;  Yan, D(闫德);  Li, HJ;  Cheng, S;  Yan, PX(闫鹏勋)
View/Download:41/0
 
Synthesis, Characterization, and Microwave Absorption Property of the SnO2 Nanowire/Paraffin Composites [期刊论文]
NANOSCALE RESEARCH LETTERS, 2009, 卷号: 4, 期号: 12, 页码: 1452-1457
Feng, HT; Zhuo, RF(卓仁富); Chen, JT; Yan, D(闫德); Feng, JJ; Li, HJ; Cheng, S; Wu, ZG(吴志国); Wang, J(王君); Yan, PX(闫鹏勋)
  |  View/Download:117/1
 
Axial periodical nanostructures of Sb-doped SnO2 grown by chemical vapor deposition [期刊论文]
PHYSICA E-LOW-DIMENSIONAL SYSTEMS & NANOSTRUCTURES, 2009, 卷号: 41, 期号: 9, 页码: 1640-1644
Feng, HT; Zhuo, RF(卓仁富); Chen, JT; Yan, D(闫德); Feng, JJ; Li, HJ; Cheng, S; Yan, PX(闫鹏勋)
  |  View/Download:33/0
 

1 2 next

 

Valid XHTML 1.0!
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Copyright © 2007-2017  兰州大学 - Feedback
Powered by CSpace