中国科学院机构知识库网格系统: 检索

消息 ×
	loading..

中国科学院机构知识库网格

Chinese Academy of Sciences Institutional Repositories Grid

机构

采集方式

_filter

_filter

_filter

筛选

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	Incremental bisimulation abstraction refinement 会议论文 OAI收割 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013 Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3) \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2014/12/16 Algorithms Experimentation Verification Bisimulation CEGAR probabilistic automata
	language-theoretic abstraction refinement 会议论文 OAI收割 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24, 2012 - April 1, 2012 Long Zhenyue; Calin Georgel; Majumdar Rupak; Meyer Roland \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2013/09/22 Algorithms Verification
	Research on a scalable parallel data mining algorithm 会议论文 OAI收割 5th International Joint Conference on INC, IMS, and IDC, Seoul, Korea, Republic of, 2009 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1 收藏 \| 浏览/下载：28/0 \| 提交时间：2011/08/23 Computational complexity - Computational efficiency - Information management - Parallel algorithms - Research - Semiconductor storage - Active field - Data mining algorithm - Domain of knowledge - Experimental verification - Hardware and software - Massive data - Network monitoring systems - Parallel data mining - Projection database - Real-world application - Sensor grids - Sequential patterns - Sequential-pattern mining - Spatial complexity - Streaming data
	Parallel research of sequential pattern data mining algorithm 会议论文 OAI收割 Proceedings - International Conference on Computer Science and Software Engineering, CSSE, Wuhan, Hubei, China, 2008 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1; Wei1 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/08/23 Algorithms - Parallel architectures - Software engineering - Data mining algorithm - Experimental verification - Frequent sequences - Massive data - Minimal support - Number of datum - Parallel data mining - Sequential patterns
	controllable ring search for anonymous routing protocols in manets 会议论文 OAI收割 Third International Conference on Wireless and Mobile Communications 2007, ICWMC 07, Guadeloupe, Guadaloupe, 37319 Zhang Yang; Fan Zhihua \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/06/29 Algorithms Mobile telecommunication systems Problem solving Routing protocols Threshold elements Verification
	model checking value-passing processes 会议论文 OAI收割 8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07, Lin HM \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/29 model checking mu-calculus value-passing processes verification algorithms