Results 21 to 30 of about 306,255 (304)
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
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
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
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
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
Technical Efficiency Of Arabian And East African Container Terminals. [PDF]
, 2007 In this paper the efficiency and performance is evaluated the terminal container for 22 seaports in the region of East Africa and the Middle East. The aim of our study is to compare container terminals situated on the maritime trade road between the East
Mustaffa, Adli +3 more
core +1 more source
Discourses of Truck Container Signs in Indonesia [PDF]
, 2022 This article attempts to analyze truck container sign discourses found in Indonesia from three perspectives: linguistics, sociolinguistics, and pragmatics.
Wijana, I Dewa Putu, I Dewa Putu Wijana
core +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
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 +2 more sources
An Assessment of hub-ports competitiveness and its impact on the Mediterranean container market structure. [PDF]
, 2011 Globalisation and the development of the international transport network have increased the role of ports as nodes in the global logistics and supply chain systems.
Hubbard, Nick J. +2 more
core +2 more sources