Results 21 to 30 of about 877,646 (303)

Correct Code Containing Containers [PDF]

, 2011
For critical software development, containers such as lists, vectors, sets or maps are an attractive alternative to ad-hoc data structures based on pointers. As standards like DO-178C put formal verification and testing on an equal footing, it is important to give users the ability to apply both to the verification of code using containers.
Dross, Claire, Filliâtre, Jean-Christophe, Moy, Yannick   +2 more
openaire   +2 more sources

Equilibrium rotation of a vortex bundle terminating on a lateral wall

, 2011
The paper investigates possibility of equilibrium solid-body rotation of a vortex bundle diverging at some height from a cylinder axis and terminating on a lateral wall of a container.
E. B. Sonin, E. B. Sonin, I. M. Khalatnikov, L. D. Landau, R. Donnelly, S. K. Nemirovskii, T. Sh. Misirpashaev, T. Sh. Misirpashaev   +7 more
core   +1 more source

Engineering Design Analysis of Large-Scale Wind Turbine in a Port

南方能源建设
[Introduction] Ports are facing significant electricity demand and carbon reduction pressure. The abundant wind energy resources in port areas make wind power highly promising for port applications. The site selection and design of wind turbines directly
Daogui TANG, Yao KE, Qianneng ZHANG, Jiangyuan LI, Haohuan YU, Linjie ZHU   +5 more
doaj   +1 more source

K-TAHP: A Kubernetes Load Balancing Strategy Base on TOPSIS+AHP

IEEE Access, 2023
Kubernetes is an orchestration platform designed for containerized applications,allows the application provider to scale automatically to match the flfluctuating intensity of processing demand. Container cluster technology is used to encapsulate, isolate,
Rong Gao, Xiaolan Xie, Qiang Guo
doaj   +1 more source

Performance Evaluation of Deep Learning Tools in Docker Containers

, 2017
With the success of deep learning techniques in a broad range of application domains, many deep learning software frameworks have been developed and are being updated frequently to adapt to new hardware features and software libraries, which bring a big ...
Chu, Xiaowen, Shi, Shaohuai, Xu, Pengfei
core   +1 more source

BVGA-Net: Lightweight Network Coupling BiLoop Vector-Mixed Gradient Aggregation for Quayside Crane Driver State Detection Against Complex Cockpit Interference

IEEE Access
Driver state detection in port quayside cranes faces challenges from complex cockpit backgrounds and lightweight deployment needs. We proposed a lightweight detection network BVGA-Net based on an improved receptive-field attention mechanism and multi ...
Yong Zhang, Hengliang Ren, Jibo Pan, Lei Xian, Qianli Ma, Chunhao Han, Gao Liu, Xunbin Huang, Yang Liu, Yan Chen   +9 more
doaj   +1 more source

Docker Vectorization, a Cloud-Native Privacy Agent—The Analysis of Demand and Feasibility for Era of Developing Complexity of Privacy Management

Applied Sciences, 2023
Currently, a large amount of biological information is accumulated, such as the area of genome sequencing as well as high-precision biometric information stored in wearable terminals and a growing database of health, medication, and medical information ...
Itaru Kaneko, Emi Yuda, Hitoshi Okada
doaj   +1 more source

Research on multi-branch residual connection spectrum image classification based on attention mechanism

Scientific Reports
The acoustic spectrogram arranges the frequencies in the sound along the frequency spread, and translates the spectral changes into the intensity, wavelength and frequency of the electrical signals.
Zhong Xiaohui, Dong Sheng, Zhang Yiyi, Lu Wei, Jiang Lincen   +4 more
doaj   +1 more source

Communication and Language Profiles of Children Treated for Posterior Fossa Brain Tumors

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Cognitive and language deficits are frequently reported sequelae of posterior fossa brain tumors (PFBT). Typically, delayed onset impedes prompt assessment and early intervention. This has devastating implications for quality of life.
Zara Sved, Meghan Hesse, Jennie Cusiter, Annabel Webb, Kimberley Docking   +4 more
wiley   +1 more source

Effect of Weed Competition on Growth of Container Grown Ornamentals Plants in Four Different Container Sizes

Horticulturae, 2023
The objective of this study was to assess the growth of two woody ornamental plants when subjected to different levels of weed competition in four different container sizes, representing different stages of production.
Yuvraj Khamare, Stephen C. Marble, Brian J. Pearson, Jianjun Chen, Pratap Devkota   +4 more
doaj   +1 more source