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

IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW

作者： Arilo Claudio Dias Neto Rosiane de Freitas Rodrigues Guilherme Horta Travassos Computer Science Department Federal University of Amazonas Manaus Brazil Systems Engineering and Computer Science Program-COPPE Federal University of Rio de Janeiro Rio de Janeiro Rio de Janeiro Brazil

The combination of testing techniques is considered an effective strategy to evaluate a software product. However, the selection of which techniques to combine in a software project has been an interesting challenge in the Software engineering field. This paper presents a proposal extending an approach developed to support the combined selection of model-based testing (MBT) techniques, named Porantim, applying Multiobjective Combinatorial Optimization strategy by determining the smallest dominating set in a bipartite and weighted graph. Thus, a local search strategy algorithm is proposed generating solutions aiming at maximizing the coverage of software project characteristics and skills required by the testing team to use the techniques and minimizing the eventual effort to construct models used for test cases generation. A preliminary evaluation analyzes this new approach when compared to the Porantim's original version, and the results indicate improvements in the MBT techniques selection.

关键词： Software Testing Analytical models Software engineering Optimization programming Search problems

来源：评论

学校读者我要写书评

暂无评论

A parallel architecture for ray-tracing with an embedded intersection algorithm

A parallel architecture for ray-tracing with an embedded int...

引用

IEEE International Symposium on Circuits and systems (ISCAS)

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

Real time rendering of three-dimensional scenes in Ray Tracing is a hard problem. However, parallel implementations have been enabling real time performance, as the algorithm can be highly parallelized. Thus, a custom parallel design in hardware is likely to achieve a good performance. In this paper, we further improve the GridRT architecture overall performance by embedding the ray-triangle intersection computation into the precessing elements that form the architecture. Low cost and high rendering performance are the main concerns in this novel design. The results show that the execution time of each intersection computation is reduced by at least 50%, while the area cost is practically unchanged or even reduced when compared to the original GridRT implementation.

关键词： Ray tracing Registers Equations USA Councils Mathematical model Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

WebComposer: a tool for the composition and execution of Web service-based workflows

WebComposer: a tool for the composition and execution of Web...

引用

Proceedings of the Latin American Web Congress (LA-Web)

作者： L.A.G. da Costa P.F. Pires M. Mattoso COPPE-Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil DCC-IM/NCE Federal University of Rio de Janeiro Rio de Janeiro Brazil

We present the WebComposer tool for the automatic composition and execution of Web service-based workflows. We use ontologies to describe and browse workflows. We associate messages and operations with workflow domain concepts using WSDL extensibility. The automatic workflow implementation through WebComposer enables the full separation of the workflow logic and the implementation technology. WebComposer provides the execution of ad-hoc programs by users and the automatic maintenance of these programs, as the available Web services are altered.

关键词： Web services Ontologies Software agents Automatic logic units Semantic Web systems engineering and theory Computer science Web sites Information resources Application software

来源：评论

学校读者我要写书评

暂无评论

Automatic composition of Web services with contingency plans

Automatic composition of Web services with contingency plans

引用

IEEE International Conference on Web Services (ICWS)

The semantic Web technology and the Web services description language extensibility may be combined to describe services in an unambiguous and machine interpretable way, automating Web services discovery, selection and invocation. In this paper, we present an algorithm and a prototype for the automatic composition of Web services that implement workflows described in a high level language. Our approach has many advantages comparing to the manual creation of a simple program composition, such as smaller implementation time and cost, reliability with the generation of contingency plans, greater capacity to evolve with the dynamic service discovery, and faster execution time with the use of heuristics. We use the OWLS ontology to semantically describe Web services metadata and indexes to help selecting them. The proposed algorithm considers that equivalent services may have different interfaces and also respects preferences of the users.

关键词： Web services Semantic Web Ontologies programming profession Prototypes Robustness systems engineering and theory Computer science High level languages Costs

来源：评论

学校读者我要写书评

暂无评论

WANN-Tagger: A weightless artificial neural network tagger for the portuguese language

WANN-Tagger: A weightless artificial neural network tagger f...

引用

作者： Carneiro, Hugo C. C. França, Felipe M. G. Lima, Priscila M. V. Systems Engineering and Computer Science Program/COPPE Universidade Federal do Rio de Janeiro Caixa Postal 68511 21941-972 Rio de Janeiro RJ Brazil Department of Mathematics Universidade Federal Rural do Rio de Janeiro Km 47 Campus Universitário BR-465 23890-000 Seropédica RJ Brazil

ISBN: (纸本)9789898425324

Weightless Artificial Neural Networks have proved to be a promising paradigm for classification tasks. This work introduces the WANN-Tagger, which makes use of weightless artificial neural networks for labelling Portuguese sentences, tagging each of its terms with its respective part-of-speech. A first experimental evaluation using the CETENFolha corpus indicates the usefulness of this paradigm and shows that it outperforms traditional feedforward neural networks in both accuracy and training time, and also that it is competitive in accuracy with the Hidden Markov Model in some cases. Additionally, WANN-Tagger shows itself capable of incrementally learning new tagged sentences during runtime.

关键词： Feedforward neural networks

来源：评论

学校读者我要写书评

暂无评论

A Systematic Review of Cross- vs. Within-Company Cost Estimation Studies 10

A Systematic Review of Cross- vs. Within-Company Cost Estima...

引用

10th International Conference on Evaluation and Assessment in Software engineering, EASE 2006

作者： Kitchenham, Barbara Mendes, Emilia Travassos, Guilherme H. Department of Computer Science Keele University StaffordshireST5 5GB United Kingdom National ICT Australia Locked Bag 9013 AlexandriaNSW1435 Australia Computer Science Department The University of Auckland Private Bag 92019 Auckland New Zealand UFRJ/COPPE Systems Engineering and Computer Science Program Caixa Postal 68511 RJ Rio de Janeiro21941-972 Brazil

OBJECTIVE – The objective of this paper is to determine under what circumstances individual organisations would be able to rely on cross-company based estimation models. METHOD – We performed a systematic review of studies that compared predictions from cross-company models with predictions from within-company models based on analysis of project data. RESULTS – Ten papers compared cross-company and within-company estimation models, however, only seven of the papers presented independent results. Of those seven, three found that cross-company models were as good as within-company models, four found cross-company models were significantly worse than within-company models. Experimental procedures used by the studies differed making it impossible to undertake formal meta-analysis of the results. The main trend distinguishing study results was that studies with small single company data sets (i.e. © EASE *** rights reserved.

关键词： Cost estimating

来源：评论

学校读者我要写书评

暂无评论

Evaluation of the influence of large temperature variations on the grey level content of B-mode images

引用

Physics Procedia 2010年第1期3卷 415-419页

作者： André V. Alvarenga César A. Teixeira Maria Graça Ruano Wagner C.A. Pereira Laboratory of Ultrasound/National Institute of Metrology Standardization and Industrial Quality (Inmetro) Duque de Caxias Brazil Centre for Intelligent Systems/University of Algarve Faro Portugal Biomedical Engineering Program/COPPE Federal University of Rio de Janeiro Rio de Janeiro Brazil

In this work, the variation of the grey-level content of B-Mode images is assessed, when the medium is subjected to large temperature variations. The goal is to understand how the features obtained from the grey-level pattern can be used to improve the actual state-of-the-art methods for non-invasive temperature estimation (NITE). Herein, B-Mode images were collected from a tissue mimic phantom heated in a water bath. Entropy was extracted from image Grey-Level Co-occurrence Matrix, and then assessed for non-invasive temperature estimation. During the heating period, the average temperature varies from 27 ∘ C to 44 ∘ C, and entropy values were capable of identifying variations of 2.0 ∘ C. Besides, it was possible to quantify variations in the range from normal human body temperature (37 ∘ C) to critical values, as 41 ∘ C. Results are promising and encourage us to study the uncertainty associated to the experiment trying to improve the parameter sensibility.

关键词： Non-invasive temperature estimation Grey-level content Image processing techniques Ultrasound

来源：评论

学校读者我要写书评

暂无评论

A Parallel Ray Tracing Architecture Suitable for Application-Specific Hardware and GPGPU Implementations

A Parallel Ray Tracing Architecture Suitable for Application...

引用

Euromicro Symposium on Digital System Design

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

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.

关键词： Ray tracing Graphics processing unit Instruction sets Computer architecture Registers Image color analysis Hardware

来源：评论

学校读者我要写书评

暂无评论

A cryptographic system based on automata for Networked Automation systems abstracted as Discrete-Event systems

A cryptographic system based on automata for Networked Autom...

引用

IEEE International Conference on Automation Science and engineering (CASE)

作者： Marcos V. Moreira Publio M. M. Lima Lilian K. Carvalho Felipe G. Cabral COPPE - Electrical Engineering Program Universidade Federal do Rio de Janeiro Cidade Universitária Rio de Janeiro RJ Brazil Department of Automation and Systems Federal University of Santa Catarina Florianópolis SC Brazil

ISBN: (数字)9798350358513

ISBN: (纸本)9798350358520

One of the main concerns about implementing Networked Automation systems is ensuring its security against cyber-attacks. In this paper, we consider that the Networked Automation System is abstracted as a Discrete-Event System, and we consider cyber-attacks where a malicious agent eavesdrops on a communication channel with the objective of gathering information about the system’s behavior. To protect the information transmitted in the attacked channel, we propose a cryptographic system that uses Mealy automata to represent the encryption and decryption functions. One of the main advantages of representing cryptographic systems using automata is that they can be easily implemented on programmable Logic Controllers, yielding to fast encryption and decryption of the transmitted message.

关键词： Automation Computer aided software engineering programmable logic devices Automata Rotors Communication channels Encryption Discrete-event systems Complexity theory Cyberattack

来源：评论

学校读者我要写书评

暂无评论

Analyzing shotgun proteomic data with patternlab for proteomics

引用

Current Protocols in Bioinformatics 2010年第SUPPL. 30期Chapter 13卷 13.13.1-13.13.15页

作者： Carvalho, Paulo C. Yates III, John R. Barbosa, Valmir C. Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Rio de Janeiro Brazil Brazil Scripps Research Institute La Jolla CA United States

PatternLab for proteomics is a one-stop shop computational environment for analyzing shotgun proteomic data. Its modules provide means to pinpoint proteins/peptides that are differentially expressed and those that are unique to a state. It can also cluster the ones that share similar expression profiles in time-course experiments, as well as help in interpreting results according to Gene Ontology. PatternLab is user-friendly, simple, and provides a graphical user interface. Copyright © 2010 John Wiley & Sons, Inc.

关键词： label-based proteomic analysis label-free proteomic analysis shotgun proteomics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：