中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters        
Items/Page:    Sort:
optimal task execution times for periodic tasks using nonlinear constrained optimization [期刊论文]
Journal of Supercomputing, 2010-01-01, 页码: 40562
Min-Allah Nasro; Khan Samee Ullah; Yongji Wang
  |  
 
software redundancy design for a human-machine interface in railway vehicles [会议论文]
12th International Conference on Computer System Design and Operation in the Railways and other Transit Systems, COMPRAIL 2010, Beijing, China, August 31,
Zheng G.; Chen J.

 
shorter verifier-local revocation group signature with backward unlinkability [会议论文]
4th International Conference on Pairing-Based Cryptography, Pairing 2010, Kaga, Japan, 40878
Wei Lingbo; Liu Jianwei
  |  
 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 
a cyber-physical system for elders monitoring [会议论文]
12th International Conference on Enterprise Information Systems, ICEIS 2010, Funchal, Portugal, 43990
Li Xiang; Qiao Ying; Wang Hongan

 

1

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace