Format:
Table of Contents: “... Implementation of GTC-P by Hybrid-view Programming -- 3.1 Hybrid-View Programming Model -- 3.2 Implementation...”
Click to View

Format:
Table of Contents: “... on Android -- Android Multithreaded Design -- Android Framework or a Thread -- Java Thread Programming...”
Click to View

Format:
Table of Contents: “... -- StarPU backend implementation -- Auto-tuning -- Skeleton programming on large-scale cluster systems...”
Click to View

Format:
Table of Contents: “....4 Further Research -- References -- The EFIS Framework for Leveraging Agile Organizations Within Large...”
Click to View

Format:
Table of Contents: “... Management Approach -- 5.1.1 Model formulation -- 5.1.2 Structural properties and optimal policy -- 5.1.3 A...”
Click to View

Format:
Table of Contents: “... Suite Diversity -- 4.3 Emotion Patterns' Requirements and Heat-maps -- 4.4 PX Framework Implementation...”
Click to View

Format:
Table of Contents: “... -- Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- 1 Introduction -- 2 A...”
Click to View

Format:
Table of Contents: “....1 Verification Framework via Assumption Learning -- 3.2 Model Conversion -- 3.3 Membership Queries -- 3...”
Click to View

Format:
Table of Contents: “... Frameworks -- 2 An Overview of Programmable Program Synthesis -- 2.1 Why Isn't Existing Work in Synthesis...”
Click to View

Format:
Table of Contents: “....1 Energy System Optimization Models -- 2.2 The Generic TIMES-City Model -- 2.3 Scenario Generator -- 2...”
Click to View

Format:
Table of Contents: “... Approach -- 4.1 The Framework -- 4.2 Training on Abstract States -- 4.3 Model Checking Trained DRL Systems...”
Click to View