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

2009 ICSE Workshop on Automation of Software Test, AST 2009

作者： Neto, Arilo Claudio Dias Travassos, Guilherme Horta Federal University of Rio de Janeiro Systems Engineering and Computer Science Program COPPE/UFRJ P.O. Box 68511 21941-972 Rio de Janeiro RJ Brazil

ISBN: (纸本)9781424437436

The technical literature regarding Model-based Testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding these techniques, they could be applied together in a software project aiming at improving the testing coverage. However, this decision needs to be carefully analyzed to avoid loss of resources in a software project. Based on this scenario, this paper proposes an approach with the purpose of supporting the unique or combined selection of MBT techniques for a given software project considering two aspects: the adequacy level between MBT techniques and the software project characteristics and impact of more than one MBT technique in some testing process variables. At the end, preliminary results of an experimental evaluation are presented.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Porantim: An approach to support the combination and selection of Model-based Testing techniques

Porantim: An approach to support the combination and selecti...

引用

International Workshop on Automation of Software Test (AST)

作者： Arilo Claudio Dias Neto Guilherme Horta Travassos Systems Engineering and Computer Science Program-COPPE/UFRJ Federal University of Rio de Janeiro Rio de Janeiro Brazil

The technical literature regarding model-based testing (MBT) has several techniques with different characteristics and goals available to be applied in software projects. Besides the lack of information regarding these techniques, they could be applied together in a software project aiming at improving the testing coverage. However, this decision needs to be carefully analyzed to avoid loss of resources in a software project. Based on this scenario, this paper proposes an approach with the purpose of supporting the unique or combined selection of MBT techniques for a given software project considering two aspects: the adequacy level between MBT techniques and the software project characteristics and impact of more than one MBT technique in some testing process variables. At the end, preliminary results of an experimental evaluation are presented.

关键词： Software testing Automatic testing Software tools System testing Software quality programming Software systems Costs Context modeling systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

On using grid of collocated APs to improve performance of wireless VoD systems

On using grid of collocated APs to improve performance of wi...

引用

5th International Latin American Networking Conference, LANC 2009

作者： De Pinho, Leonardo Bidese De Amorim, Claudio Luis Computer Engineering - Campus Bage UNIPAMPA - Federal University of Pampa P.O. Box 07 Bage RS 96400-970 Brazil COPPE - Systems Engineering Program UFRJ - Federal University of Rio de Janeiro P.O. Box 68.511 Rio de Janeiro RJ 21941-972 Brazil

ISBN: (纸本)9781605587752

In previous work we showed that Collocated Wireless Access Points coupled with appropriate management of their non-overlapping channels could be used for building Scalable Wireless Video-On-Demand (SWVoD) systems within a limited covered area. In this paper, we introduce the Grid of collocated Access Points or simply GAPS, a novel approach that uses clusters of Collocated Access Points as the basic blocks to efficiently build SWVoD systems for a wider covered area. In GAPS, each basic block is responsible for a distinct part of the covered area and the amount of APs per block can be set either statically or dynamically depending on the client concentration pattern (CCP). We present in details the framework of GAPS and report simulated performance results that indicated that GAPS could significantly decrease the blocking rate of video requests in comparison with previous design based on fixed distribution of basic blocks. In addition, GAPS had the advantage of sustaining the lower blockage rate over larger covered areas. Also, we showed that the higher setup cost of dynamic grids was fully compensated by handling changes on CCP much better than the static scheme so that GAPS could generate a higher monthly net income according to our cost metric. Copyright 2009 ACM.

关键词： Video on demand

来源：评论

学校读者我要写书评

暂无评论

SpMT WaveCache: Exploiting Thread-Level Parallelism in WaveScalar

SpMT WaveCache: Exploiting Thread-Level Parallelism in WaveS...

引用

Computer Science and Information engineering, CSIE, WRI World Congress on FLAGGED

作者： Songwen Pei Baifeng Wu Min Du Gang Chen Leandro A.J. Marzulo Felipe M.G. Franca School of Computer Science Fudan University Shanghai China Systems Engineering and Computer Science Program COPPE Rio de Janeiro Brazil

Speculative multithreading (SpMT) increases the performance by means of executing multiple threads speculatively to exploit thread-level parallelism. By combining software and hardware approaches, we have improved the capabilities of previous WaveScalar ISA on the basis of transactional memory system for the WaveCache Architecture. Threads are extracted at the course of static compiling, and speculatively executed as a thread-level transaction that is supported by extra hardware components, such as thread-context-table (TCT) and thread-memory-history (TMH). We have evaluated the SpMT WaveCache with 6 real benchmarks from SPEC, Mediabench and Mibench. On the whole, the SpMT WaveCache outperforms superscalar architecture ranging from 2times to 3times, and great performance gains are achieved over original WaveCache and transactional WaveCache as well.

关键词： Yarn Parallel processing Multithreading Hardware Computer science Computer architecture Instruction sets Out of order program processors Protocols

来源：评论

学校读者我要写书评

暂无评论

A massively parallel hardware architecture for ray-tracing

引用

International Journal of High Performance systems Architecture 2009年第1期2卷 26-34页

作者： Nery, A.S. Nedjah, N. França, F.M.G. Computer Architecture and Microelectronics Laboratory Systems Engineering and Computer Science Program COPPE P.O. Box 68511 21941-972 Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications Faculty of Engineering Universidade do Estado do Rio de Janeiro Rua Sao Francisco Xavier 524 Sala 5145-F Maracana 20.550-900 Rio de Janeiro RJ Brazil Universidade Federal do Rio de Janeiro Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications Faculty of Engineering State University of Rio de Janeiro Brazil Brazil

Real time performance of non-interactive rendering of three-dimensional scenes is usually unachievable. Ray tracing is one of the methods used for rendering such scenes. The performance achieved by a sequential software-based implementation of ray tracing is far from satisfactory. In contrast, many parallel implementations of ray tracing have been enabling real time performance, as the underlying algorithm can be massively parallelised. Thus, it is expected that a custom parallel design in hardware is likely to achieve the acceptable performance standards. In this paper, we propose a hardware architecture, which we call GridRT, capable of dealing with the main desirable features of ray tracing, such as shadows and reflections effects, imposing low requirements in terms of silicon area while achieving acceptable performance in terms of rendering time. This architecture achieves is efficient yet compact as it explores the massive parallelism offered by the intrinsic structure of the algorithm. The design exploits the usage the spatial data structure of regular grids. Copyright © 2009 Inderscience Enterprises Ltd.

关键词： Ray tracing

来源：评论

学校读者我要写书评

暂无评论

Kairos: an architecture for securing authorship and temporal information of provenance Data in Grid-Enabled workflow management systems

Kairos: an architecture for securing authorship and temporal...

引用

4th IEEE International Conference on eScience, eScience 2008

作者： Gadelha Jr., Luiz M.R. Mattoso, Marta Computer and Systems Engineering Program - COPPE Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9780769535357

Secure provenance techniques are essential in generating trustworthy provenance records, where one is interested in protecting their integrity, confidentiality, and availability. In this work, we suggest an architecture to provide protection of authorship and temporal information in grid-enabled provenance systems. It can be used in the resolu-tion of conflicting intellectual property claims, and in the reliable chronological reconstitution of scientific experiments. We observe that some techniques from public key infrastructures can be readily applied for this purpose. We discuss the issues involved in the implementation of such architecture and describe some experiments realized with the proposed techniques. © 2008 IEEE.

关键词： Architecture

来源：评论

学校读者我要写书评

暂无评论

Personal Autonomic Desktop Manager with a circulatory computing approach

Personal Autonomic Desktop Manager with a circulatory comput...

引用

5th IEEE International Workshop on engineering of Autonomic and Autonomous systems

作者： Kopiler, Alberto Arkader Dutra, Ines de Castro Franca, Felipe M. G. Systems Automation Department CEPEL Electric Power Research Center Computer Science Department FCUP Porto University Systems Engineering and Computer Science Program COPPE/UFRJ Federal University of Rio de Janeiro

ISBN: (纸本)9780769531403

In this paper we present the architecture for the Personal Autonomic Desktop Manager, a self managing application designed to act on behalf of the user in several aspects: protection, healing, optimization and configuration. The overall goal of this research is to improve the correlation of the autonomic self* properties and doing so also enhance the overall self-management capacity of the desktop (autonomicity). We introduce the Circulatory Computing (CC) model, a self-managing system initiative based on the biological metaphor of the cardiovascular system, and use its concepts in the design and implementation of the architecture.

关键词： Cardiovascular system

来源：评论

学校读者我要写书评

暂无评论

An Environment to Support Large Scale Experimentation in Software engineering

An Environment to Support Large Scale Experimentation in Sof...

引用

IEEE International Conference on engineering of Complex Computer systems

作者： Guilherme H. Travassos Paulo Sérgio Medeiros dos Santos Paula Gomes Mian Paula Gomes Mian Neto Jorge Biolchini Systems Engineering and Computer Science Program COPPE/UFRJ Brazil COPPE/UFRJ Rio de Janeiro

Experimental studies have been used as a mechanism to acquire knowledge through a scientific approach based on measurement of phenomena in different areas. However it is hard to run such studies when they require models (simulation), produce amount of information, and explore science in scale. In this case, a computerized infrastructure is necessary and constitutes a complex system to be built. In this paper we discuss an experimentation environment that has being built to support large scale experimentation and scientific knowledge management in software engineering.

关键词： Large-scale systems Software engineering Knowledge engineering Knowledge management Distributed computing engineering management Software systems Software quality Area measurement Software measurement

来源：评论

学校读者我要写书评

暂无评论

Supporting the selection of model-based testing approaches for software projects

Supporting the selection of model-based testing approaches f...

引用

3rd International Workshop on Automation of Software Test, AST 2008, held in Conjunction with the 30th International Conference on Software engineering, ICSE 2008

作者： Dias Neto, Arilo Claudio Travassos, Guilherme Horta Federal University of Rio de Janeiro Systems Engineering and Computer Science Program - COPPE/UFRJ P.O. Box 68511 21941-972 Rio de Janeiro RJ Brazil

ISBN: (纸本)9781605580302

Software technologies, such as model-based testing approaches, have specific characteristics and limitations that can affect their use in software projects. To make available knowledge regarding such technologies is important to support the decision regarding their use in software projects. In particular, a choice of model-based testing approach can influence testing success or failure. Therefore, this paper aims at describing knowledge acquired from a systematic review regarding model-based testing approaches and proposing an infrastructure towards supporting their selection for software projects. Copyright 2008 ACM.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

Kairos: An Architecture for Securing Authorship and Temporal Information of Provenance Data in Grid-Enabled Workflow Management systems

Kairos: An Architecture for Securing Authorship and Temporal...

引用

IEEE International Conference on e-Science and Grid Computing

作者： Luiz M.R. Gadelha Jr Marta Mattoso Computer and Systems Engineering Program-COPPE Federal University of Rio de Janeiro Rio de Janeiro Brazil

Secure provenance techniques are essential in generating trustworthy provenance records, where one is interested in protecting their integrity, confidentiality, and availability. In this work, we suggest an architecture to provide protection of authorship and temporal information in grid-enabled provenance systems. It can be used in the resolution of conflicting intellectual property claims, and in the reliable chronological reconstitution of scientific experiments. We observe that some techniques from public key infrastructures can be readily applied for this purpose. We discuss the issues involved in the implementation of such architecture and describe some experiments realized with the proposed techniques.

关键词： Workflow management software Protection Data security Information security Intellectual property Computer architecture Grid computing Digital signatures Distributed computing Mesh generation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：