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

13th IEEE International Workshop on FTDCS 2011, the 8th International Conference on ATC 2011, the 8th International Conference on UIC 2011 and the 13th IEEE International Conference on HPCC 2011

作者： Nie, Pengcheng Duan, Zhenhua Huang, Bohu Institute of Computing Theory and Technology ISN Laboratory Xidian University No.2 Taibai South Road Xi'an China

ISBN: (纸本)9780769545387

Recent research advocates performance heterogeneous multicore processors, where cores in the same processor have same instruction set architecture (ISA) but often different performance characteristics. These architectures are able to deliver higher performance per watt and area for programs with diverse architectural requirements than comparable homogeneous ones. However, such power and area efficiencies of performance heterogeneous multicore systems can only be accomplished when thread-to-core assignment is made according to the characteristics of both the workload and the core. In this paper, we propose a new metric, ASTPI (Average Stall Time Per Instruction), to measure the properties of threads. We design, implement and evaluate a new online monitoring approach called ESHMP, which is based on the metric. Our evaluation in the Linux 2.6.21 operating system shows that ESHMP delivers scalability while adapting to a wide variety of applications. © 2011 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

ESHMP: A Stall-Time-Based Scheduling for Performance Heterogeneous Multicore Systems

ESHMP: A Stall-Time-Based Scheduling for Performance Heterog...

引用

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

作者： Pengcheng Nie Zhenhua Duan Bohu Huang Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xian China

关键词： Instruction sets Multicore processing Monitoring Benchmark testing Scheduling algorithm Frequency domain analysis

来源：评论

学校读者我要写书评

暂无评论

Verification of Hardware Designs: A Case Study

Verification of Hardware Designs: A Case Study

引用

ACIS/JNU International Conference on Computers, Networks, Systems and Industrial Engineering (CNSI)

作者： Nan Zhang Zhenhua Duan Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xi'an China

As size and complexity have increased, formal verification of hardware designs is a challenge to us. This paper presents a case study for verification of a full adder design using the axiom system of Propositional Projection Temporal Logic (PPTL). The paper focuses on the functional verification of the adder. To this end, the syntax, semantics and axiom system for PPTL are briefly introduced. Further, functions and architectures of full adders are presented respectively. Finally, the correctness of the full adder is verified.

关键词： Adders Hardware Computer bugs Logic gates Semantics Syntactics Production

来源：评论

学校读者我要写书评

暂无评论

Non-functional requirements elicitation and incorporation into class diagrams

引用

作者： Song, Xiaoyu Duan, Zhenhua Tian, Cong Institute of Computing Theory and Technology ISN Laboratory Xidian University Xi'an 710071 China

ISBN: (纸本)3642163262

Top-quality software architecture should consider both functional and non-functional aspects of systems and their association. In the the existing literature, considerable efforts have been directed at functional requirement analysis and design, regardless of the non-functional aspects. This disassociation makes architecture comprehension and evolution hard. This paper proposes a strategy on how to elicit non-functional requirements and incorporate them into the design models of functions. We aim at bridging the gap between functionality and non-functionality and constructing high quality software systems. © 2010 IFIP.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Axiomatic temporal logic programs verification

Axiomatic temporal logic programs verification

引用

2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010

作者： Yang, Xiaoxiao Duan, Zhenhua Institute of Computing Theory and Technology ISN Laboratory Xidian University Xi'an710071 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Science China

ISBN: (纸本)9780769541488

In this paper, we investigate the axiomatic system of Modeling Simulation and Verification Language (MSVL). To this end, a set of state axioms and state inference rules is given. They are useful to deduce a program into its normal form. Further, a propositional projection temporal logic is used as assertion language to describe the required property of a program. Moreover, to deduce a program over an interval, a set of rules in terms of triple like Hoare logic is formalized. These rules enable us to deduce a program in its normal form at the current state to the next one and to verify safety, liveness properties over an interval. © 2010 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Model checking rectangular hybrid systems with timed computation tree logic

Model checking rectangular hybrid systems with timed computa...

引用

2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010

作者： Zhang, Hai-Bin Duan, Zhenhua Huang, Bohu Wang, Xiaobing Zhang, Long Institute of Computing Theory and Technology ISN Laboratory Xidian University Xi'an 710071 China State Key Laboratory of Software Engineering Wuhan University 430072 China School of Electronic Engineering Xidian University Xi'an 710071 China

ISBN: (纸本)9780769541488

To deal with the model checking issue of rectangular hybrid systems, a constraint system called hybrid zone is introduced for the representation and manipulation of rectangular hybrid automata state-spaces. Model checking procedures for rectangular hybrid systems based on timed computation tree logic are given. The hybrid zone is proved to be closed to the operations required in these model checking procedures, which enables it to be used as the basis for the infinite state-space exploring of rectangular hybrid automata. To represent hybrid zones, a data structure difference constraint matrix is introduced. © 2010 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Axiomatic Temporal Logic Programs Verification

Axiomatic Temporal Logic Programs Verification

引用

Theoretical Aspects of Software Engineering (TASE)

作者： Xiaoxiao Yang Zhenhua Duan Institute of Computing Theory & Technology and ISN Laboratory Xidian University Xi'an China State Key Laboratory of Computer Science Institute of Software Chinese Academy and Sciences China

关键词： Semantics Writing Logic programming Computational modeling Laboratories Software

来源：评论

学校读者我要写书评

暂无评论

Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic

Model Checking Rectangular Hybrid Systems with Timed Computa...

引用

Theoretical Aspects of Software Engineering (TASE)

作者： Hai-bin Zhang Zhenhua Duan Bohu Huang Xiaobing Wang Long Zhang Institute of Computing Theory and Technology and ISN Laboratory Xidian University Xi'an China State Key Laboratory of Software Engineering Wuhan University of China China School of Electronic Engineering Xidian University Xi'an China

关键词： Automata Clocks Cost accounting Computational modeling Reachability analysis Labeling Linear matrix inequalities

来源：评论

学校读者我要写书评

暂无评论

A Model-Driven Approach for Generating Business Processes and Process Interaction Semantics

A Model-Driven Approach for Generating Business Processes an...

引用

International Conference on Computer and Information Science (ACIS)

作者： Chenting Zhao Zhenhua Duan Man Zhang State Key Laboratory of Software Wuhan University Engineering Wuhan China Institute of Computing Theory and Technology Xidian University Xi'an China

Business process modeling (BPM) is one of the key technologies to benefit enterprises with higher efficiencies and greater business values. However, BPM requires intensive business expertise and human resources. Thus, it is valuable and challenging to enable fast delivery of reusable business process designs, regarding the existence of various popular business processes modeling languages and fast changing markets. In this paper, we generate language-specific business process models and process interaction semantics from UML 2.0 process models. A WS-BPEL metadata model and a process interaction semantics metadata model is defined to annotate UML 2.0 business process model as stereotypes; with a set of transformation patterns, we can generate a WS-BPEL business process model and a process interaction semantics file from each annotated UML 2.0 process model. Our approach can also be similarly applied to other process modeling languages to highly reuse the business process model in UML 2.0.

关键词： Unified modeling language Process design Information science Laboratories Software engineering Humans Technological innovation Web services

来源：评论

学校读者我要写书评

暂无评论

Phase field simulations of coupled phase transformations in ferroelastic-ferroelastic nanocomposites

引用

Physical Review B 2009年第9期79卷 094110-094110页

作者： Mathieu Bouville Rajeev Ahluwalia []Institute of Materials Research and Engineering A*STAR (Agency for Science Technology and Research) Singapore 117602 Singapore and Materials Theory and Simulation Laboratory Institute of High Performance Computing A*STAR (Agency for Science Technology and Research) Singapore 138632 Singapore

We use phase field simulations to study composites made of two different ferroelastics (e.g., two types of martensite). The deformation of one material due to a phase transformation can elastically affect the other constituent and induce it to transform as well. We show that the phase transformation can then occur above its normal critical temperature and even higher above this temperature in nanocomposites than in bulk composites. Microstructures depend on temperature, on the thickness of the layers, and on the crystal structure of the two constituents—certain nanocomposites exhibit a great diversity of microstructures not found in bulk composites. Also, the periodicity of the martensite twins may vary over 1 order of magnitude based on geometry.

关键词： crystal microstructure deformation ferroelastic transitions martensitic transformations nanocomposites twin boundaries

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：