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

Search Results

Help

Item hits: (Results 1-10 of 11)

Items/Page:    Sort:
Benchmarking big data for trip recommendation [会议论文]
2014 23rd International Conference on Computer Communication and Networks, ICCCN 2014, Shanghai, China, August 4, 2014 - August 7, 2014
Liu, Kuien (1); Li, Yaguang (1); Ding, Zhiming (1); Shang, Shuo (2); Zheng, Kai (3)

 
An executable semantics of SystemC transaction level models and its applications with VERDS [会议论文]
2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, August 4, 2014 - August 7, 2014
Zeng, Naiju (1); Zhang, W. (1)

 
MicroEye: Visual summary of microblogsphere from the eye of celebrities [会议论文]
2014 23rd International Conference on Computer Communication and Networks, ICCCN 2014, Shanghai, China, August 4, 2014 - August 7, 2014
Liu, Qingsong (1); Hu, Yifan (2)

 
Human mobility prediction and unobstructed route planning in public transport networks [会议论文]
15th IEEE International Conference on Mobile Data Management, IEEE MDM 2014, Brisbane, QLD, Australia, July 15, 2014 - July 18, 2014
Shang, Shuo (1); Guo, Danhuai (3); Liu, Jiajun (2); Liu, Kuien (4)

 
A concurrent transmission enabled cooperative MAC protocol for Vehicular Ad Hoc Networks [会议论文]
22nd IEEE International Symposium of Quality of Service, IWQoS 2014, Hong Kong, Hong kong, May 26, 2014 - May 27, 2014
Zhang, Lifeng (1); Jin, Beihong (1); Cui, Yanling (1)

 
Hippo: An enhancement of pipeline-aware in-memory caching for HDFS [会议论文]
2014 23rd International Conference on Computer Communication and Networks, ICCCN 2014, Shanghai, China, August 4, 2014 - August 7, 2014
Wei, Lan (1); Lian, Wenbo (1); Liu, Kuien (1); Wang, Yongji (1)

 
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming [会议论文]
17th Design, Automation and Test in Europe, DATE 2014, Dresden, Germany, March 24, 2014 - March 28, 2014
Zhu, Xue-Yang (1); Geilen, Marc (2); Basten, Twan (2); Stuijk, Sander (2)

 
A refinement calculus for hybrid systems [会议论文]
2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, August 4, 2014 - August 7, 2014
Gu, Bin (1); Zou, Liang (2)

 
LTL satisfiability checking revisited [会议论文]
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1)

 
Minimum cost collaborative sensing network with mobile phones [会议论文]
2013 IEEE International Conference on Communications, ICC 2013, Budapest, Hungary, June 9, 2013 - June 13, 2013
Lu, Xianling (1); Li, Deying (1); Xu, Biaofei (1); Chen, Wenping (1); Ding, Zhiming (3)

 

1 2 next

 

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