检索结果-南通市图书馆

Minimal Context-Switching Data Race Detection with Dataflow Tracking

Journal of Computer science & Technology 2024年第1期39卷 211-226页

作者：郑龙李洋辛杰刘海峰郑然廖小飞金海 National Engineering Research Center for Big Data Technology and System School of Computer Science and Technology Huazhong University of Science and TechnologyWuhan 430074China Services computing Technology and System laboratory School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China Cluster and Grid computing laboratory School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China

Data race is one of the most important concurrent anomalies in multi-threaded *** con-straint-based techniques are leveraged into race detection,which is able to find all the races that can be found by any oth-er sound race ***,this constraint-based approach has serious limitations on helping programmers analyze and understand data ***,it may report a large number of false positives due to the unrecognized dataflow propa-gation of the ***,it recommends a wide range of thread context switches to schedule the reported race(in-cluding the false one)whenever this race is exposed during the constraint-solving *** ad hoc recommendation imposes too many context switches,which complicates the data race *** address these two limitations in the state-of-the-art constraint-based race detection,this paper proposes DFTracker,an improved constraint-based race detec-tor to recommend each data race with minimal thread context ***,we reduce the false positives by ana-lyzing and tracking the dataflow in the *** this means,DFTracker thus reduces the unnecessary analysis of false race *** further propose a novel algorithm to recommend an effective race schedule with minimal thread con-text switches for each data *** experimental results on the real applications demonstrate that 1)without removing any true data race,DFTracker effectively prunes false positives by 68%in comparison with the state-of-the-art constraint-based race detector;2)DFTracker recommends as low as 2.6-8.3(4.7 on average)thread context switches per data race in the real world,which is 81.6%fewer context switches per data race than the state-of-the-art constraint based race ***,DFTracker can be used as an effective tool to understand the data race for programmers.

关键词： data race satisfiability modulo theory multi-threaded program dynamic detection

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Global Solvability for a Predator-Prey Model with Prey-Taxis and Rotational Flux Terms

引用

Chinese Annals of Mathematics,Series B 2024年第2期45卷 297-318页

作者： Guoqiang REN Bin LIU School of Mathematics and Statistics Huazhong University of Science and Technology Hubei Key laboratory of Engineering Modeling and Scientific computing Huazhong Universityof Science and Technology

In this paper the author investigates the following predator-prey model with prey-taxis and rotational?ux terms■in a bounded domain with smooth *** presents the global existence of generalized solutions to the model... 详细信息

关键词： Predator-prey Prey-taxis Giopal existence Kotational flnux

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Towards High-Performance Graph Processing: From a Hardware/Software Co-Design Perspective

引用

Journal of Computer science & Technology 2024年第2期39卷 245-266页

作者：廖小飞赵文举金海姚鹏程黄禹王庆刚赵进郑龙张宇邵志远 National Engineering Research Center for Big Data Technology and System School of Computer Science and Technology Huazhong University of Science and TechnologyWuhan 430074China Services computing Technology and System laboratory School of Computer Science and Technology Huazhong University of Science and TechnologyWuhan 430074China Cluster and Grid computing laboratory School of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan 430074China Zhejiang Lab Hangzhou 311121China

Graph processing has been widely used in many scenarios,from scientific computing to artificial *** processing exhibits irregular computational parallelism and random memory accesses,unlike traditional ***,running graph processing workloads on conventional architectures(e.g.,CPUs and GPUs)often shows a significantly low compute-memory ratio with few performance benefits,which can be,in many cases,even slower than a specialized single-thread graph *** domain-specific hardware designs are essential for graph processing,it is still challenging to transform the hardware capability to performance boost without coupled software *** article presents a graph processing ecosystem from hardware to *** start by introducing a series of hardware accelerators as the foundation of this ***,the codesigned parallel graph systems and their distributed techniques are presented to support graph ***,we introduce our efforts on novel graph applications and hardware *** results show that various graph applications can be efficiently accelerated in this graph processing ecosystem.

关键词： graph processing hardware accelerator software system high performance ecosystem

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Method and Practice of Trusted Embedded computing and Data Transmission Protection Architecture Based on Android

引用

Chinese Journal of Electronics 2024年第3期33卷 623-634页

作者： Yichuan WANG Wen GAO Xinhong HEI Yanning DU School of Computer science and Engineering Xi'an University of Technology Shaanxi Key laboratory for Network computing and Security Technology

In recent years,the rapid development of Internet technology has constantly enriched people's daily life and gradually changed from the traditional computer terminal to the mobile *** with it comes the security problems brought by the mobile *** for Android system,due to its open source nature,malicious applications continue to emerge,which greatly threatens the data security of ***,this paper proposes a method of trusted embedded static measurement and data transmission protection architecture based on Android to reduce the risk of data leakage in the process of terminal storage and *** conducted detailed data and feasibility analysis of the proposed method from the aspects of time consumption,storage overhead and *** experimental results show that this method can detect Android system layer attacks such as self-booting of the malicious module and improve the security of data encryption and transmission process *** with the native system,the additional performance overhead is small.

关键词： Embedded computing Protocols Data security Computer architecture Encryption Internet Data communication

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Reinforcement Learning-Empowered Graph Convolutional Network Framework for Data Integrity Attack Detection in Cyber-Physical Systems

引用

CSEE Journal of Power and Energy Systems 2024年第2期10卷 797-806页

作者： Edeh Vincent Mehdi Korki Mehdi Seyedmahmoudian Alex Stojcevski Saad Mekhilef School of science Computingand Engineering TechnologiesSwinburne University of TechnologyMelbourneAustralia

The massive integration of communication and information technology with the large-scale power grid has enhanced the efficiency, safety, and economical operation of cyber-physical systems. However, the open and diversified communication environment of the smart grid is exposed to cyber-attacks. Data integrity attacks that can bypass conventional security techniques have been considered critical threats to the operation of the grid. Current detection techniques cannot learn the dynamic and heterogeneous characteristics of the smart grid and are unable to deal with non-euclidean data types. To address the issue, we propose a novel Deep-Q-Network scheme empowered with a graph convolutional network (GCN) framework to detect data integrity attacks in cyber-physical systems. The simulation results show that the proposed framework is scalable and achieves higher detection accuracy, unlike other benchmark techniques.

关键词： Deep reinforcement learning graph convolutional network heterogeneous smart grid network

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Spontaneous Infection and Periodic Evolving of Domain in a Diffusive SIS Epidemic Model

引用

Acta Mathematicae Applicatae Sinica 2024年第1期40卷 164-191页

作者： Qiang Wen Guo-qiang Ren Bin Liu School of Mathematics and Statistics Huazhong University of Science and TechnologyWuhan430074China Hubei Key laboratory of Engineering Modeling and Scientific computing Huazhong University of Science and TechnologyWuhan430074China

In this paper, we consider a susceptible-infective-susceptible(SIS) reaction-diffusion epidemic model with spontaneous infection and logistic source in a periodically evolving domain. Using the iterative technique,the uniform boundedness of solution is established. In addition, the spatial-temporal risk index R0(ρ) depending on the domain evolution rate ρ(t) as well as its analytical properties are discussed. The monotonicity of R0(ρ)with respect to the diffusion coefficients of the infected dI, the spontaneous infection rate η(ρ(t)y) and interval length L is investigated under appropriate conditions. Further, the existence and asymptotic behavior of periodic endemic equilibria are explored by upper and lower solution method. Finally, some numerical simulations are presented to illustrate our analytical results. Our results provide valuable information for disease control and prevention.

关键词： diffusive SIS model spontaneous infection periodically evolving domain periodic endemic equilibrium

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Stabilization and Blow-up in an Infinite Memory Wave Equation with Logarithmic Nonlinearity and Acoustic Boundary Conditions

引用

Journal of Systems science & Complexity 2024年第4期37卷 1368-1391页

作者： PENG Qingqing ZHANG Zhifei School of Mathematics and Statistics Huazhong University of Science and TechnologyWuhan 430074China Hubei Key laboratory of Engineering Modeling and Scientific computing Huazhong University of Science and TechnologyWuhan 430074China

In this paper,the authors consider the stabilization and blow up of the wave equation with infinite memory,logarithmic nonlinearity and acoustic boundary *** authors discuss the existence of global solutions for the initial energy less than the depth of the potential well and investigate the energy decay estimates by introducing a Lyapunov ***,the authors establish the finite time blow up results of solutions and give the blow up time with upper bounded initial energy.

关键词： Acoustic boundary condition finite time blow-up general decay infinite memory logarithmic nonlinearity

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Designing Proportional-Integral Consensus Protocols for Second-Order Multi-Agent Systems Using Delayed and Memorized State Information

引用

IEEE/CAA Journal of Automatica Sinica 2024年第4期11卷 878-892页

作者： Honghai Wang Qing-Long Han the College of Information science and Engineering State Key Laboratory of Synthetical Automation for Process IndustriesNortheastern UniversityShenyang 110819China the School of science Computing and Engineering TechnologiesSwinburne University of TechnologyMelbourneVIC 3122Australia

This paper is concerned with consensus of a secondorder linear time-invariant multi-agent system in the situation that there exists a communication delay among the agents in the network.A proportional-integral consensus protocol is designed by using delayed and memorized state *** the proportional-integral consensus protocol,the consensus problem of the multi-agent system is transformed into the problem of asymptotic stability of the corresponding linear time-invariant time-delay *** that the location of the eigenvalues of the corresponding characteristic function of the linear time-invariant time-delay system not only determines the stability of the system,but also plays a critical role in the dynamic performance of the *** this paper,based on recent results on the distribution of roots of quasi-polynomials,several necessary conditions for Hurwitz stability for a class of quasi-polynomials are first *** allowable regions of consensus protocol parameters are *** necessary and sufficient conditions for determining effective protocol parameters are *** designed protocol can achieve consensus and improve the dynamic performance of the second-order multi-agent ***,the effects of delays on consensus of systems of harmonic oscillators/double integrators under proportional-integral consensus protocols are ***,some results on proportional-integral consensus are derived for a class of high-order linear time-invariant multi-agent systems.

关键词： Consensus protocol Hurwitz stability multi-agent systems quasi-polynomials time delay

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Qubit Mapping Based on Tabu Search

引用

Journal of Computer science & Technology 2024年第2期39卷 421-433页

作者：蒋慧邓玉欣徐鸣 Shanghai Key laboratory of Trustworthy computing East China Normal UniversityShanghai 200062China

The goal of qubit mapping is to map a logical circuit to a physical device by introducing additional gates as few as possible in an acceptable amount of *** present an effective approach called Tabu Search Based Adjustment(TSA)algorithm to construct the *** consists of two key steps:one is making use of a combined subgraph isomorphism and completion to initialize some candidate mappings,and the other is dynamically modifying the mappings by *** experiments show that,compared with state-of-the-art methods,TSA can generate mappings with a smaller number of additional gates and have better scalability for large-scale circuits.

关键词： quantum computing qubit mapping initial mapping tabu search logical circuit

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A proof system of the CaIT calculus

引用

Frontiers of Computer science 2024年第2期18卷 123-137页

作者： Ningning CHEN Huibiao ZHU Shanghai Key laboratory of Trustworthy computing East China Normal UniversityShanghai 200062China

The Internet of Things(IoT)can realize the interconnection of people,machines,and things anytime,*** of the existing research mainly focuses on the practical applications of IoT,and there is a lack of research on modeling and reasoning about IoT systems from the perspective of formal ***,the Calculus of the Internet of Things(CaIT)has been proposed to specify and analyze IoT systems before the actual implementation,which can effectively improve development efficiency,and enhance system quality and *** verify the correctness of IoT systems described by CaIT,this paper presents a proof system for CaIT,in which specifications and verifications are based on the extended Hoare Logic with ***,we explore the cooperation between isolated proofs to validate the postconditions of the communication actions occurring in these proofs,with a particular focus on broadcast *** also demonstrate the soundness of our proof system.A simple“smart home”is given to illustrate the availability of our proof system.

关键词： Internet of Things(loT) Calculus of the Internet of Things(CalT) extended hoare logic cooperation smart home

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：