Advanced  
兰州大学机构库

Search Results

Help

Item hits: (Results 1-4 of 4)

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
 
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:19/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
 

1

 

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