Results 11 to 20 of about 946,107 (350)
Directed Containers as Categories [PDF]
, 2016 Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed container resemble those of a monoid, while the data and laws of a directed ...
Ahman, Danel, Uustalu, Tarmo
core +2 more sources
Benchmarking Container Technologies on ARM-Based Edge Devices
IEEE Access, 2023 Internet-of-Things (IoT) devices continuously gather data and send the data to the cloud for further processing. However, with the recent trend of increasing number of IoT devices, billions of devices are anticipated to send data to the cloud, eventually
Shahidullah Kaiser +2 more
doaj +1 more source
Real-Time Containers: A Survey [PDF]
, 2020 Container-based virtualization has gained a significant importance in a deployment of software applications in cloud-based environments. The technology fully relies on operating system features and does not require a virtualization layer (hypervisor ...
+3 more
core +1 more source
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
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
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
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