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

International Conference on Information engineering and computer science (ICIECS)

作者： Baojing Zuo Kai Chen Alei Liang Haibing Guan Jun Zhang Ruhui Ma Hongbo Yang School of Software Shanghai Jiaotong University Shanghai China School of Information Security Engineering Shanghai Jiaotong University Shanghai China Department of Computer Science and Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University Shanghai China

Utilizing virtualization technology to combine real-time operating system(RTOS)and off-the-shelf time-sharing general purpose operating system (GPOS)is attracting much more interest *** combination has the potential to provide a large application base,and to guarantee timely deterministic response to real-time applications,yet there is no convincible experimental result about its real-time *** this paper,we analyze the interrupt latency of RTOS running on Linux KVM based on some preliminary tunings,and find out System Management Interrupt (SMI) is the main factor which makes the maximum latency unideal, so we propose a method to limit the worst-case interrupt latency in an acceptable ***,we also find out that boosting priority may result in wastes of CPU resources when RTOS is not executing real-time tasks,so we design a co-scheduling mechanism to improve the CPU throughput of the GPOS system.

关键词： Linux Real time systems Kernel Tuning Throughput Hardware

来源：评论

学校读者我要写书评

暂无评论

A Translation Framework for Virtual Execution Environment on CPU/GPU Architecture

A Translation Framework for Virtual Execution Environment on...

引用

International Symposium on Parallel Architectures, Algorithms and Programming (PAAP)

作者： Guoxing Dong Kai Chen Erzhou Zhu Yichao Zhang Zhengwei Qi Haibing Guan School of Software Shanghai Jiaotong University Shanghai China School of Information Security Engineering Shanghai Jiaotong University Shanghai China Department of Computer Science and Engineering Shanghai Key Laboratory of Scalable Computing and Systems Shanghai Jiaotong University Shanghai China

GPUs are many-core processors with tremendous computational power. However, as automatic parallelization has not been realized yet, developing high-performance parallel code for GPUs is still very challenging. The paper presents a novel translation framework designed for virtual execution environment based on CPU/GPU architecture. It addresses two major challenges of taking advantage of general purpose computation on graphics processing units (GPGPU) to improve performance: no rewriting the existing source code and resolving binary compatibility issues between different GPUs. The translation framework uses semi-automatic parallelization technology to port existing code to explicitly parallel programming models. It not only offers a mapping strategy from X86 platform to CUDA programming model, but also synchronizes the execution between the CPU and the GPUs. The input to our translation framework is parallelizable part of the program within binary code. With an additional information related to the parallelizable part, the translation framework transforms the sequential code into PTX code and execute it on GPUs. Experimental results on several programs from CUDA SDK Code Samples and Parboil Benchmark Suite show that our translation framework could achieve very high performance, even up to several tens of times speedup over the X86 native version.

关键词： Graphics processing unit Registers Kernel Instruction sets Driver circuits Programming computer architecture

来源：评论

学校读者我要写书评

暂无评论

Formalization of UML class diagram using description logics

Formalization of UML class diagram using description logics

引用

International Symposium on Information Technology, ITSim

作者： Lusiana Efrizoni Teknik Informatika Wan M.N. Wan-Kadir Radziah Mohamad Teknik Informatika STMIK-AMIK Riau - Pekanbaru Riau Indonesia STMIK-AMIK Riau-Pekanbaru JI Teknik Informatika Pekanbaru Riau Indonesia Software Engineering Department Universiti Teknologi Malaysia Johor Malaysia Software Engineering Department Universiti Teknologi Malaysia Skudai Johor Malaysia Universiti Teknologi Malaysia Skudai Johor MY Software Engineering Department Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81300 UTM Skudai Johor Malaysia

Unified Modelling language (UML) is as a standard object-oriented modelling notation that is widely accepted and used in software development industry. In general, the UML notation is informally defined in term of natural language description (English) and Object Constraint language (OCL) which makes difficult to formally analyzed and error-prone. In this paper, we elucidate the preliminary result on an approach to formally define UML class diagram using logic-based representation formalism. We represent how to define the UML class diagram using Description Logics (DLs).

关键词： Unified modeling language Copper Companies Syntactics

来源：评论

学校读者我要写书评

暂无评论

An associative memory system for incremental learning and temporal sequence

An associative memory system for incremental learning and te...

引用

International Joint Conference on Neural Networks (IJCNN)

作者： Furao Shen Hui Yu Wataru Kasai Osamu Hasegawa State Key Laboratory for Novel Software Technology Jiangyin Information Technology Research Institute Nanjing University Nanjing China Department of Computer Intelligence and Systems Science Tokyo Institute of Technology Yokohama Japan Imaging Science and Engineering Laboratory Tokyo Institute of Technology Yokohama Japan

An associative memory (AM) system is proposed to realize incremental learning and temporal sequence learning. The proposed system is constructed with three layer networks: The input layer inputs key vectors, response vectors, and the associative relation between vectors. The memory layer stores input vectors incrementally to corresponding classes. The associative layer builds associative relations between classes. The proposed method can incrementally learn key vectors and response vectors; store and recall both static information and temporal sequence information; and recall information from incomplete or noise-polluted inputs. Experiments using binary data, real-value data, and temporal sequences show that the proposed method works well.

关键词： Associative memory Training Context Indexes Prototypes Humans Topology

来源：评论

学校读者我要写书评

暂无评论

software language engineering: Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2010年 5969 LNCS卷 V-VI页

作者： Van Den Brand, Mark Gaševíc, Dragan Gray, Jeff Dept. of Mathematics and Computer Science Software Engineering and Technology Eindhoven University of Technology Den Dolech 2 5612 AZ Eindhoven Netherlands School of Computing and Information Systems Athabasca University 1 University Drive Athabasca AB T9S 3A3 Canada Department of Computer Science University of Alabama P.O. Box 870290 Tuscaloosa AL United States

来源：评论

学校读者我要写书评

暂无评论

Quantum State Reduction for Universal Measurement Based Computation

引用

Physical Review Letters 2010年第2期105卷 020502-020502页

作者： Xie Chen Runyao Duan Zhengfeng Ji Bei Zeng Department of Physics Massachusetts Institute of Technology Cambridge Massachusetts USA Centre for Quantum Computation and Intelligent Systems (QCIS) Faculty of Engineering and Information Technology University of Technology Sydney NSW Australia Department of Computer Science and Technology Tsinghua National Laboratory for Information Science and Technology Tsinghua University Beijing China Perimeter Institute for Theoretical Physics Waterloo Ontario Canada State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Institute for Quantum Computing University of Waterloo Waterloo Ontario Canada Department of Combinatorics and Optimization University of Waterloo Waterloo Ontario Canada

Measurement based quantum computation, which requires only single particle measurements on a universal resource state to achieve the full power of quantum computing, has been recognized as one of the most promising models for the physical realization of quantum computers. Despite considerable progress in the past decade, it remains a great challenge to search for new universal resource states with naturally occurring Hamiltonians and to better understand the entanglement structure of these kinds of states. Here we show that most of the resource states currently known can be reduced to the cluster state, the first known universal resource state, via adaptive local measurements at a constant cost. This new quantum state reduction scheme provides simpler proofs of universality of resource states and opens up plenty of space to the search of new resource states.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Feature-Oriented Nonfunctional Requirement Analysis for software Product Line

引用

Journal of computer science & Technology 2009年第2期24卷 319-338页

作者：彭鑫 Seok-Won Lee 赵文耘 School of Computer Science Fudan University Knowledge-Intensive Software Engineering Research Group Department of Software and Information Systems College of Computing and Informatics University of North Carolina at Charlotte

Domain analysis in software product line （SPL） development provides a basis for core assets design and imple- mentation by a systematic and comprehensive commonality/variability analysis. In feature-oriented SPL methods, products of the domain analysis are domain feature models and corresponding feature decision models to facilitate application-oriented customization. As in requirement analysis for a single system, the domain analysis in the SPL development should con- sider both flmctional and nonfunctional domain requirements. However, the nonfunctional requirements （NFRs） are often neglected in the existing domain analysis methods. In this paper, we propose a context-based method of the NFR analysis for the SPL development. In the method, NFRs are materialized by connecting nonfunctional goals with real-world context, thus NFR elicitation and variability analysis can be performed by context analysis for the whole domain with the assistance of NFR templates and NFR graphs. After the variability analysis, our method integrates both functional and nonfunc- tional perspectives by incorporating the nonfunctional goals and operationalizations into an initial functional feature model. NFR-related constraints are also elicited and integrated. Finally, a decision model with both functional and nonfunctional perspectives is constructed to facilitate application-oriented feature model customization. A computer-aided grading system （CAGS） product line is employed to demonstrate the method throughout the paper.

关键词： software product line nonfunctional requirement domain analysis feature-oriented method variability analysis

来源：评论

学校读者我要写书评

暂无评论

Quality policies conformed with ABET in a spanish engineering school

Quality policies conformed with ABET in a spanish engineerin...

引用

2nd International Symposium on engineering Secure software and systems, ESSoS 2010

作者： Tovar, Edmundo Language and Computer Science Systems and Software Engineering Department Technical University of Madrid Spain

ISBN: (纸本)9789898111821

The European Higher Education Area is an example of diversity of political systems, higher education systems, socio-cultural and educational traditions, languages, aspirations and expectations. In the light of this diversity and variety, technical universities set its face to develop their internal quality assurance systems according to the European standards and the guidelines, focusing more on what should be done than how they should be achieved, but also to different factors and sources. This presentation explains the definition of quality policies in a Spanish engineering school, including engineering accreditation, programs, funding programs or improvement plans.

关键词： Accreditation

来源：评论

学校读者我要写书评

暂无评论

Delay-dependent conditions for monotonic convergence of uncertain ILC systems: An LMI approach

Delay-dependent conditions for monotonic convergence of unce...

引用

IEEE Conference on Decision and Control

作者： Deyuan Meng Yingmin Jia Junping Du Fashan Yu Seventh Research Division the Department of Systems and Control Beihang University Beijing China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo Henan China

ISBN: (纸本)9781424477456

This paper deals with the iterative learning control (ILC) problem for uncertain time-delay systems (TDS). In order to ensure monotonic convergence of the ILC process, a sufficient condition is developed using an H ∞ -based framework. It shows that under this framework, the convergence condition is enabled to be delay-dependent and have a formulation in terms of linear matrix inequalities (LMIs). Moreover, formulas for the updating law design can be derived by directly solving LMIs. A numerical example is provided to verify that the delay-dependent condition in LMI forms is effective in producing monotonically convergent ILC algorithms.

关键词： Convergence Symmetric matrices Robustness Delay Uncertainty Performance analysis Linear matrix inequalities

来源：评论

学校读者我要写书评

暂无评论

Observer-Based L_(2)-L_(infinity) Control for a Class of Stochastic systems with Time-Varying Delay

Observer-Based L_(2)-L_(infinity) Control for a Class of Sto...

引用

2010 49th IEEE Conference on Decision and Control

作者： Lin Li Yingmin Jia Junping Du Fashan Yu Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electrical Engineering and Automation Henan Polytechnic University Jiaozuo 454000 Henan China

ISBN: (纸本)9781424477456

This paper is devoted to the problem of L_(2)-L_(infinity) control for a class of stochastic time-delay systems via observer-based feedback control. The considered observer contains no time-delay. The purpose is to design an observer-based feedback stabilizing controller such that the augmented closed-loop system is stochastically asymptotically stable with a prescribed L_(2)-L_(infinity) performance satisfied. Based on the stochastic stability theory, a delay-dependent sufficient condition is derived in terms of linear matrix inequalities (LMIs). The observer and controller design method is proposed, while the corresponding explicit expression for the observer and controller gain matrices is also given. Finally, numerical examples and simulation results are included to illustrate the effectiveness of the proposed results.

关键词： stochastic systems system clock time varying stability theory Stochastic delay systems controller gain Closed loop systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：