Withthe intelligent and networked vehicles, the control of fused traffic information brings new opportunities for fuel cell vehicle energy optimization. In this paper, we use the vehicle-road cooperative system to co...
详细信息
Memory-unsafe programming languages, such as C and C++, remain indispensable due to their performance and memory management advantages. Several studies addressed the memory safety issues by proposing hardware-assisted...
详细信息
Aiming at the high security and high energy consumption risks of downlink multiple input single output (MISO) systems assisted by intelligent reflecting surface (IRS), the transmission beamforming of the base station(...
详细信息
the cooling chain system of a nuclear power plant is a highly intricate system, aiming to efficiently dissipate residual heat from the nuclear power plant. Discrepancies between the capacity of the cooling chain syste...
详细信息
As computer technology and numerical algorithms rapidly develop, the role of computational fluid dynamics (CFD) in the fields of mechanical and aerospace engineering has become increasingly prominent. However, the out...
详细信息
this volume constitutes the thoroughly refereed post-conference proceedings of the 7thinternationalconference on Verified Software: theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA...
详细信息
ISBN:
(数字)9783319296135
ISBN:
(纸本)9783319296128
this volume constitutes the thoroughly refereed post-conference
proceedings of the 7thinternationalconference on Verified Software:
theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.;the 12 revised full papers presented were carefully revised and selected from 25 submissions.;the goal of this conference is to advance the state of the art
in the science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
We extend Umple, a model-oriented programming language, to incorporate text emission from templates as an integral feature. Umple as a template language (Umple-TL) is the term we use to describe the template sublangua...
详细信息
the goal of the research on fetal health categorization using machine learning is to create a model that can precisely predict the condition of a fetus during pregnancy. this is crucial because prompt action following...
详细信息
Many dynamic programming approaches are existing for 1-0 Knapsack problem (KP) for fast GPU-based solution. these dynamic programming methods can be used for solving the problem of Bounded Knapsack Problem (BKP) after...
详细信息
the amount of data produced at educational institutions today is growing quickly. It is challenging to analyze the student performance from the vast amount of data using conventional data processing methods. One can q...
详细信息
暂无评论