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

Component-Based software engineering 1

丛书名： Lecture Notes in computer science

1000年

作者： Ian Gorton George T. Heineman Ivica Crnković Heinz W. Schmidt Judith A. Stafford Clemens Szyperski Kurt Wallnau

ISBN: (数字)9783540356295

ISBN: (纸本)9783540356288

On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based software engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. CBSE 2006 was the ninth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicated Program Committee comprising 27 internationally recognized researchers and industrial practitioners. We received 77 submissions and each paper was reviewed by at least three Program Committee members (four for papers with an author on the Program Committee). The entire reviewing process was supported by Microsoft’s CMT technology. In total, 22 submissions were accepted as full papers and 9 submissions were accepted as short papers. This was the first time CBSE was not held as a co-located event at ICSE. Hence special thanks are due to Ivica Crnkovic for hosting the event. We also wish to thank the ACM Special Interest Group on software engineering (SIGSOFT) for their sponsorship of CBSE 2005. The proceedings you now hold were published by Springer and we are grateful for their support. Finally, we must thank the many authors who contributed the high-quality papers contained within these proceedings.

关键词： software engineering/Programming and Operating Systems software engineering Programming Techniques Programming Languages, Compilers, Interpreters Logics and Meanings of Programs computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Recent Advances in the Message Passing Interface 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Rainer Keller Edgar Gabriel Michael Resch Jack Dongarra

来源：评论

学校读者我要写书评

暂无评论

New Modeling Concepts for Today’s software Processes 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Jürgen Münch Ye Yang Wilhelm Schäfer

ISBN: (数字)9783642143472

ISBN: (纸本)9783642143465

2010 was the first time that the International Conference on software Process was held autonomously and not co-located with a larger conference. This was a special challenge and we are glad that the conference gained a lot of attention, a significant number of contributions and many highly interested participants from industry and academia. This volume contains the papers presented at ICSP 2010 held in Paderborn, G- many, during July 8-9, 2010. ICSP 2010 was the fourth conference of the ICSP series. The conference provided a forum for researchers and industrial practitioners to - change new research results, experiences, and findings in the area of software and system process modeling and management. The increasing distribution of development activities, new development paradigms such as cloud computing, new classes of systems such as cyber-physical systems, and short technology cycles are currently driving forces for the software domain. They require appropriate answers with respect to process models and management, suitable modeling concepts, and an understanding of the effects of the processes in specific environments and domains. Many papers in the proceedings address these issues.

关键词： software engineering/Programming and Operating Systems software engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters computer Communication Networks Programming Techniques

来源：评论

学校读者我要写书评

暂无评论

FM’99 — Formal Methods 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Jeannette M. Wing Jim Woodcock Jim Davies

ISBN: (数字)9783540481188

ISBN: (纸本)9783540665885

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent *** comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.

关键词： Theory of Computation software engineering/Programming and Operating Systems Logics and Meanings of Programs software engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems

来源：评论

学校读者我要写书评

暂无评论

Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-trained Language Models

引用

ACM Transactions on software engineering and Methodology 1000年

作者： Quanjun Zhang Chunrong Fang Yi Zheng Yaxin Zhang Yuan Zhao Rubing Huang Jianyi Zhou Yun Yang Tao Zheng Zhenyu Chen Department of Computing Technologies Swinburne University of Technology Australia and State Key Laboratory for Novel Software Technology Nanjing University China State Key Laboratory for Novel Software Technology Nanjing University China School of Computer Science and Engineering Macau University of Science and Technology China Huawei Cloud Computing Technologies Co. Ltd. China Department of Computing Technologies Swinburne University of Technology Australia State Key Laboratory for Novel Software Technology Nanjing University China and Shenzhen Research Institute of Nanjing University China

Unit testing validates the correctness of the units of the software system under test and serves as the cornerstone in improving software quality and reliability. To reduce manual efforts in writing unit tests, some techniques have been proposed to generate test assertions automatically, including deep learning (DL)-based, retrieval-based, and integration-based ones. Among them, recent integration-based approaches inherit from both DL-based and retrieval-based approaches and are considered state-of-the-art. Despite being promising, such integration-based approaches suffer from inherent limitations, such as retrieving assertions with lexical matching while ignoring meaningful code semantics, and generating assertions with a limited training *** this paper, we propose a novel Retrieval-Augmented Deep Assertion Generation approach, namely RetriGen, based on a hybrid assertion retriever and a pre-trained language model (PLM)-based assertion generator. Given a focal-test, RetriGen first builds a hybrid assertion retriever to search for the most relevant test-assert pair from external codebases. The retrieval process takes both lexical similarity and semantical similarity into account via a token-based and an embedding-based retriever, respectively. RetriGen then treats assertion generation as a sequence-to-sequence task and designs a PLM-based assertion generator to predict a correct assertion with historical test-assert pairs and the retrieved external assertion. Although our concept is general and can be adapted to various off-the-shelf encoder-decoder PLMs, we implement RetriGen to facilitate assertion generation based on the recent CodeT5 model. We conduct extensive experiments to evaluate RetriGen against six state-of-the-art approaches across two large-scale datasets and two metrics. The experimental results demonstrate that RetriGen achieves 57.66% and 73.24% in terms of accuracy and CodeBLEU, outperforming all baselines with an average improvement of 50.66%

关键词： Unit Testing Assertion Generation Pre-trained Language Models AI4SE

来源：评论

学校读者我要写书评

暂无评论

String Processing and Information Retrieval 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Amihood Amir Andrew Turpin Alistair Moffat

ISBN: (数字)9783540890973

ISBN: (纸本)9783540890966

This book constitutes the refereed proceedings of the 15th International Symposium on String Processing and Information Retrieval, SPIRE 2008, held in Melbourne, Australia, in November 2008. The 25 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on compression and performance, information retrieval scoring and ranking, string matching techniques, self-indexing, string matching: space and practicality, information retrieval, non-standard matching, and bioinformatics.

关键词： Data Mining and Knowledge Discovery Programming Techniques Artificial Intelligence Database Management Data Structures Coding and Information Theory

来源：评论

学校读者我要写书评

暂无评论

Advances in Swarm Intelligence 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Ying Tan Yuhui Shi Zhen Ji

ISBN: (数字)9783642309762

ISBN: (纸本)9783642309755

This book and its companion volume, LNCS vols. 7331 and 7332, constitute the proceedings of the Third International Conference on Swarm Intelligence, ICSI 2012, held in Shenzhen, China in June 2012. The 145 revised full papers presented were carefully reviewed and selected from 247 submissions. The papers are organized in 27 cohesive sections covering all major topics of swarm intelligence research and developments.

关键词： Algorithm Analysis and Problem Complexity Information Systems Applications (incl. Internet) Artificial Intelligence Computation by Abstract Devices computer Communication Networks Data Mining and Knowledge Discovery

来源：评论

学校读者我要写书评

暂无评论

Multi-Agent Reinforcement Learning based Edge Content Caching for Connected Autonomous Vehicles in IoV

引用

ACM Transactions on Autonomous and Adaptive Systems 1000年

作者： Xiaolong Xu Linjie Gu Muhammad Bilal Maqbool Khan Yiping Wen Guoqiang Liu Yuan Yuan School of Software Jiangsu Province Engineering Research Center of Advanced Computing and Intelligent Services Nanjing University of Information Science and Technology China Changwang School of Honors Nanjing University of Information Science and Technology China Department of Computer and Electronics Systems Engineering Hankuk University of Foreign Studies Korea Department of IT and Computer Science Pak-Austria Fachhochschule-Institute of Applied Sciences and Technology Pakistan School of Computer Science and Engineering Hunan University of Science and Technology China School of Software Nanjing University of Information Science and Technology China School of Computer Science and Engineering Beihang University State Key Laboratory of Software Development Environment Zhongguancun Laboratory China

Connected Autonomous Vehicle (CAV) Driving, as a data-driven intelligent driving technology within the Internet of Vehicles (IoV), presents significant challenges to the efficiency and security of real-time data management. The combination of Web3.0 and edge content caching holds promise in providing low-latency data access for CAVs’ real-time applications. Web3.0 enables the reliable pre-migration of frequently requested content from content providers to edge nodes. However, identifying optimal edge node peers for joint content caching and replacement remains challenging due to the dynamic nature of traffic flow in IoV. Addressing these challenges, this article introduces GAMA-Cache, an innovative edge content caching methodology leveraging Graph Attention Networks (GAT) and Multi-Agent Reinforcement Learning (MARL). GAMA-Cache conceptualizes the cooperative edge content caching issue as a constrained Markov decision process. It employs a MARL technique predicated on cooperation effectiveness to discern optimal caching decisions, with GAT augmenting information extracted from adjacent nodes. A distinct collaborator selection mechanism is also developed to streamline communication between agents, filtering out those with minimal correlations in the vector input to the policy network. Experimental results demonstrate that, in terms of service latency and delivery failure, the GAMA-Cache outperforms other state-of-the-art MARL solutions for edge content caching in IoV.

关键词： Content Caching Reinforcement Learning Connected Autonomous Driving

来源：评论

学校读者我要写书评

暂无评论

MTree: A Tiering-based Key-Value Store Powered by High-performance Hierarchical Data Management

引用

ACM Transactions on Storage 1000年

作者： Hui Sun Yinhui Chen Yonwei Yu Yajie Deng Yinliang Yue Song Jiang Xiao Qin computer science and technology Anhui University Hefei China Anhui University Hefei China Zhongguancun Laboratory Beijing China Electrical and Computer Engineering Department The University of Texas at Arlington Arlington United States Computer Science and Software Engineering Auburn University Auburn United States

Key-value stores (KV stores) anchored on log-structured merge trees (LSM-tree) provide much improved performance under write-intensive workloads but exhibit significant write amplification (WA). The tiering compaction strategy is widely adopted in KV stores to reduce the WA. However, there are three imminent issues in tiering-based KV stores. First, excessive levels in the LSM-tree structure result in high read and write amplification. Second, without key partitioning support, these KV stores increase write tail latency. Relying solely on a hash-based key partitioning scheme is insufficient, as it does not support range queries. Furthermore, a KV store with only a key range-based partitioning scheme overlooks the distribution of keys within the key space. Third, existing KV stores with level optimization can incur high costs. A common approach to reducing the number of LSM-tree levels is to increase the MemTable size. While this reduces the number of levels, it requires more memory, leading to higher costs. Therefore, it is crucial to balance the trade-off between level optimization and monetary expenses. To address these issues, we propose a tiering-based key-value store, leveraging high-performance hierarchical data management. The key space of our proposed KV store is partitioned into multiple partitions based on key ranges, with an LSM-tree in each partition. We refer to this KV store as MTree in this paper. MTree reduces the number of levels in the LSM-Tree structure close to one without increasing the monetary cost. In MTree, a hierarchical structure that combines the log and LSM-tree curtails the number of levels in the LSM-tree by accumulating the data in the log without increasing the cost. With the hierarchical structure in place, we devise a long- and short-term key density distribution-aware partitioning scheme for the key range. This scheme dynamically adjusts the size of partitioning, balancing data in the partition and storing most data in large-sized

关键词： Key-value store tiering Key density Write amplification Hierarchical data management

来源：评论

学校读者我要写书评

暂无评论

Conceptual Modeling for Advanced Application Domains 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Shan Wang Katsumi Tanaka Shuigeng Zhou Tok-Wang Ling Jihong Guan Dong-qing Yang Fabio Grandi Eleni E. Mangina Il-Yeol Song Heinrich C. Mayr

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：