Suchergebnisse - "Concurrent algorithms"

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity von Sergey, Ilya, Nanevski, Aleksandar, Banerjee, Anindya

“… For example, both are subject to the same assertion logic and inference rules (e.g., the frame rule). Moreover, the notion of ownership transfer, which usually applies to heaps, has an equivalent in histories …”
Volltext

Compositional Abstractions for Verifying Concurrent Data Structures von Krishna, Siddharth

“… Formal verification has had great success in improving the reliability of real-world software, with projects such as ASTREE, CompCert, and Infer showing that …”
Volltext

The design of a LOGO-like tutorial system with visualisation for teaching concurrent programming von Kirillova, Tatiana E

“… The intended audience is high school pupils and junior students. To provide ease in grasping the concepts of the new subject the programs are based on a LOGO-like environment …”
Volltext

Computational studies of Ziegler-Natta catalysis and concurrent resonance computations von Bierwagen, Erik Paul

“… This thesis discusses work on two different subjects. First, results from computational studies of Ziegler-Natta catalysts are presented …”
Volltext