Search Results - Optimizing compiler

Sustainable Production of Metals for Low-Carbon Technologies

DOAB: download the publication
DOAB: description of the publication

Protection Strategy against Spruce Budworm by MacLean, David

DOAB: download the publication
DOAB: description of the publication

Impact of Pre-Mortem Factors on Meat Quality

DOAB: download the publication
DOAB: description of the publication

Environmental Friendly Catalysts for Energy and Pollution Control Applications

DOAB: download the publication
DOAB: description of the publication

Authenticity of Honey: Characterization, Bioactivities and Sensorial Properties

DOAB: download the publication
DOAB: description of the publication

Recent Investigations of Differential and Fractional Equations and Inclusions

DOAB: download the publication
DOAB: description of the publication

Entropy Applications in Environmental and Water Engineering by Cui, Huijuan

DOAB: download the publication
DOAB: description of the publication

Selected Papers from the ISTEGIM'19 Thermal Effects in Gas flow in Microscale

DOAB: download the publication
DOAB: description of the publication

Structural Prognostics and Health Management in Power & Energy Systems by Wang, Dong

DOAB: download the publication
DOAB: description of the publication

Industrial Process Improvement by Automation and Robotics

DOAB: download the publication
DOAB: description of the publication

Water Resources Management Models for Policy Assessment

DOAB: download the publication
DOAB: description of the publication

Membranes for Water and Wastewater Treatment

DOAB: download the publication
DOAB: description of the publication

PENGEMBANGAN PERANGKAT PEMBELAJARAN MATEMATIKA BERDASARKAN KERANGKA KERJA TPACK PADA MATERI LINGKARAN UNTUK MENGOPTIMALKAN KEMAMPUAN PENALARAN DEDUKTIF by gusnidar gusnidar, Sutrisno Sutrisno, Syaiful Syaiful

Connect to this object online.

High Performance Computing by Severance, Charles, Dowd, Kevin

Table of Contents: “…Programming and Tuning Software -- 2.1 What a Compiler Does -- 2.2 Timing and Profiling -- 2.3 Eliminating Clutter -- 2.4 Loop Optimizations -- 3. …”
Access online version

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml / by Wang, Liang, Zhao, Jianxin

Table of Contents: “…Chapter 1: Introduction.-Chapter 2: Core Optimization -- Chapter 3: Algorithm Differentiation -- Chapter 4: Mathematical Optimization -- Chapter 5: Deep Neural Networks -- Chapter 6: Computation Graph -- Chapter 7: Performance Accelerators -- Chapter 8: Compiler Backends -- Chapter 9: Composition and Deployment -- Chapter 10: Distributed Computing -- Chapter 11: Testing Framework -- Appendix A: Basic Analytics Examples -- Appendix B: System Conventions -- Appendix C: Metric Systems and Constants -- Appendix D: AlgoDiff Module -- Appendix E: Neural Network Module -- Appendix F: Actor System for Distributed Computing -- Bibliography.…”
Link to Metadata

Dependable Embedded Systems

Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Food Preservation and Waste Exploitation

DOAB: download the publication
DOAB: description of the publication

The Relationship between Jump Ability and Athletic Performance in Athletic Throwers by Yuta Takanashi

Connect to this object online.