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

28th IEEE VLSI Test Symposium, VTS10

作者： Chen, Zhen Seth, Sharad Xiang, Dong Dept. of Comp. Sci. and Techn Tsinghua University Beijing 100084 China Computer Science and Engineering University of Nebraska-Lincoln Lincoln NE 68588-0115 United States School of Software Tsinghua University Beijing 100084 China

ISBN: (纸本)9781424466481

Test power, volume, and time are the major test cost parameters that must be minimized while achieving the desired level of fault coverage. Unlike prior research in delay fault testing that has focused on at most two test cost parameters, the hybrid (LOS+LOC) scheme proposed here simultaneously considers all three cost parameters and achieves better fault coverage than prior schemes, as demonstrated by experimental results. A factor of (n/logn) reduction in test power is achieved by the use of a nonlinear double-tree-scan (DTS) structure instead of linear scan chain of length n. Concomitantly, by exploiting the permutation feature of DTS, whereby the same test data can be loaded in multiple ways, we also achieve substantial reductions in the test-data volume. By incorporating the Illinois scan (ILS) within this framework, we minimize not only the test time but also achieve further reductions in test-data volume. ©2010 IEEE.

关键词： Forestry

来源：评论

学校读者我要写书评

暂无评论

A Boosting Method based on SVM for Relevance Feedback in Content-based 3D Model Retrieval

A Boosting Method based on SVM for Relevance Feedback in Con...

引用

The 2nd International Conference on software engineering and Data Mining(IEEE 第二届国际软件工程和数据挖掘学术大会 SEDM 2010)

作者： Tao Wei Xiaoman Cao Zheng Qin Biao Leng Dept. of Computer Science and Tech.Tsinghua University China School of Software Tsinghua University China School of Computer Science and Engineering Beihang University China

ISBN: (纸本)9781424473243;9788988678220;9788988678213

The technique of relevance feedback has been introduced to content-based 3D model retrieval. Support Vector Machine as a learner is one of the classical approaches in relevance feedback. And the Boosting method, as one of the ensemble methods. can establish a strong leaner by combing the component learners. In this paper, a novel relevance feedback mechanism, which makes use of the main idea of boosting and the component SVM, is presented and applied to the content-based 3D model retrievaL The experiments, based on the 3D model database Princeton Shape Benchmark, show that the relevance feedback algorithm can improve the retrieval performance of traditional SvM in 3D model retrievaL

关键词： Content-based 3D model retrieval Relevance feedback Support Vector Machine Boosting

来源：评论

学校读者我要写书评

暂无评论

Managing consistency between textual requirements, abstract interactions and essential use cases

Managing consistency between textual requirements, abstract ...

引用

34th Annual IEEE International computer software and Applications Conference, COMPSAC 2010

作者： Kamalrudin, Massila Grundy, John Hosking, John Electrical and Computer Engineering University of Auckland Private bag 92019 Auckland 1142 New Zealand Swinburne University of Technology Centre for Complex Software Systems and Services PO Box 218 Hawthorn VIC 3122 Australia Dept of Computer Science University of Auckland Private bag 92019 Auckland 1142 New Zealand

ISBN: (纸本)9780769540856

Consistency checking needs to be done from the earliest phase of requirements capture as requirements captured by requirement engineers are often vague, error-prone and inconsistent with users' needs. To improve such consistency checking we have applied a traceability approach with visualization capability. We have embedded this into a light-weight automated tracing tool in order to allow users to capture their requirements and generate Essential Use Case models of these requirements automatically. Our tool supports inconsistency checking between textual requirements, abstract interactions that derive from the text and Essential Use Case models. A preliminary evaluation has been conducted with target end users and the tool usefulness and ease of use are evaluated. We describe our motivation for this research, our prototype tool and results of our evaluation. © 2010 Crown Copyright.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

Foreword: First International Workshop on the Web and Requirements engineering

2010 1st International Workshop on the Web and Requirements ...

引用

2010 1st International Workshop on the Web and Requirements engineering, WeRE 2010 2010年 i-ii页

作者： Garrigós, Irene Mazón, Jose-Norberto Escalona, Maria José Koch, Nora Mylopoulos, John Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy

来源：评论

学校读者我要写书评

暂无评论

Foreword: First International Workshop on the Web and Requirements engineering

Foreword: First International Workshop on the Web and Requir...

引用

International Workshop on the Web and Requirements engineering (WeRE)

作者： Irene Garrigós Jose-Norberto Mazón Nora Koch Maria José Escalona John Mylopoulos Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy

The International Workshop on the Web and Requirements engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements engineering Conference (RE'10) in Sydney (Australia) on September 28 2010. WeRE intends to be an international forum for exchanging ideas on both using Web technologies as a platform in the requirements engineering field, and applying requirements engineering in the development and use of websites. Papers focused on new domains and new experiences with the connection between requirements engineering and the Web were presented in WeRE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Provisioning vehicular ad hoc networks with quality of service

Provisioning vehicular ad hoc networks with quality of servi...

引用

International Conference on Broadband, Wireless Computing, Communication and Applications

作者： Yan, Gongjun Rawat, Danda B. Bista, Bhed B. Department of NIMS Indiana University Kokomo Kokomo IN 46904-9003 United States Dept. of Electrical and Computer Engineering Old Dominion University Norfolk VA 23529 United States Faculty of Software and Information Science Iwate Prefectural University 020-0193 Japan

ISBN: (纸本)9780769542362

The vehicular wireless ad hoc network (VANET), a specialized wireless sensor network, is booming to provide safety and comfort for passengers. Special features of VANET, such as high mobility nodes and large scale node population, make the Quality of Service (QoS) task extremely challenging. To provide Quality of Service (QoS) to traffic safety and entertainment applications in VANET, we propose a routing protocol which improves QoS of VANET in terms of delay, response time and throughput. The proposed scheme disseminates packets among the links which has longer expiration time calculated by using relative velocity vectors. The optimal routing path and a backup routing path are selected by balancing stability, cost and delay. Besides, the proposed scheme gracefully switches to a new optimal routing path before the current routing path is broken. Simulation results indicate that the proposed protocol improves the bandwidth, routing duration, and response time. © 2010 IEEE.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

MaramaAI: Automated and visual approach for Inconsistency checking of requirements

MaramaAI: Automated and visual approach for Inconsistency ch...

引用

2010 18th IEEE International Requirements engineering Conference, RE2010

作者： Kamalrudin, Massila Hosking, John Grundy, John Department of Electrical and Computer Engineering University of Auckland Private Bag 92019 Auckland 1142 New Zealand Dept of Computer Science University of Auckland Private bag 92019 Auckland 1142 New Zealand Swinburne University of Technology Centre for Complex Software Systems and Services PO Box 218 Hawthorn VIC 3122 Australia

ISBN: (纸本)9780769541624

Requirements are commonly vague and ambiguous. In this paper, we describe an automated Inconsistency Checker called MaramaAI for checking for high- level inconsistency between textual requirements, abstract interactions and Essential Use Cases. We use concepts of phrase extraction and essential interaction patterns to carry out these checks. We provide further support for checking of requirements quality attributes such as completeness and correctness using visual differencing. © 2010 Crown Copyright.

关键词： MaramaAI abstract interaction automated inconsistency checker data integrity essential interaction pattern essential interaction pattern formal specification formal verification high-level inconsistency higher level inconsistency phrase extraction requirement quality attribute systems analysis text analysis textual requirement visual differencing visual differencing

来源：评论

学校读者我要写书评

暂无评论

Real-time constrained task scheduling in 3D chip multiprocessor to reduce peak temperature

Real-time constrained task scheduling in 3D chip multiproces...

引用

International Workshop on Wireless Network Algorithm and Theory

作者： Li, Jiayin Qiu, Meikang Niu, Jianwei Zhu, Yongxin Chen, Tianzhou Dept. 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 School of Microelectronics Shanghai Jiaotong University Shanghai 200240 China College of Computer Science Zhejiang University Hangzhou 310027 China

ISBN: (纸本)9780769543222

Chip multiprocessor technique has been implemented in embedded systems due to the tremendous computation requirements. Three dimension chip multiprocessor architecture has been studied recently for integrating more functionalities and providing higher performance. The high temperature on chip is a critical issue for the 3D architecture. In this paper, we propose an online thermal prediction model for 3D chip. Using this model, we present a task scheduling algorithm based on rotation scheduling to reduce the peak temperature on chip. We consider the data dependencies, especially the inter-iteration dependencies which are not well considered in most of the current thermal-aware task scheduling algorithms. Our simulation result shows that our algorithm can efficiently reduce the peak temperature up to 10 °C. © 2010 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Optimization of fuzzy controller based on multi-parent crossover dynamic evolutionary algorithm

Optimization of fuzzy controller based on multi-parent cross...

引用

International Conference on Mechanic Automation and Control engineering (MACE)

作者： Xuewen Xia Zengang Xiong Zhiming Li Yuanxiang Li Dept of Computer and Information Science Xiaogan College China 432000 State Key Laboratory of Software Engineering Wuhan University China 430072

Fuzzy control is a nonlinear control method; its performance depends on the fuzzy control rules, quantification factor and the scale factor. Because these multiple objectives are influence with each others, therefore it is very difficult to ensure the control effect only rely on expertise's experience. In this paper, dynamic evolutionary algorithm is adopted to optimize the multi-objectives in fuzzy controller. In dynamic evolutionary algorithm, based on the competitive relationship between particles' free energy and entropy in the phase space system, a new option strategy is put forward which is used to maintain species diversity; furthermore, multi-parent crossover operator is selected. This operator selects some individuals to form a space and then do searching in this space. This algorithm has strong ability to find the solutions of the problem, and it also run quickly compared with other traditional algorithms. Simulation results show that fuzzy controller optimized by the algorithm has good steady-state response time, steady-state error and overshoot.

关键词： Fuzzy control Evolutionary computation Steady-state Optimization methods Laboratories software engineering Information science Educational institutions Nonlinear dynamical systems Entropy

来源：评论

学校读者我要写书评

暂无评论

An Empirical Evaluation of Regression Testing Based on Fix-Cache Recommendations

An Empirical Evaluation of Regression Testing Based on Fix-C...

引用

International Conference on software Testing, Verification, and Validation, ICST

作者： Emelie Engström Per Runeson Greger Wikstrand Software Engineering Research Group Dept. of Comp. Science Lund University Lund Sweden Software Engineering Research Group Department of Computer Science Lund University Lund Sweden KnowIT YAHM Sweden AB Lund Sweden

Background: The fix-cache approach to regression test selection was proposed to identify the most fault-prone files and corresponding test cases through analysis of fixed defect reports. Aim: The study aims at evaluating the efficiency of this approach, compared to the previous regression test selection strategy in a major corporation, developing embedded systems. Method: We launched a post-hoc case study applying the fix-cache selection method during six iterations of development of a multi-million LOC product. The test case execution was monitored through the test management and defect reporting systems of the company. Results: From the observations, we conclude that the fix-cache method is more efficient in four iterations. The difference is statistically significant at α = 0.05. Conclusions: The new method is significantly more efficient in our case study. The study will be replicated in an environment with better control of the test execution.

关键词： System testing software testing Fault diagnosis Logic testing Costs software engineering Monitoring Joining processes Iterative methods Embedded system

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：