Format:
Table of Contents: “... and concurrency -- 5.3 Soundness and program extraction -- 6 Application -- 7 Implementation -- 8 Conclusion -- 8...”
Click to View

Format:
Table of Contents: “... That Are Independent of the Execution Model -- Using the Building Blocks in TBB -- Let's Get Started Already...”
Click to View

Format:
Table of Contents: “... -- Platform Model -- Multiarchitecture Binaries -- Compilation Model -- Adding SYCL to Existing C++ Programs...”
Click to View

Format:
Table of Contents: “... -- 1.1 Motivating Example -- 1.2 Our Contributions -- 2 Preliminaries -- 2.1 Concurrent Model -- 2...”
Click to View

Format:
Table of Contents: “....2 The Kernel Interface -- 3.3 The Operating System -- 3.4 Simple Application Modeling -- 4 Requirements...”
Click to View

Format:
Table of Contents: “...-flow Interfaces -- 1 Introduction -- 2 Application Example -- 3 Stateless Information-flow Interfaces...”
Click to View

Format:
Table of Contents: “... Structures -- 2.4 Signal Erasure -- 3 A Realistic Example -- 4 Specifying Busy-Waiting Concurrent Objects...”
Click to View

Format:
Table of Contents: “... Protocols -- 1 Introduction -- 2 Preliminaries -- 3 Example: Majority -- 4 Comparison with other Models -- 4...”
Click to View

Format:
Table of Contents: “....4.6 Energy Model for an Application -- 5.4.7 Energy Model for Multiple Applications with Hardware...”
Click to View

Format:
Table of Contents: “... Dynamics of CTMCs -- 5 Continuous Linear-time Logic -- 6 CLL Model Checking -- 7 Numerical Implementation...”
Click to View

Format:
Table of Contents: “... Architecture -- Experimental Results -- Conclusions -- References -- Title Model Ontology for Future Internet...”
Click to View