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

A formal semantics for debugging synchronous message passing-based concurrent programs

science China(Information sciences) 2014年第12期57卷 198-215页

作者： LI He LUO Jie LI Wei State Key Laboratory of Software Development Environment School of Computer Science and EngineeringBeihang University

In this paper,we propose a semantic framework to debug synchronous message passing-based concurrent programs,which are increasingly useful as parallel computing and distributed systems become more and more *** first design a concurrent programming language model to uniformly represent existing concurrent programming *** to sequential programming languages,this model contains communication statements,i.e.,sending and receiving statements,and a concurrent structure to represent communication and *** then propose a debugging process consisting of a tracing and a locating *** tracing procedure re-executes a program with a failed test case and uses specially designed data structures to collect useful execution information for locating *** provide for the tracing procedure a structural operational semantics to represent synchronous communication and *** locating procedure backward locates the ill-designed statement by using information obtained in the tracing procedure,generates a fix equation,and tries to fix the bug by solving the fix *** also propose a structural operational semantics for the locating *** supply two examples to test our proposed operational semantics.

关键词： debugging synchronous message passing concurrent program operational semantics

来源：评论

学校读者我要写书评

暂无评论

Equipment Collab.ration Expressions in Automatic Test of Safety Critical Systems

Equipment Collaboration Expressions in Automatic Test of Saf...

引用

2015 International Conference on Electrical, Automation and Mechanical engineering(EAME 2015)

作者： J.H.Lv B.Sun S.L.Ma X.J.Li State Key Lab of Software Development Environment School of Computer Science Beijing University China Academy of Space Technology

ISBN: (纸本)9781510806528

The trustworthiness of safety critical system(SCS) is very *** assess their trustworthiness depends on data from *** order to ensure the reliability and validity of test data,especially for such complex SCS,development of test languages is inevitable trend for automatic test of *** general test language for SCS should be independent of specific equipment,in the paper types and syntax of expressions of equipment collab.ration are abstracted,evaluating rules for these expressions are designed,and related properties are proved so that to support the generality of SCS test languages.

关键词： trustworthiness automatic test equipment collab.ration operational semantics SCS(Safety Critical System)

来源：评论

学校读者我要写书评

暂无评论

Researches on the access secure control workflow model based on role

引用

Journal of Chemical and Pharmaceutical Research 2014年第2期6卷 101-109页

作者： Zhai, Jinbiao State Key Laboratory of Software Development Environment School of Computer Science and Engineering Bei Hang University China

With the rapid development of innovative computer technology, the computing environment of the workflow has become distributed and heterogeneous. Security management of WMS becomes weak. And the possibility of security leak will increased. The important information and the data are threatened more and more seriously. The security problem of workflow has become the hot spot in current research institutions and organizations concerned. Role-based access control model (RBAC) simplifies the permit management. It also reflects the access control mechanism in the organization and the enterprises. So the RBAC is very popular to design the workflow. In this paper, we present the multi access control security model based on roles. We propose the implicit and explicit authority management based on the roles. These measures enforce the security of this mode in computer environment. The first part of this paper is the introduction of the related problem. The second part is the concept of access control based on role. The third part is the multi access control security model based on roles. Then, the final part is the authority management.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Optimizing Tasks Assignment on Heterogeneous Multi-core Real-Time Systems with Minimum Energy

Optimizing Tasks Assignment on Heterogeneous Multi-core Real...

引用

IEEE International Conference on High Performance Computing and Communications (HPCC)

作者： Ying Li Jianwei Niu Meikang Qiu Xiang Long State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Seidenberg School of Computer Science and Information Systems Pace University White Plains NY

The main challenge for embedded real-time systems, especially for mobile devices, is the trade-off between system performance and energy efficiency. Through studying the relationship between energy consumption, execution time and completion probability of tasks on heterogeneous multi-core architectures, we propose an Accelerated Search algorithm based on dynamic programming to obtain a combination of various task schemes which can be completed in a given time with a confidence probability by consuming the minimum possible energy. We adopt a DAG (Directed Acyclic Graph) to represent the precedent relation between tasks and develop a Minimum-Energy Model to find the optimal tasks assignment. The heterogeneous multi-core architectures can execute tasks under different voltage level with DVFS which leads to different execution time and different consumption energy. The experimental results demonstrate our approach outperforms state-of-the-art algorithms in this field (maximum improvement of 24.6%).

关键词： Energy consumption Real-time systems Heuristic algorithms Algorithm design and analysis Time factors Multicore processing Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Self-contained data protection scheme based on CP-ABE

Communications in Computer and Information Science

引用

Communications in computer and Information science 2014年 456卷 306-321页

作者： Lang, B. Xu, Runhua Duan, Yawei State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing100191 China

ISBN: (纸本)9783662447871

Self-protection capabilities of outsourced data become noteworthily important in cloud computing. Ciphertext-Policy Attribute Based Encryption (CP-ABE) can dynamically control the user group of the encrypted data by defining decryption attributes;hence has certain ability of access control. Although there are different schemes of CP-ABE, as far as we know, most of these schemes can only express simple policies with AND, OR and threshold attribute operations, which cannot support traditional access control policies. In order to effectively integrate access control with encryption to build a self-contained data protection mechanism, this paper proposed an Extended CP-ABE (ECP-ABE) scheme based on the existing CP-ABE scheme. The ECP-ABE scheme can express anyAttributeBased Access Control (ABAC) policies represented by arithmetic comparison and logical expressions that involve NOT,, ≥, [], (), (] and [) operators in addition to AND, OR and threshold operators. We prove the Chosen-plaintext Attack (CPA) security of our scheme under the Decisional Bilinear Diffie-Hellman (DBDH) assumption in the standard model, and also discuss the experimental results of the efficiency of ECP-ABE. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Cloud computing

来源：评论

学校读者我要写书评

暂无评论

On bottleneck-aware arrangement for event-based social networks

On bottleneck-aware arrangement for event-based social netwo...

引用

International Conference on Data engineering Workshops

作者： Yongxin Tong Rui Meng Jieying She State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University China Department of Computer Science and Engineering The Hong Kong University of Science and Technology Clear Water Bay Hong Kong SAR China

ISBN: (纸本)9781479984435

With the popularity of mobile computing and social media, various kinds of online event-based social network (EBSN) platforms, such as Meetup, Plancast and Whova, is gaining in prominence. A fundamental task of managing EBSN platforms is to recommend suitable social events to potential users according to the following three factors: distances between events and users, attribute similarities between events and users and friend relationships among users. However, none of existing approaches consider all aforementioned influential factors when they recommend users to proper events. Furthermore, existing recommendation strategies neglect the bottleneck cases on the global recommendation. Thus, it is impossible for the existing recommendation solutions to achieve the optimal utility in real-world scenarios. In this paper, we first formally define the problem of bottleneck-aware social event arrangement (BSEA), which is proven to be NP-hard. To solve the BSEA problem approximately, we devise two greedy-based heuristic algorithms, Greedy and Random+Greedy. In particular, the Random+Greedy algorithm is faster and more effective than the Greedy algorithm in most cases. Finally, we conduct extensive experiments on real and synthetic datasets which verify the efficiency and accuracy of our proposed algorithms.

关键词： Heuristic algorithms Social network services Greedy algorithms Algorithm design and analysis Time complexity computer science

来源：评论

学校读者我要写书评

暂无评论

Hybrid Storage Throughput Allocation Among Multiple Clients in Heterogeneous Data Center

Hybrid Storage Throughput Allocation Among Multiple Clients ...

引用

IEEE International Conference on High Performance Computing and Communications (HPCC)

作者： Zhisheng Huo Limin Xiao Qiaoling Zhong Shupan Li Ang Li Li Ruan Kelong Liu Yuanyuan Zang Pei Wang Zheqi Lu State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Space Star Technology Co. Ltd Beijing China

The SSD is adopted to improve the IO performanceof the storage system in the data center, the throughput allocation for clients is a challenging problem. We need to find a throughput allocation method, which can determine the throughput allocations of clients on each server, while both providing the fair allocations for clients and maximizing the utilization of system throughput resource in the entire data center. In this paper, we propose an unified allocation framework(UAF), UAF jointly allocates throughput resource across allheterogeneous storage servers, can achieve the fair throughput allocations for all clients and maximize the utilization of system throughput resource in the entire data center. We can prove that UAF satisfies fairness properties of Envy Freedom, Sharing Incentive and Pareto Optimality. We evaluated the performance of UAF using both simulation and implementation in a cluster consisting of multiple heterogeneous storage severs. The experiment results show our method can determine the throughput allocations of clients in each server, and provide both the efficient and fair allocation in the entire data center.

关键词： Resource management Throughput Servers Data models computers Scheduling Conferences

来源：评论

学校读者我要写书评

暂无评论

An evolutionary methodology for optimized feature selection in software product lines 26

An evolutionary methodology for optimized feature selection ...

引用

26th International Conference on software engineering and Knowledge engineering, SEKE 2014

作者： Lian, Xiaoli Zhang, Li State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China

Feature modeling is the primary technology to capture and document the commonalities and variability among all of the members in a product line. Individual products are customized by selecting features according to the requirements. The work of feature selection is complex because of: 1) the complex dependencies and constraint relationship amongst features;2) the multiple competing and conflicting non-functional requirements (NFRs);3) the constraints to NFRs;4) the explicit functional requirements. To select optimized feature set that conforms to the feature relations and satisfies both the functional and nonfunctional requirements and the related constraints, an evolutionary algorithm template which employs multi-objective optimization algorithms to optimally select features in SPLs, is proposed. In the experiments, two different algorithms are designed based on our template. Empirical results show the remarking performance of our algorithms on time especially when the feature models are large and complex. Copyright © 2014 by Knowledge Systems Institute Graduate school.

关键词： Feature selection Multiobjective optimization Non-functional optimization Product line engineering

来源：评论

学校读者我要写书评

暂无评论

A two-level audio fingerprint retrieval algorithm for advertisement audio 14

A two-level audio fingerprint retrieval algorithm for advert...

引用

12th International Conference on Advances in Mobile Computing and Multimedia, MoMM 2014

作者： Sui, Donghui Ruan, Li Xiao, Limin State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing 100191 China

ISBN: (纸本)9781450330084

In this paper, we propose a two-level audio fingerprint retrieval algorithm to satisfy the demand of accurate and efficient search for advertisement audio. We use the spectrum modulus to extract two kinds of audio fingerprints from global and local view of the audio frame, and then we carry on a two-level advertisement audio search. Finally, we parallel the search by MPI to enhance the search speed and make our system have a good scalab.lity. Copyright 2014 ACM.

关键词： advertisement audio retrieval two-level MPI spectrum modulus Audio fingerprints

来源：评论

学校读者我要写书评

暂无评论

Performance Modeling of Openstack Cloud Computing Platform Using Performance Evaluation Process Algebra

Performance Modeling of Openstack Cloud Computing Platform U...

引用

International Conference on Cloud Computing and Big Data (CCBD)

作者： Leijie Sha Jie Ding Xiao Chen Xiaobin Zhang Yun Zhang Yishi Zhao School of Information Engineering Yangzhou University Yangzhou China State Key Laboratory of Software Development Environment Beihang University Beijing China School of Computer Science and Telecommunication Engineering Jiangsu University ZhenJian China School of Mathematics Yangzhou University Yangzhou China School of Information Engineering Geosciences University (Wuhan) Wuhan China

Cloud computing integrates the computation, storage, network etc., making it behaves as a virtualized computing resource pool, and provides services to customers with the dynamic on-demand and measurable way. In order to manage these resources, some cloud computing platform management systems composed of different function modules have been developed, and the coupling between these modules is very low. Therefore, the deployments of these cloud computing management systems are very flexible. However, the deployment architecture affects the performance of the cloud computing platform. This paper employs a high level formalization method, Performance Evaluation Process Algebra (PEPA), to model, analyze, and evaluate the Openstack cloud computing platform deployed by a common deployment architecture with the angle of resources. The findings reveal the key factors affecting the cloud computing platform performance and the potential solutions of deployment architecture to improve performance.

关键词： Cloud computing computer architecture Databases Computational modeling Algebra Neutrons Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：