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

9th International Workshop on Developments in Computational Models, DCM 2013

作者： Benevides, Mario Lima, Isaque Nader, Rafael Rougemont, Pedro Systems and Computer Engineering Program and Computer Science Department Federal University of Rio de Janeiro Brazil

In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adopting at each moment so that we can increase the player's odds. To achieve that we use Markov games combined with hidden Markov model. We discuss a hypothetical example of a tennis game whose solution can be applied to any game with similar characteristics. © M. Benevides, I. Lima, R. Nader & P. Rougemont This work is licensed under the Creative Commons Attribution License.

关键词： Tennis

来源：评论

学校读者我要写书评

暂无评论

Odyssey-VCS: A flexible version control system for UML model elements 05

Odyssey-VCS: A flexible version control system for UML model...

引用

12th International Workshop on Software Configuration Management, SCM 2005

作者： Oliveira, Hamilton Murta, Leonardo Werner, Cláudia COPPE/UFRJ - Systems Engineering and Computer Science Program Federal University of Rio de Janeiro P.O. Box 68511 21945-970 Rio de Janeiro Brazil

ISBN: (纸本)1595933107

Many current version control systems use a simple data model that is barely sufficient to manipulate source-code. This simple data model is not sufficient to provide versioning capabilities for software modeling environments, which are strongly focused on analysis and architectural design artifacts. In this work, we introduce a flexible version control system for UML model elements. This version control system, named Odyssey-VCS, deals with the complex data model used by UML-based CASE tools. Moreover, it allows the configuration of both the unit of versioning and unit of comparison for each specific project, respecting the different needs of the diverse development scenarios. Copyright © 2005 ACM.

关键词： Information management

来源：评论

学校读者我要写书评

暂无评论

Porantim: An approach to support the combination and selection of model-based testing techniques

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

引用

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

来源：评论

学校读者我要写书评

暂无评论

Static packet routing in NoC platform using ACO-based algorithms

Static packet routing in NoC platform using ACO-based algori...

引用

13th International Conference on Intelligent Data engineering and Automated Learning, IDEAL 2012

作者： Silva Jr., Luneque Nedjah, Nadia De Macedo Mourelle, Luiza Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications State University of Rio de Janeiro Brazil Department of Systems Engineering and Computation State University of Rio de Janeiro Brazil

ISBN: (纸本)9783642326387

Networks-on-Chip (NoC) have been used as an interesting option in design of communication infrastructures for embedded systems, providing a scalable structure and balancing the communication between cores. Because several data packets can be transmitted simultaneously through the network, an efficient routing strategy must be used in order to avoid congestion delays. In this paper, ant colony algorithms were used to find and optimize routes in a mesh-based NoC, where several randomly generated applications have been mapped. The routing optimization is driven by the minimization of total latency in packets transmission between tasks. The simulation results show the effectiveness of the ant colony inspired routing by comparing it with general purpose algorithms for deadlock free routing. © 2012 Springer-Verlag.

关键词： Ant colony optimization

来源：评论

学校读者我要写书评

暂无评论

A reconfigurable ray-tracing Multi-Processor SoC with hardware replication-aware instruction set extension

A reconfigurable ray-tracing Multi-Processor SoC with hardwa...

引用

13th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2013

作者： Nery, Alexandre S. Nedjah, Nadia França, Felipe M.G. Jozwiak, Lech Corporaal, Henk LAM - Computer Architecture and Microeletronics Laboratory Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications Faculty of Engineering State University of Rio de Janeiro Brazil Department of Electrical Engineering - Electronic Systems Eindhoven University of Technology Netherlands

ISBN: (纸本)9783319038582

Application code and processor parallelization, together with instruction set customization, are the most common and effective ways to enhance the performance and efficiency of application-specific processors (ASIPs). Both the effective code parallelization and data/task parallelism exploitation, as well as effective instruction set customization, enable an ASIP to achieve a significant performance improvement using limited extra hardware resources. However, a naive parallelization or instruction set customization may not result in the required performance improvement, leading to a waste of computing and energy resources. Therefore, when performing parallelization or custom instruction selection, complex tradeoffs between processing speed, circuit area and power consumption must be closely observed. In this paper, we propose and discuss an efficient ASIP-based Multi-Processor System-on-a-Chip (MPSoC) design for ray-tracing, exploiting application parallelism and hardware replication-aware instruction set customization. Without hardware sharing among the custom instructions units, the proposed parallel ray-tracer MPSoC design with custom instructions achieves 77% speed up in comparison to a single microprocessor design with the default instruction set. However, with the replication-aware instruction set customization, the speed up increases to 81%. © Springer International Publishing Switzerland 2013.

关键词： Integrated circuit design

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A parallel Ray Tracing architecture suitable for application-specific hardware and GPGPU implementations

A parallel Ray Tracing architecture suitable for application...

引用

2011 14th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2011

作者： Nery, Alexandre S. Nedjah, Nadia Franca, Felipe M.G. Jozwiak, Lech LAM - Computer Architecture and Microelectronics Laboratory Systems Engineering and Computer Science Program COPPE Universidade Federal Rio de Janeiro Brazil Department of Electronics Engineering and Telecommunications Faculty of Engineering Universidade do Estado Rio de Janeiro Brazil Department of Electrical Engineering - Electronic Systems Eindhoven University of Technology Netherlands

ISBN: (纸本)9780769544946

The Ray Tracing rendering algorithm can produce high-fidelity images of 3-D scenes, including shadow effects, as well as reflections and transparencies. This is currently done at a processing speed of at most 30 frames per second. Therefore, actual implementations of the algorithm are not yet suitable for interactive real-time rendering, which is required in games and virtual reality based applications. Fortunately, the algorithm allows for massive parallelization of its computations. In this paper, we present a parallel architecture for ray tracing based on a uniform spatial subdivision of the scene and exploiting an embedded computation of ray-triangle intersections. This approach allows for a significant acceleration of intersection computations, as well as, a reduction of the total number of the required intersections checks. Furthermore, it allows for these checks to be performed in parallel and in advance for each ray. In this paper we discuss and analyze an ASIP-based implementation using FPGAs and a GPGPU-based parallel implementation of the proposed architecture. The performance of both implementations are reported and compared." © 2011 IEEE.

关键词： Ray tracing

来源：评论

学校读者我要写书评

暂无评论

Emergent dimer-model topological order and quasi-particle excitations in liquid crystals: combinatorial vortex lattices

arXiv

引用

arXiv 2025年

作者： Meng, Cuiling Wu, Jin-Sheng Kos, Žiga Dunkel, Jörn Nisoli, Cristiano Smalyukh, Ivan I. Department of Physics and Chemical Physics Program University of Colorado BoulderCO80309 United States Hiroshima University Hiroshima Higashihiroshima Japan Department of Mathematics Massachusetts Institute of Technology CambridgeMA02139 United States Faculty of Mathematics and Physics University of Ljubljana Ljubljana Slovenia Department of Condensed Matter Physics Jožef Stefan Institute Ljubljana Slovenia Theoretical Division Physics of Condensed Matter and Complex Systems Center For Nonlinear Studies Los Alamos National Laboratory Los AlamosNM87545 United States Department of Electrical Computer and Energy Engineering Materials Science and Engineering Program University of Colorado BoulderCO80309 United States Renewable and Sustainable Energy Institute National Renewable Energy Laboratory University of Colorado BoulderCO80309 United States

Liquid crystals have proven to provide a versatile experimental and theoretical platform for studying topological objects such as vortices, skyrmions, and hopfions. In parallel, in hard condensed matter physics, the concept of topological phases and topological order has been introduced in the context of spin liquids to investigate emergent phenomena like quantum Hall effects and high-temperature superconductivity. Here, we bridge these two seemingly disparate perspectives on topology in physics. Combining experiments and simulations, we show how topological defects in liquid crystals can be used as versatile building blocks to create complex, highly degenerate topological phases, which we refer to as ‘Combinatorial Vortex Lattices’ (CVLs). CVLs exhibit extensive residual entropy and support locally stable quasi-particle excitations in the form of charge-conserving topological monopoles, which can act as mobile information carriers and be linked via Dirac strings. CLVs can be rewritten and reconfigured on demand, endowed with various symmetries, and modified through laser-induced topological surgery — an essential capability for information storage and retrieval. We demonstrate experimentally the realization, stability, and precise optical manipulation of CVLs, thus opening new avenues for understanding and technologically exploiting higher-hierarchy topology in liquid crystals and other ordered media. Copyright © 2025, The Authors. All rights reserved.

关键词： Laser surgery

来源：评论

学校读者我要写书评

暂无评论

The influence of human capabilities in effort estimation of business processes modeling projects

The influence of human capabilities in effort estimation of ...

引用

5th International Conference on Research and Practical Issues of Enterprise Information systems, CONFENIS 2011

作者： Dutra, José Roberto De Barros, Márcio O. Santoro, Flávia Maria Magdaleno, Andréa M. Cappelli, Claudia Nunes, Vanessa Klussman, Felipe Postgraduate Information Systems Program UNIRIO Brazil NP2Tec Research and Practice Group in Information Technology UNIRIO Rio de Janeiro RJ Brazil COPPE UFRJ Systems Engineering and Computer Science Program Rio de Janeiro RJ Brazil

ISBN: (纸本)9780415631310

Business processes modeling projects are increasingly widespread in organizations, which usually invest much in hiring expert consultants to do such job. These consultants come from various organizations, and have different experiences on how to perform the same activity. This paper analyzes how human-related capabilities influence the effort required to conduct a business process modeling project and discusses the results obtained from about 50 projects executed in a large Brazilian company. © 2012 Taylor & Francis Group, London.

关键词： systems engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：