The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. In applications that use a large number of groups, signi cant performance gains can be attained if these groups share the resources required to provide virtual synchrony. A service that maps user groups onto instances of a virtually synchronous implementation is called...

N4016 makes a case for adding execution modes for threads of execution that are less capable than std::thread; doing so either allows for avoiding runtime overheads of std::thread or enables semantically different ways to execute such as SIMD loops. This paper defines the semantics of these lighter-weight modes of execution by defining certain kinds of execution agents (EAs). An EA is a mechani...

We introduce a new class of high-porosity microstructures, called “single-scale laminates,” made from arrays of parallel walls. They are extremal, in the sense that no stiffer structure exists with the same total mass. They are simple, in the sense of being easy to describe, and perhaps to manufacture. And they are universal: for any high-porosity microstructure there is a single-scale laminate...

In this paper, we propose a new approach to building synchronization primitives, dubbed “lwlocks” (short for light-weight locks). The primitives are optimized for small memory footprint while maintaining efficient performance in low contention scenarios. A read-write lwlock occupies 4 bytes, a mutex occupies 4 bytes (2 if deadlock detection is not required), and a condition variable occupies 4 ...

3D whole body, electro-optical scanners have facilitated the creation of personalised, realistic human models. However, realism comes at the cost of a large number of polygons that may surpass the time/accuracy requirement set for rendering/computation in a variety of application systems. We present new automatic constraints that approximate the symmetry of human body parts. These feature const...

This development provides a framework for container types like sets and maps such that generated code implements these containers with different (efficient) data structures. Thanks to type classes and refinement during code generation, this light-weight approach can seamlessly replace Isabelle’s default setup for code generation. Heuristics automatically pick one of the available data structure...

This contribution to the EUCREX mission 206 series aims at evaluating the performances of Ž three methods considered for the retrieval of cloud microphysical properties optical depth, droplet Ž .. effective radius and liquid water path LWP from Advanced Very High Resolution Radiometer Ž . AVHRR satellite images. These procedures, namely a set of empirical parameterizations, a physically based i...

   In this paper, we report the synthesis of ZnO nanoparticles using Moringa Oleifera (Drumstick) leaves as natural precursor via precipitation method. Formation and characterization of ZnO nanoparticles was establishe...

Polymers not only possess repairing functions concerning the concrete structures, but also due to their properties are used in making different types of polymer cements and improving the matrix structure of cement materials, enhancing the viscosity, mechanical, and stability power of concretes. Today, there is limited knowledge on the use of SBR in structural light aggregate concrete. In the pr...