Modern programming languages provide libraries for concurrent data structures. For better performance, these are implemented with fine-grained concurrency. Still, such implementations are linearizable: the programmer can safely assume that they behave atomically. We formalize this insight in Coq as an end-to-end theorem establishing the semantic preservation of a compiler translating abstract, ...

Textile Reinforced Concrete (TRC) is a composite material made of open-meshed textile structures and a fine-grained concrete. Comparable to steel reinforcement the textile fabric bears the tensile forces released by the cracking of the concrete. Only a minimal concrete cover is required for the bond of the textile fabrics. Thus, the application of TRC leads to the design of filigree and lightwe...

aisi 304l austenitic stainless steel with different grain sizes of 0.5 -12 μm was obtained through the martensiticprocess. corrosion behavior of different samples was investigated in a 0.5m hcl solution using open circuitpotential, potentiodynamic polarization and electrochemical impedance spectroscopy tests. also, the correlationbetween the grain size and pitting corrosion resistance was asses...

In the article, work has been done to obtain shale mineral powder based on local raw materials and develop technologies improve physical mechanical performance durability of asphalt concrete, thereby increasing physico-mechanical density fine-grained hot dense mix with powder. The water absorption index concrete mixture decreases, strength increases, transport road improves.