Advanced  
兰州大学机构库

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
Bubble Carbon-nanofibers Decorated with MnO2 Nanosheets as High-Performance Supercapacitor Electrode [期刊论文]
Electrochimica Acta, 2016, 卷号: 222, 期号: null, 页码: 1931-1939
Zhao, Haitao;  Han WH(韩卫华);  Lan W(兰伟);  Zhou JY(周金元);  zhang, Zemin;  Fu, Wenbin;  Xie EQ(谢二庆)
  |  View/Download:57/0
 
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
 
The effect of oxygen-rich condition on properties of ZnO:In films by sputtering [会议论文]
2012 2nd International Conference on Chemical, Material and Metallurgical Engineering, ICCMME 2012, Kunming, China, December 15, 2012 - December 16, 2012
Li, Hui;  Feng, Haitao;  Zhang, Fanghui;  Liu, Yun;  Xie, EQ(谢二庆)
View/Download:32/0
 

1

 

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