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

2012 5th International Workshop on Exception Handling, WEH 2012

作者： Rocha, Lincoln S. Andrade, Rossana M. C. Group of Computer Networks Software Engineering and Systems Graduate Program in Computer Science Federal University of Ceará Fortaleza - CE Brazil

ISBN: (纸本)9781467317665

The context-awareness is a central aspect in the design of pervasive systems, characterizing their ability to adapt its structure and behavior. The context-aware exception handling (CAEH) is an existing approach employed to design exception handling in pervasive systems. In this approach, the context is used to define, detect, propagate, and handle exceptions. CAEH is a complex and error prone activity, needing designers' insights and domain expertise to identify and characterize contextual exceptions. However, despite the existence of formal methods to analyze the adaptive behavior of pervasive systems, such methods lack specific support to specify the CAEH behavior. In this paper, we propose a formal model to reason about the CAEH behavior. It comprises an extension of the Kripke Structure to model the context evolution of a pervasive system and a transformation function that derivates the CAEH control flow from that proposed structure. © 2012 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A verification mechanism of feature models for mobile and context-aware software product lines

A verification mechanism of feature models for mobile and co...

引用

5th Brazilian Symposium on Components, Architectures and Reuse, SBCARS 2011

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Werner, Cláudia Graduate Program in Computer Science Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9780769546261

Software Product Lines (SPLs) have been used to develop mobile and context-aware applications, which provide services and data for their users from anywhere and at any time using context information. In SPLs, commonality and variability of a system family are identified and often documented in a feature model. However, the development of a feature model for mobile and context-aware SPLs is not trivial, since it should comprise system and context information. Furthermore, the consistency check of feature models in the considered domain is also complex and demands advanced skills of software engineers. This paper proposes a mechanism to formalize and verify the correctness and consistency of feature models for mobile and context-aware SPLs based on a profile enriched with OCL specifications. © 2011 IEEE.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

Deep Semantic and Attentive Network for Unsupervised Video Summarization

引用

ACM Transactions on Multimedia Computing, Communications and Applications 2022年第2期18卷 1-21页

作者： Zhong, Sheng-Hua Lin, Jingxu Lu, Jianglin Fares, Ahmed Ren, Tongwei College of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China Department of Electrical Engineering Computer Systems Engineering Program Faculty of Engineering at Shoubra Benha University Cairo Egypt State Key Laboratory for Novel Software Technology Nanjing University Nanjing210023 China

With the rapid growth of video data, video summarization is a promising approach to shorten a lengthy video into a compact version. Although supervised summarization approaches have achieved state-of-the-art performance, they require frame-level annotated labels. Such an annotation process is time-consuming and tedious. In this article, we propose a novel deep summarization framework named Deep Semantic and Attentive Network for Video Summarization (DSAVS) that can select the most semantically representative summary by minimizing the distance between video representation and text representation without any frame-level labels. Another challenge associated with video summarization tasks mainly originates from the difficulty of considering temporal information over a long time. Long Short-Term Memory (LSTM) performs well for temporal dependencies modeling but does not work well with long video clips. Therefore, we introduce a self-attention mechanism into our summarization framework to capture the long-range temporal dependencies among the frames. Extensive experiments on two popular benchmark datasets, i.e., SumMe and TVSum, show that our proposed framework outperforms other state-of-the-art unsupervised approaches and even most supervised methods. © 2022 Association for Computing Machinery.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Exploring parallelism in volume ray casting: Understanding the programming issues of multithreaded accelerators

Exploring parallelism in volume ray casting: Understanding t...

引用

2012 International Workshop on programming Models and Applications for Multicores and Manycores, PMAM 2012

作者： Cox, Guilherme Silva, Cleomar Cupertino, Leandro Bentes, Cristiana Farias, Ricardo Department of Computer Science Rutgers University United States Department of Electrical Engineering Pontifical Catholic University of Rio de Janeiro Brazil Department of Systems Engineering State University of Rio de Janeiro Brazil COPPE/Systems Engineering and Computer Science Federal University of Rio de Janeiro Brazil

ISBN: (纸本)9781450312110

Direct volume rendering of irregular 3D datasets demands high computational power and memory bandwidth. Recent research in optimizing volume rendering algorithms are exploring the high processing power offered by a new trend in hardware design: multithreaded accelerator devices. Accelerators like the Graphics Processing Units (GPU) and the Cell Broadband Engine processor (Cell BE) are used as integrated coprocessors, and the off-loading of the application from the CPU to the accelerator offers promising speedups. The difficulty in using these devices, however, is how to program them efficiently, since their architectural features may be completely distinct. In this paper, we present some new architectural-aware algorithms for irregular grid rendering based on the ray casting method, designed for the Cell BE and the GPU. We investigate the ray traversal inside each accelerator in terms of data access, load balancing, and code divergence, and find new opportunities for performance optimizations based on the ray casting specific needs. Our results show that squeezing these architectures for performance reveals their limitations and can significantly improve the ray casting efficiency. © 2012 ACM.

关键词： Parallel architectures

来源：评论

学校读者我要写书评

暂无评论

Toward Parallelization Technique for Stream-based Lossless Data Compression

Toward Parallelization Technique for Stream-based Lossless D...

引用

2023 IEEE International Conference on Big Data, BigData 2023

作者： Kato, Taiki Yamagiwa, Shinichi Wada, Koichi Master's Program in Computer Science Degree Program in Systems and Information Engineering University of Tsukuba Ibalaki Tsukuba Japan University of Tsukuba Faculty of Engineering Information and Systems Ibalaki Tsukuba Japan

ISBN: (纸本)9798350324457

IoT edge platform has become popular in various distributed environments. The edge devices need to communicate BigData among them or with the cloud servers by collaborating with AI technologies for finding events from the applications. Those devices exchange data streams from such as distributed sensors and remote image/video devices. We focus on an acceleration technique for the communication performance using a stream-based lossless data compression technology. This paper proposes a parallelization technique for the compression process in a software environment running on a multicore processor. The technique invokes concurrent compression processes assigned to multiple threads with splitting a data stream to chunks. The paper exposes three scheduling methods for assigning the chunks to the threads: in-order, hybrid and out-of-order. As an original data order of chunks must be obtained in decompression side, the proposed technique introduces packeting mechanisms in each chunk by adding headers to support the scheduling methods. Through experimental performance evaluations, we discuss the packeting overhead focusing on compression ratio and speedup by the parallelization with three scheduling methods. © 2023 IEEE.

关键词： Data Stream IoT Lossless Data Compression Multi-Threading Parallelization

来源：评论

学校读者我要写书评

暂无评论

Understanding the performance of DSM applications 1st

引用

1st Workshop on Communication and Architectural Support for Network-based Parallel Computing, CANPC 1997

作者： Meira, Wagner Leblanc, Thomas J. Hardavellas, Nikolaos Amorim, Clgudio Department of Computer Science University of Rochester RochesterNY14627 United States COPPE Systems Engineering UFRJ Rio de Janeiro21945-970 Brazil

ISBN: (纸本)3540625739

Carnival is a performance measurement and analysis tool that assists users in understanding the performance of DSM applications and protocols. Using traces of program executions, Carnival presents performance data as a hierarchy of execution profiles. During analysis, Carnival automates the inference process that relates performance phenomena to specific causes in the source code or DSM protocol using techniques that focus on the two most important sources of overhead in DSM systems: waiting time analysis identifies the causes of synchronization overhead, and produces an explanation for each source of waiting time in the program;communication analysis identifies the sequence of requests that result in invalidations, and produces an explanation for each source of communication. We describe these techniques and their implementation in TreadMarks, and show how to use waiting time analysis and communication analysis to improve the running time of two programs froIn the SPLASH application snite when executed on DEC Alphas connected by a DEC Memory Channel network. © Springer-Verlag Berlin Heidelberg 1997.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Performance Enhancement of Stream-Based Decompression Process by Notifying Compression Buffer Size 28

Performance Enhancement of Stream-Based Decompression Proces...

引用

28th IEEE Symposium on computers and Communications, ISCC 2023

作者： Kato, Taiki Yamagiwa, Shinichi Marumo, Koichi University of Tsukuba Master's Program in Computer Science Degree Program in Systems and Information Engineering Ibalaki Tsukuba Japan University of Tsukuba Faculty of Engineering Information and Systems Ibalaki Tsukuba Japan

ISBN: (纸本)9798350300482

This paper focuses on a performance enhancement of communication performance by compressing data stream. ASE coding is an effective lossless data compression method for data stream. The software implementation of the coding/decoding method inevitably meets a performance mismatch in memory and storage devices. In the compressor side, it is predictable to decide the size of an original data block and is available to process a flexible buffer memory. However, the decompressor is not able to predict the buffer size because the original data size is not obvious before the decompression. This causes a performance mismatch in the filesystem level. This paper proposes a novel method to address the performance mismatch by applying a notification mechanism of compression size from the compressor. This paper describes the mechanism focusing on the system call usage. Through experimental evaluations, we show the performance improvement of the decompression performance for handling data stream. © 2023 IEEE.

关键词： Virtual storage

来源：评论

学校读者我要写书评

暂无评论

A computational framework for supporting software inspections 04

A computational framework for supporting software inspection...

引用

IEEE International Conference on Automated Software engineering (ASE)

作者： M. Kalinowski G.H. Travassos Systems Engineering and Computer Science COPPE/UFRJ Brazil

ISBN: (纸本)9780769521312

Software inspections improve software quality by the analysis of software artifacts, detecting their defects for removal before these artifacts are delivered to the following software life cycle activities. Some knowledge regarding software inspections have been acquired by empirical studies. However, we found no indication that computational support for the whole software inspection process using appropriately such knowledge is available. This paper describes a computational framework whose requirements set was derived from knowledge acquired by empirical studies to support software inspections. To evaluate the feasibility of such framework, two studies have been accomplished: one case study, which has shown the feasibility of using the framework to support inspections, and an experimental study that evaluated the supported software inspection planning activity. Preliminary results of this experimental study suggested that unexperienced subjects are able to plan inspections with higher defect detection effectiveness, and in less time, when using this computational framework.

关键词： Inspection Software quality Proposals systems engineering and theory computer science Costs Decision making Software performance Processor scheduling Guidelines

来源：评论

学校读者我要写书评

暂无评论

Who is right? Evaluating empirical contradictions in the readability & comprehensibility of source code 20

Who is right? Evaluating empirical contradictions in the rea...

引用

20th Ibero-American Conference on Software engineering, CIbSE 2017

作者： Ribeiro, Talita Vieira Travassos, Guilherme Horta PESC/COPPE/UFRJ - Systems Engineering and Computer Science Program Centro de Tecnologia Federal University of Rio de Janeiro Cidade Universitária Bloco H Sala 319 Rio de Janeiro RJ Brazil

ISBN: (纸本)9789873806988

Context: Several code guidelines aim at providing a common perspective on the readability and comprehensibility of source code. However, in many cases, they are contradictory on how to improve these quality characteristics. Objective: To analyze the influence of three contradictory source code attributes - indentation spacing, identifier length and code size - on the source code reada-bility and comprehensibility, interpreting whether programming experience and domain knowledge can support explaining these contradictions. Method: To per-form an empirical study with software developers collecting quantitative (Likert scale) and qualitative data to assess the readability and comprehensibility of de-velopers regarding Python snippets. To observe eventual perceptions contradic-tions and whether their levels of experience and knowledge have something to do with such contrary results. Results: Regardless their programming experience, 4-spaces indentation dominated the readability preference of participants. While the readability and comprehensibility preferences towards long and complete-word identifiers were mostly true for both novice/experts, developers with more experience and low domain knowledge level seemed to be more affected by the length of identifiers. Furthermore, while all participants showed more positive comprehensibility perceptions for Pythin snippets with more lines of code, their readability perceptions regardnig code size were contradictory since the less experienced participants preferred more lines of code and the more experienced ones prefer fewer lines. Conclusion: The results presented in the technical literature seemed to be caused by the interchangeable use of the readability and comprehensibility concepts. Further investigation is still needed to observe whether other confounding factors might support the explanation of such contrary results.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

Correntropy-Based Data Selective Adaptive Filtering

引用

IEEE Transactions on Circuits and systems I: Regular Papers 2024年第2期71卷 754-766页

作者： Chien, Ying-Ren Wu, Sheng-Teng Tsao, Hen-Wai Diniz, Paulo S.R. Adaptive and Autonomous Communication Laboratory Department of Electrical Engineering National Ilan University Yilan City260007 Taiwan College of Electrical Engineering and Computer Science Graduate Institute of Communication Engineering National Taiwan University Taipei10617 Taiwan Program of Electrical Engineering Department of Electronics and Computer Engineering COPPE/Poli Universidade Federal do Rio de Janeiro Rio de Janeiro68504 Brazil

Data selection can be used in conjunction with adaptive filtering algorithms to avoid unnecessary weight updating and thereby reduce computational overhead. This paper presents a novel correntropy-based data selection method as an alternative to conventional data selection mechanisms based on squared error values. We developed a variable correntropy sensing algorithm to maximize the instantaneous correntropy function for the Gaussian kernel function to mitigate the impact of impulse noise and other forms of noise that can be disregarded in data selection. The proposed data selection mechanism can be implemented with any adaptive filtering algorithm. In simulations, the proposed method (implemented with the least mean squared algorithm) outperformed comparable error-based data selection schemes in terms of hit rate and miss rate, and the resulting weight updating ratio was close to the expected weight updating ratio. © 2023 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission.

关键词： Adaptive filters

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：