Výsledky vyhľadávania - "concurrent algorithms"

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Autor 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…”
Získať plný text

Compositional Abstractions for Verifying Concurrent Data Structures Autor 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…”
Získať plný text

The design of a LOGO-like tutorial system with visualisation for teaching concurrent programming Autor 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…”
Získať plný text

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

“…This thesis discusses work on two different subjects. First, results from computational studies of Ziegler-Natta catalysts are presented…”
Získať plný text