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

Search Results

Help

Item hits: (Results 1-8 of 8)

Items/Page:    Sort:
Unperturbed Schelling Segregation in Two or Three Dimensions [期刊论文]
JOURNAL OF STATISTICAL PHYSICS, 2016-01-01, 卷号: 164, 期号: 6, 页码: 1460-1487
Barmpalias, G; Elwes, R; Lewis-Pye, A
  |  
 
a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example [会议论文]
18th International Symposium on Formal Methods, FM 2012, Paris, France, August 27, 2012 - August 31, 2012
Zhao Hengjun; Zhan Naijun; Kapur Deepak; Larsen Kim G.

 
a note on a selfish bin packing problem [期刊论文]
Journal of Global Optimization, 2012-01-01, 页码: 1-6
Ma Ruixin; D&#; sa Gy&#; rgy; Han Xin; Ting Hing-Fung; Ye Deshi; Zhang Yong

 
model construction and priority synthesis for simple interaction systems [会议论文]
3rd NASA Formal Methods Symposium, NFM 2011, Pasadena, CA, United states, April 18,
Cheng Chih-Hong; Bensalem Saddek; Jobstmann Barbara; Yan Rongjie; Knoll Alois; Ruess Harald

 
ehrenfeucht-fraisse games in finite set theory [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 1, 页码: 3-9
Zhou Xiang
  |  
 
mitigating selfishness in route discovery of on-demand routing in ad hoc networks [期刊论文]
CHINESE JOURNAL OF ELECTRONICS, 2008-01-01, 卷号: 17, 期号: 2, 页码: 210-214
Lei Huang; Lixiang Liu
  |  
 
stimulating cooperation in route discovery of ad hoc networks [会议论文]
2rd ACM Workshop on Q26 and Security for Wireless and Mobile Networks, Chania, GREECE, 44126
Huang Lei; Li Lei; Liu Lixiang; Zhang Haibin; Tang Linsha
  |  
 
on mitigating network partitioning in peer-to-peer massively multiplayer games [会议论文]
3rd International Conference on Computer Networks and Mobile Computing (ICCNMC 2005), Zhangjiajie, PEOPLES R CHINA, AUG 02-04,
He Y; Zhang Y; Guo J
  |  
 

1

 

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