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

Search Results

Help

Item hits: (Results 51-60 of 184)

Filters        
Items/Page:    Sort:
The buffered π-calculus: A model for concurrent languages [会议论文]
7th International Conference on Language and Automata Theory and Applications, LATA 2013, Bilbao, Spain, April 2, 2013 - April 5, 2013
Deng, Xiaojie (1); Zhang, Yu (2); Deng, Yuxin (1); Zhong, Farong (3)

 
Model repair for Markov decision processes [会议论文]
2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, Birmingham, United kingdom, July 1, 2013 - July 3, 2013
Chen, Taolue (1); Hahn, Ernst Moritz (1); Han, Tingting (1); Kwiatkowska, Marta (1); Qu, Hongyang (2); Zhang, Lijun (3)

 
VM image update notification mechanism based on pub/sub paradigm in cloud [会议论文]
5th Asia-Pacific Symposium on Internetware, Internetware 2013, Changsha, China, October 23, 2013 - October 24, 2013
Xu, Jiwei (1); Ye, Shiyang (1); Zhang, Wenbo (1); Wei, Jun (1); Huang, Tao (1)

 
CCMC: A conditional CSL model checker for continuous-time Markov chains [会议论文]
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013
Gao, Yang (1); Hahn, Ernst Moritz (1); Zhan, Naijun (1); Zhang, Lijun (1)

 
A framework for key-frame selection based on relevance feedback [会议论文]
12th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and Its Applications in Industry, VRCAI 2013, Hong Kong, Hong kong, November 17, 2013 - November 19, 2013
Ma, Cuixia (1); Wen, Ruri (1); Zeng, Dejun (1); Wang, Hongan (1); Dai, Guozhong (1)

 
DBIMAT: A runtime program monitoring and performance analysis tool based on dynamic program instrumentation frameworks [会议论文]
2013 International Conference on Computer Sciences and Applications, CSA 2013, Wuhan, China, December 14, 2013 - December 15, 2013
Yao, Huazhuang (1); Shuai, Wang (1); Chao, Guo (1); Wang, Yongyan (1)

 
AUGEM: Automatically generate high performance dense linear algebra kernels on x86 CPUs [会议论文]
2013 International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2013, Denver, CO, United states, November 17, 2013 - November 22, 2013
Wang, Qian (1); Zhang, Xianyi (1); Zhang, Yunquan (2); Yi, Qing (3)

 
An interactive personalized video summarization based on sketches [会议论文]
12th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and Its Applications in Industry, VRCAI 2013, Hong Kong, Hong kong, November 17, 2013 - November 19, 2013
Zhang, Yanqiu (1); Ma, Cuixia (2); Zhang, Jinkai (1); Zhang, Dongliang (3); Liu, Yongjin (1)

 
A distributed cache framework for metadata service of distributed file systems [会议论文]
2013 19th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2013, Seoul, Korea, Republic of, December 15, 2013 - December 18, 2013
Sun, Yao (1); Liu, Jie (2); Ye, Dan (2); Zhong, Hua (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)

 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next

 

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