检索结果-内蒙古大学图书馆

Sound and complete rules for data reification

science in China, Series E: Technological sciences 1997年第4期40卷 x7-386页

作者： Ju, Jian State Key Lab. Novel Software T. Institute of Computer Software Nanjing University Nanjing 210093 China

The sound and complete rules for data reification in the algebraic framework are discussed. Based on these rules, the retrieve function approach in VDM is extended and the biased model and non-determinacy can be treat... 详细信息

关键词： Data reification Simulation VDM

来源：评论

学校读者我要写书评

暂无评论

FSCR:A Feature selection method for software defect prediction 29

FSCR:A Feature selection method for software defect predicti...

引用

29th International Conference on software Engineering and Knowledge Engineering, SEKE 2017

作者： Yu, Xiao Ma, Ziyi Ma, Chuanxiang Gu, Yi Liu, Ruiqi Zhang, Yan State Key Lab. of Software Engineering Computer School Wuhan University Wuhan China School of Computer Science and Information Engineering HuBei University Wuhan China Educational Informationalization Engineering Research Center of HuBei Province Wuhan China International School of Software Wuhan University Wuhan China

ISBN: (纸本)1891706411

Prediction the number of faults in software modules can be more helpful instead of predicting the modules being faulty or non-faulty. Some regression models have been used for predicting the number of faults. However, the software defect data may involve irrelevant and redundant module features, which will degrade the performance of these regression models. To address such issue, this paper proposes a feature selection method based on Feature Spectral Clustering and feature Ranking (FSCR) for the number of software faults prediction. First, FSCR groups the original features with spectral clustering according to the correlation between every two features. Second, FSCR employs ReliefF algorithm to compute the relevance between each feature with respect to the number of faults and selects top p most relevant features from each resulted cluster. We evaluate our proposed method on 6 widely-studied project datasets with four performance metrics. Comparison with five existing feature selection methods demonstrates that FSCR is effective in selecting features for the number of faults prediction.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

An efficient algorithm for finding frequent items in a stream

An efficient algorithm for finding frequent items in a strea...

引用

2nd International Symposium on Electronic Commerce and Security, ISECS 2009

作者： Tu, Li Chen, Ling Zhang, Shan Department of Computer Science Institute of Information Science and Technology Jiangyin Polytechnic College Nanjing Jiangyin China Department of Computer Science National Key Lab. of Novel Software Tech. Yangzhou University Yangzhou Nanjing China Department of Computer Science Yangzhou University Yangzhou China

ISBN: (纸本)9780769536439

Most of the existing algorithms for mining frequent items over data streams do not emphasis the importance of the more recent data items. We present an efficient algorithm where a fading factor λ is used for computing frequency counts exceeding a user-specified threshold over data streams. Our algorithm λ-Miner can detect Ε-approximate frequent items of a data stream using O(Ε-1) memory space and the processing time for each data item is O(1). Experimental results on several artificial data sets and real data sets show that λ-Miner performs better than λ-LC in terms with precision, memory requirement and time cost. © 2009 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Adaptive resource allocation for preemptable jobs in cloud systems

Adaptive resource allocation for preemptable jobs in cloud s...

引用

2010 10th International Conference on Intelligent systems Design and Applications, ISDA'10

作者： Li, Jiayin Qiu, Meikang Niu, Jian-Wei Chen, Yu Ming, Zhong Department of Electrical and Computer Engineering University of Kentucky Lexington KY 40506 United States State Key Lab. of Software Develop. Environment Beihang University Beijing 100191 China Department of Computer Science and Technology Tsinghua University Beijing 100084 China College of Computer Science and Software Shenzhen University Shenzhen 518060 China

ISBN: (纸本)9781424481354

In cloud computing, computational resources are provided to remote users in the form of leases. For a cloud user, he/she can request multiple cloud services simultaneously. In this case, parallel processing in the cloud system can improve the performance. When applying parallel processing in cloud computing, it is necessary to implement a mechanism to allocate resource and schedule the tasks execution order. Furthermore, a resource allocation mechanism with preemptable task execution can increase the utilization of clouds. In this paper, we propose an adaptive resource allocation algorithm for the cloud system with preemptable tasks. Our algorithms adjust the resource allocation adaptively based on the updated of the actual task executions. And the experimental results show that our algorithms works significantly in the situation where resource contention is fierce. © 2010 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Hierarchical timed automata based verification of dynamic evolution process in open environments

Hierarchical timed automata based verification of dynamic ev...

引用

2014 International Conference on software and systems Process, ICSSP 2014

作者： Zhou, Yu Ge, Jidong Zhang, Pengcheng College of Computer Science Nanjing University of Aeronautics and Astronautics Nanjing 210016 China State Key Lab. for Novel Software Technology Nanjing University Nanjing 210093 China College of Computer and Information Hohai University Xikang Road 1 Nanjing 210098 China

ISBN: (纸本)9781450327541

The paper proposes a novel approach based on the hierarchical timed automata to verify the consistency of dynamic evolution process. Different from traditional approaches, it investigates the problem from the behavioral perspective and examines the procedures before, during and after the evolution process. Furthermore, our approach can support the direct modeling of temporal aspects, as well as the hierarchical structures. A flattening algorithm is presented to facilitate the automated verification using the mainstream timed automata based model checker - UPPAAL. A motivating example is discussed and demonstrates the feasibility of our approach. © 2014 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Tele-AR system based on real-time camera tracking

Tele-AR system based on real-time camera tracking

引用

2012 International Conference on Virtual Reality and Visualization, ICVRV 2012

作者： Wang, Yanke Zhong, Fan Li, Chao Xiang, Hui Peng, Qunsheng Qin, Xueying School of Computer Science and Technology Shandong University Jinan China Shandong Provincial Key Laboratory of Network Based Intelligent Computing Jinan China State Key Lab. of CAD and CG Zhejiang University Hangzhou China

ISBN: (纸本)9780769548364

We propose a visual tele-AR system, which is a combination of tele-existence and AR techniques. By wearing a video see-through HMD and moving his head, a user in this system is able to tele-operate a remote pan-tilt platform to observe the remote scene. Unlike traditional tele-existence systems which use mechanical or magnetic sensors for tele-operation, we propose a novel tele-operation method based on real-time tracking of master and slave cameras. The master camera is a component of the video see-through HMD mounted in front of user's eyes, while the slave camera is carried by a remote platform. We estimate use's head motion by tracking the master camera in real time, and translate head motions into motion commands to drive the remote pan-tilt platform. Ideally, motion of the remote platform will be exactly the same as user's head. Unfortunately, motion speed of the slave platform is usually limited by their mechanical capability, which may cause pose inconsistence between master and slave cameras, especially when user's head moves fast. We solve this problem by also tracking slave camera in real time, and warping video images according to difference between master and slave camera pose. Since slave camera is tracked, we can integrate virtual objects into remote scene, giving the user an augmented visual sense. To reduce system delay, our implementation is accelerated GPU parallel computation. Experimental results show the efficiency and robustness of our method. © 2012 IEEE.

关键词： Augmented reality

来源：评论

学校读者我要写书评

暂无评论

Container lifecycle-aware scheduling for serverless computing

Container lifecycle-aware scheduling for serverless computin...

引用

作者： Wu, Song Tao, Zhiheng Fan, Hao Huang, Zhuo Zhang, Xinmin Jin, Hai Yu, Chen Cao, Chun National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China

Elastic scaling in response to changes on demand is a main benefit of serverless computing. When bursty workloads arrive, a serverless platform launches many new containers and initializes function environments (known as cold starts), which incurs significant startup latency. To reduce cold starts, platforms usually pause a container after it serves a request, and reuse this container for subsequent requests. However, this reuse strategy cannot efficiently reduce cold starts because the schedulers are agnostic of container lifecycle. For example, it may ignore soon availab.e containers or evict soon needed containers. We propose a container lifecycle-aware scheduling strategy for serverless computing, CAS. The key idea is to control distribution of requests and determine creation or eviction of containers according to different lifecycle phases of containers. We implement a prototype of CAS on OpenWhisk. Our evaluation shows that CAS reduces 81% cold starts and therefore brings a 63% reduction at 95th percentile latency compared with native scheduling strategy in OpenWhisk when there is worker contention between workloads, and does not add significant performance overhead. © 2021 John Wiley & Sons Ltd.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

A watermark-aware trusted running environment for software clouds

A watermark-aware trusted running environment for software c...

引用

5th Annual ChinaGrid Conference, ChinaGrid 2010

作者： Fu, Junning Wang, Chaokun Yu, Zhiwei Wang, Jianmin Sun, Jia-Guang School of Software Tsinghua University Beijing 100084 China Tsinghua University Key Lab. for Information System Security School of Software TNLIST Beijing 100084 China Dept. of Computer Sci. and Tech. Tsinghua University Beijing 100084 China

ISBN: (纸本)9780769541068

A software cloud is ready-made for software delivery or software as a Service (SaaS). As it becomes more and more popular, security problems of software running in the cloud also become an important issue. The threats, such as destroying system softwares and access violation, are frequently emerging in the field of software cloud. In this paper, we propose a watermark-aware trusted running environment to protect the softwares running in the cloud. We implement the scheme which mainly contains two parts: 1) embedding watermark into the Java programs running in the cloud;2) generating customized JVMs for recognizing the watermarked programs. Experimental results within a real private software cloud to demonstrate that our approach can provide a largescale protection with a small overhead. © 2010 IEEE.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Optimized strategies of grid information services

Optimized strategies of grid information services

引用

1st International Conference on Semantics, Knowledge and Grid, SKG 2005

作者： Fan, Qingfeng Wu, Qiongli He, Yanxiang Huang, Jingwei School of Computer Wuhan University China School of Computer City University of Hong Kong Hong Kong School of Electronic Information Engineering Wuhan University China State Key Lab. of Software Engineering Wuhan University China

ISBN: (纸本)0769525342

Grid Computing receives growing attention from scientists and scholars these years, of which Grid Information Service is the highlight and one of the most difficult subjects. Grid Information Service is characterized in its wide distribution, high fault tolerance, and dynamic functions as well as diversified forms. As the foundation and core of the Grid Information Service, the distributed database of LDAP (Light weight Directory Access Protocol) has been widely used so far. In order to make the system more effective and efficient, this paper puts forward the strategies of Ring replication and Thread replication, both of which are really better ways to raise the efficiency of the Grid Information Service system compared with many other replication strategies. © 2006 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

Transportation strategies of the data grid

Transportation strategies of the data grid

引用

1st International Conference on Semantics, Knowledge and Grid, SKG 2005

ISBN: (纸本)0769525342

Data Grid is one of the important research fields for Grid Computing, To improve the system efficiency, this paper puts forward the strategies of ring replication and thread replication. Compared with many other replication strategies and considered in different grid infrastructure, the strategies of ring replication and thread replication can boost the efficiency of Data Grid. Having studied how to improve the efficiency of replication at the degree of node, we will study at the degree below node, at which we use the viewpoint of the file-parted replication to divide the data Grid files into several blocks that are replicated parallel between the data Grid sever points then. Finally, based on the experiment, we prove that the file-parted replication can boost the efficiency of Data Grid rapidly. © 2006 IEEE.

关键词： Grid computing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：