This brief announcement focuses on interoperability of software transactions with ad hoc nonblocking algorithms. Specifically, we modify arbitrary nonblocking operations so that (1) they can be used both inside and outside transactions, (2) external uses serialize with transactions, and (3) internal uses succeed if and only if the surrounding transaction commits. Interoperability enables seemle...

Abstract Avoidance of disproportionate and progressive collapse, often termed ‘fail-safe design’, is a key consideration in the design buildings infrastructure. This paper addresses problem fail-safe truss topology optimization setting plastic design, where damage defined as moveable circular region which members are considered to have zero strength for that particular load case. A rigorous com...