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

2011 International Conference on Network-Based Information Systems, NBiS 2011

作者： Rawat, Danda B. Bista, Bhed Bahadur Yan, Gongjun 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 Dept. of NMIS Indiana University Kokomo IN 46904-9003 United States

ISBN: (纸本)9780769544588

In this paper we present an algorithm to perform precoder adaptation and power control for rate maximization problem in ad-hoc networks where individual transmitterreceiver pairs communicate in interference channel scenario. We maximize links' achievable rates subject to average power and spectral mask constraints. With the usage of spectral mask constraints, the proposed algorithm can be directly applied to cognitive radio systems where unlicensed secondary users can get opportunistic channel access without creating harmful interference to licensed primary users. This help improve the spectrum utilization where the idle bands can be accessed dynamically and opportunistically with the help of the spectral masks. We have analyzed the algorithm in three different cases: high, ideal, and low cross-channel gains. To scale up achievable rate/capacity with network size the distance between source and destination nodes must remain small as the network grows. Alternatively, the distance from interfering transmitter to intended receiver should be large so that the cross-channel gains would be low. The proposed algorithm is illustrated with the help of simulation results. © 2011 IEEE.

关键词： Power control

来源：评论

学校读者我要写书评

暂无评论

Video Image Segmentation using Gaussian Mixture Models based on the Differential Evolution-based Parameter Estimation

Video Image Segmentation using Gaussian Mixture Models based...

引用

2011 International Conference on Advanced Materials and computer science(ICAMCS 2011)

作者： Zhi-Gao Zeng Li-Xin Ding Sheng-Qiu Yi San-You Zeng Zi-Hua QIU State Key Laboratory of Software Engineering Wuhan University School of Computer & Communication Hunan University of Technology Dept.of Computer Science China University of GeoSciences College of Computer Science Hunan Institute of Science and Technology

In order to improve the accuracy of the image segmentation in video surveillance sequences and to overcome the limits of the traditional clustering algorithms that can not accurately model the image data sets which Contains noise data,the paper presents an automatic and accurate video image segmentation algorithm,according to the spatial properties,which uses the Gaussian mixture models to segment the imageBut the expectation-maximization algorithm is very sensitive to initial values,and easy to fall into local optimums,so the paper presents a differential evolution-based parameters estimation for Gaussian mixture modelsThe experiment result shows that the segmentation accuracy has been improved greatly than by the traditional segmentation algorithms

关键词： Differential evolution algorithm Gaussian mixture models Video image Cluster.

来源：评论

学校读者我要写书评

暂无评论

Improving Regression Testing Transparency and Efficiency with History-Based Prioritization -- An Industrial Case Study

Improving Regression Testing Transparency and Efficiency wit...

引用

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

作者： Emelie Engström Per Runeson Andreas Ljung Software Engineering Research Group Dept. of Computer Science Lund University Sweden Sony Ericsson Mobile Communications Sweden

Background: History based regression testing was proposed as a basis for automating regression test selection, for the purpose of improving transparency and test efficiency, at the function test level in a large scale software development organization. Aim: The study aims at investigating the current manual regression testing process as well as adopting, implementing and evaluating the effect of the proposed method. Method: A case study was launched including: identification of important factors for prioritization and selection of test cases, implementation of the method, and a quantitative and qualitative evaluation. Results: 10 different factors, of which two are history-based, are identified as important for selection. Most of the information needed is available in the test management and error reporting systems while some is embedded in the process. Transparency is increased through a semi-automated method. Our quantitative evaluation indicates a possibility to improve efficiency, while the qualitative evaluation supports the general principles of history-based testing but suggests changes in implementation details.

关键词： Testing software History Equations Interviews Context Systematics

来源：评论

学校读者我要写书评

暂无评论

Implementation of stepwise satisfiability checker for reactive system specifications using distributed objects technology

Computer Software

引用

computer software 2011年第4期28卷 262-281页

作者： Ando, Takahiro Miyamoto, Yuuki Hagihara, Shigeki Yonezaki, Naoki National Institute of Advanced Industrial Science and Technology Japan Software Division Hitachi Ltd. Japan Dept. of Computer Science Graduate School of Information Science and Engineering Tokyo Institute of Technology Japan

The realizability is a well known property for reactive system specification, and it shows that there exists a system which reacts properly against any environment following the specification. In system development process, we can reduce reversions if realizability for specification is verified before implementation of system. However, the verification cost is too high to verify the realizability of a real scale system specification. On the other hand, stepwise satisfiability which is a necessary condition for the realizability has been proposed. Its verification cost is less than that of realizability, and verification of the property is useful to find the incompleteness of specification. Even if the verification of stepwise satisfiability, the required cost is too high. In order to overcome this problem, this paper proposes methods of implementing the stepwise satisfiability checker using a distributed object technology on the parallel distributed environment. Then, we implement the stepwise satisfiability checker in Java based on our methods, and confirm the effectiveness of our methods by experiments. In this paper, we present our ideas and methods of the implementations for three parts of our checker. The first is how our checker compose a tableau graph on the parallel distributed environment. The second is the implementation method to determinize the distributed graph. The third is the dead end checking method for the deterministic distributed graph.

关键词： Costs

来源：评论

学校读者我要写书评

暂无评论

Local relative GLRLM-based texture feature extraction for classifying ultrasound medical images

Local relative GLRLM-based texture feature extraction for cl...

引用

Canadian Conference on Electrical and computer engineering (CCECE)

作者： Abu Sayeed Md. Sohail Prabir Bhattacharya Sudhir P. Mudur Srinivasan Krishnamurthy Dept. of Computer Science and Software Engineering. Concordia University Montreal Canada Dept. of Computer Science University of Cincinnati Cincinnati Ohio Dept. of Obstetrics and Gynecology Royal Victoria Hospital Montreal Canada

ISBN: (纸本)9781424497881;9781424497898

This paper presents a new approach of extracting local relative texture feature from ultrasound medical images using the Gray Level Run Length Matrix (GLRLM) based global feature. To adapt the traditional global approach of GLRLM -based feature extraction method, a three level partitioning of images has been proposed that enables capturing of local features in terms of global image properties. Local relative features are then calculated as the absolute difference of the global features of each lower layer partition sub-block and that of its corresponding upper layer partition block. Performance of the proposed local relative feature extraction method has been verified by applying it in classifying ultrasound medical images of ovarian abnormalities. Besides, significant improvement has been noticed by comparing the proposed method with traditional GLRLM -based feature extraction method in terms of image classification performance.

关键词： Feature extraction Ultrasonic imaging Support vector machines Biomedical imaging Training Image classification Kernel

来源：评论

学校读者我要写书评

暂无评论

A diagnostic reasoning approach to defect prediction 11

A diagnostic reasoning approach to defect prediction

引用

Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part II

作者： Rui Abreu Alberto Gonzalez-Sanchez Arjan J. C. Van Gemund Dept. of Informatics Engineering University of Porto Portugal and School of Computer Science Carnegie Mellon University Software Technology Dept. Delft University of Tech. The Netherlands

ISBN: (纸本)9783642218262

During software testing, defect prediction approaches measure current reliability status, forecasting future program failures, and provide information on how many defects need to be removed before shipping. Existing approaches often require faults to be detected and identified as a new one, before a model-based trend can be fitted. While during regression testing failures may frequently occur, it is not evident which are related to new faults. Consequently, reliability growth trending can only be performed in sync with fault identification and repair, which is often performed in between regression test cycles. In this paper we present a dynamic, reasoning approach to estimate the number of defects in the system early in the process of regression testing. Our approach, coined Dracon, is based on Bayesian fault diagnosis over abstractions of program traces (also known as program spectra). Experimental results show that Dracon systematically estimates the exact number of (injected) defects, provided sufficient tests cases are available. Furthermore, we also propose a simple, analytic performance model to assess the influence of failed test cases in the estimation. We observe that our empirical findings are in agreement with the model.

关键词： bayes

来源：评论

学校读者我要写书评

暂无评论

A Novel Multipath Routing Protocol for MANETs

A Novel Multipath Routing Protocol for MANETs

引用

International Conference on Wireless Communications, Networking and Mobile Computing (WiCom)

作者： Mu'ath Obaidat M. A. Ali M. S. Obaidat Suhaib Obeidat Ihsan Shahwan Department of Electrical Engineering City College at the Graduate Center of the CUNY New York NY USA Dept. of Comput. Sci. & Software Eng. Monmouth Univ. West Long Branch NJ USA Department of Computer Science and Software Engineering Monmouth University NJ USA Department of Mathematics and Computer Science Greensboro NC USA

This paper proposes a novel multipath routing protocol for MANETs. The proposed protocol is a variant of the single path AODV routing protocol. The proposed multipath routing protocol establishes node-disjoint paths that have the lowest delays based on the interaction of many factors from different layers. Other delay aware MANETs routing protocols don't consider the projected contribution of the source node that is requesting a path into the total network load. The implication is that end to end delay obtained through the RREQ is not accurate any more. On the contrary of its predecessors, the proposed protocol takes into consideration the projected contribution of the source node into the computation of end to end delay. To obtain an accurate estimate of path delay, the proposed multipath routing protocol employs cross-layer communications across three layers; PHY, MAC and Routing layers to achieve link and channel-awareness and creates an update packet to keep the up to date status of the paths in terms of lowest delay. The performance of the proposed protocol investigated and compared against the single path AODV and multipath AOMDV protocols through simulation using OPNET. Results have shown that our multipath routing protocol outperforms both protocols in terms of average throughput, end to end delay and packet dropped.

关键词： Delay Routing protocols Mobile computing Ad hoc networks Routing Quality of service

来源：评论

学校读者我要写书评

暂无评论

1st International Workshop on Quantitative Methods in software Product Line engineering

1st International Workshop on Quantitative Methods in Softwa...

引用

15th International software Product Line Conference, SPLC 2011

作者： Abrahão, Silvia Nolan, Andy J. Clements, Paul C. McGregor, John D. Dept. of Computer Science Universidad Politècnica de Valencia Camino de Vera s/n 46022 Valencia Spain Rolls-Royce SIN C-3 Rolls-Royce Plc PO Box 31 Derby DE24 8BJ United Kingdom Software Engineering Institute Carnegie-Mellon University 4500 5th Avenue Pittsburgh PA 15213-2616 United States Dept. of Computer Science 312 McAdams Hall Clemson University Clemson SC United States

ISBN: (纸本)9780769544878

The objective of this workshop is to bring together researchers and practitioners to report and discuss the challenges and opportunities for integrating quantitative methods in product line engineering with the objective of achieving both technical and business goals. In particular, we are seeking contributions that, on the one hand, deal with product line estimation and metrics for the effective management of product line projects, and on the other hand, provide some insight into new trends in value-based product line engineering. © 2011 IEEE.

关键词： computer software

来源：评论

学校读者我要写书评

暂无评论

Response Time Analysis of COTS-Based Multicores Considering the Contention on the Shared Memory Bus

Response Time Analysis of COTS-Based Multicores Considering ...

引用

IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Dakshina Dasari Bjorn Andersson Vincent Nelis Stefan M. Petters Arvind Easwaran Jinkyu Lee CISTER-ISEP Research Centre Polytechnic Institute of Porto Portugal Software Engineering Institute Carnegie Mellon University USA Dept. of Computer Science KAIST South Korea

The current industry trend is towards using Commercially available Off-The-Shelf (COTS) based multicores for developing real time embedded systems, as opposed to the usage of custom-made hardware. In typical implementation of such COTS-based multicores, multiple cores access the main memory via a shared bus. This often leads to contention on this shared channel, which results in an increase of the response time of the tasks. Analyzing this increased response time, considering the contention on the shared bus, is challenging on COTS-based systems mainly because bus arbitration protocols are often undocumented and the exact instants at which the shared bus is accessed by tasks are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. This paper makes three contributions towards analyzing tasks scheduled on COTS-based multicores. Firstly, we describe a method to model the memory access patterns of a task. Secondly, we apply this model to analyze the worst case response time for a set of tasks. Although the required parameters to obtain the request profile can be obtained by static analysis, we provide an alternative method to experimentally obtain them by using performance monitoring counters (PMCs). We also compare our work against an existing approach and show that our approach outperforms it by providing tighter upper-bound on the number of bus requests generated by a task.

关键词： Multicore processing Time factors Equations Algorithm design and analysis Mathematical model Delay Upper bound

来源：评论

学校读者我要写书评

暂无评论

Towards the integration of quality attributes into a software product line cost model

Towards the integration of quality attributes into a softwar...

引用

15th International software Product Line Conference, SPLC 2011

作者： Nolan, Andy J. Abrahão, Silvia Clements, Paul McGregor, John D. Cohen, Sholom Rolls-Royce SIN C-3 Rolls-Royce Plc PO Box 31 Derby DE24 8BJ United Kingdom Dept. of Computer Science Universitat Politècnica de València Camino de Vera s/n 46022 Valencia Spain Software Engineering Institute Carnegie Mellon University 4500 5th Avenue Pittsburgh PA 15213-2616 United States Dept. of Computer Science 312 McAdams Hall Clemson University Clemson SC United States

ISBN: (纸本)9780769544878

A good estimation tool offers a "model" of a project and is usually used to estimate cost and schedule, but it can also be used to help make trade decisions that affect cost and schedule as well as to estimate risks and opportunities. It was evident that Rolls-Royce needed a cost model to underpin decisions when they launched a software Product Line initiative. The first generation cost model was based on COCOMO II, which represents the software product as a single size measure (Source Lines of Code) but makes limited use of the architecture or any characteristics of the product being developed. The next generation of the cost model, currently under development, is intended to account for the quality attributes of the core assets and the resulting products in order to estimate their impact on cost and net-benefit to the business. The objective of this paper is to describe our current efforts to integrate key quality attributes into the SPL cost model. We describe the quality attributes selected, the reason for their selection and the benefits we expect to obtain after integrating them into the model. © 2011 IEEE.

关键词： Accident prevention

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：