Results 11 to 20 of about 172,286 (267)
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 +2 more
openaire +2 more sources
Frontiers in Public Health, 2022 ObjectivePatient-centered care calls to contain patients in their time of crisis. This study extends the knowledge of provider patient interactions in the hectic environment of acute care applying Bion's container-contained framework from psychoanalysis.MethodsFollowing ethical approval, we performed a narrative inquiry of the experiences of ten ...
Gillie Gabay, Smadar Ben-Asher
openaire +3 more sources
Technique for determining the capacity of a container terminal serviced by a straddle carrier [PDF]
Научно-технический вестник Брянского государственного университета, 2018 The article presents the relationship between the parameters of the container site equipped with straddle carrier in the form of mathematical models. In recent years, the transport infrastructure has been developing at a fast pace, however, until today ...
Abduvahitov R.S. +2 more
doaj +1 more source
Using Docker virtual containers to launch services
Литьë и металлургия, 2022 Docker is a virtualization tool that allows developers and system administrators to run applications and services in containers isolated from each other and from the guest operating system.
I. A. Burenkov
doaj +1 more source
Heat Transfer Characteristics for Practical Hydrogen Pressure Vessels Being Filled at High Pressure
Journal of Thermal Science and Technology, 2008 Experiments have been conducted to measure the rise in temperature of hydrogen and vessel wall during filling of commercially available, practical tanks to 35 and 70 MPa. Three test vessels with volumes 205, 130 and 39 liters are investigated.
Peter L. WOODFIELD +2 more
doaj +1 more source
Two-Stage Classification Approach for Human Detection in Camera Video in Bulk Ports
Polish Maritime Research, 2015 With the development of automation in ports, the video surveillance systems with automated human detection begun to be applied in open-air handling operation areas for safety and security.
Mi Chao +4 more
doaj +1 more source
Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, 2020 We describe the design and implementation of DetTrace, a reproducible container abstraction for Linux implemented in user space. All computation that occurs inside a DetTrace container is a pure function of the initial filesystem state of the container.
Omar S. Navarro Leija +6 more
openaire +1 more source
Diance yu yibiaoThis paper proposes a novel multi-level optimization method for the management of port energy system with high penetration of renewable energy under the dual-carbon background, to support the main power grid while supplying power to local loads.
QIN Kong +4 more
doaj +1 more source
Container Placement and Migration in Edge Computing: Concept and Scheduling Models
IEEE Access, 2021 Containers are a form of software virtualization, rapidly becoming the de facto way of providing edge computing services. Research on container-based edge computing is plentiful, and this has been buoyed by the increasing demand for single digit ...
Omogbai Oleghe
doaj +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 +5 more
doaj +1 more source