Search Results - "compiler"

Comparing students' perceptions of paper-based and electronic portfolios by Maarten van Wesel, Anouk Prop

Connect to this object online.

KINERJA KOMITE SEKOLAH PADA PROGRAM PENDIDIKAN GRATIS DI SMP NEGERI 1 POLOKARTO KABUPATEN SUKOHARJO by Suyadi, Agus

Connect to this object online

Kecemasan Pada Penderita Kanker by Fauziah, Reissa Nur, Wisnu Sri Hertinjung., M.Psi, Psi, Wisnu Sri Hertinjung., M.Psi, Psi

Connect to this object online

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

PENGEMBANGAN MEDIA PEMBELAJARAN MENGUNAKAN TRAINER UNTUK MENINGKATKAN HASIL BELAJAR DASAR SISTEM MIKRONTROLER DI SMKN 2 CIMAHI by Irfan Dadi, -

Link Metadata

PENGARUH PROMOSI JABATAN TERHADAP DISIPLIN KERJA PEGAWAI DI SEKRETARIAT DEWAN PERWAKILAN RAKYAT DAERAH (DPRD) KOTA CIMAHI by Falah, Kania Nurul

Link Metadata

PENERAPAN PENDIDIKAN KARAKTER BERBASIS MANAJEMEN QOLBU PADA ANAK USIA DINI : Penelitian Studi Kasus di PG & TK Daarut Tauhid Kota Bandung Tahun Ajaran 2017-2018 by Fathul Khairunnisa, -

Link Metadata

An Oral History of the Special Olympics in China Volume 1 Overview /

Table of Contents: “…Foreword I -- Foreword II -- Foreword III -- Preface -- Getting involved in society -- Self-Realization Through Work -- The Internet Broadens My World -- Interview with a Colleague of D and ZL -- Find the Courage to Face the World -- Interview with Miss Zengzeng Zhao's Mother -- Interview with Zengzeng Zhao's co-worker (I) -- Interview with Zengzeng Zhao's co-worker (II) -- Interview with Zengzeng Zhao's co-worker (III) -- Interview with Zengzeng Zhao -- Observation of Zengzeng Zhao at work -- A Compilation of Aid Policies for Persons with Intellectual Disabilities in Shanghai Mei Liao .…”
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

NILAI-NILAI SOSIAL DALAM NOVEL DEBU DALAM ANGIN KARYA PRATIWI JULIANI SERTA PEMANFAATANNYA SEBAGAI BAHAN AJAR APRESIASI SASTRA DI SEKOLAH MENENGAH ATAS by Purwitasari Mia Amalia, -

Link Metadata

KESULITAN ASPEK BAHASA DALAM LITERASI MATEMATIS SISWA KELAS VIII SMP by Tira Fahmi Ramadhani, -

Link Metadata

PENERAPAN MODEL PEMBELAJARAN ADVANCE ORGANIZER UNTUK MENINGKATKAN KEMAMPUAN BERPIKIR TINGKAT TINGGI (HIGH ORDER THINKING SKILLS) SISWA PADA MATA PELAJARAN BIOLOGI KELAS XI DI SMA N... by Devi Aksa Yuda, -

Link Metadata

A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday /

Table of Contents: “…Run-Time Enforcement of Non-functional Program Properties on MPSoCs -- Chapter 10. Compilation for Real-Time Systems a Decade After Predator.…”
Link to Metadata

TINGKAT KESADARAN ETIKA PENAMPILAN MAHASISWA : Studi Deskriptif tentang Implementasi Pedoman Perilaku Mahasiswa FPIPS UPI by Hakim, Bayu Imanul

Link Metadata

LAPORAN PERENCANAAN DAN PERANCANGAN Tanjung Lesung Eco Resort Kabupaten Pandeglang, Provinsi Banten by MICHELLA ELIZABETH REIFIANA, -

Link Metadata

IMPLEMENTASI METODE MY Q-MAP DALAM MENINGKATKAN HAFALAN ALQURAN : studi deskriptif di pondok tahfiz bintang quran Cirebon tahun 2017. by Widiastuti, Dara

Link Metadata

ANALISIS KEBUTUHAN PEGAWAI DI PPSDM APARATUR ESDM (BIDANG PENGEMBANGAN KOMPETENSI SUMBER DAYA MANUSIA APARATUR) by Mutia Elfrida Zulfa, -

Link Metadata

ANALISIS SOSIOLOGIS DRAMA "A-A,I-I,U-U" KARYA ARIFIN C. NOER DAN PEMANFAATANNYA SEBAGAI BAHAN AJAR ELEKTRONIK APRESIASI DRAMA by Ridha Zahra Aulia, -

Link Metadata

General Average and Risk Management in Medieval and Early Modern Maritime Business

Table of Contents: “…'The Honour of Giving my Opinion': General Average, Insurance and the Compilation of the Ordonnance de la Marine of 1681; Lewis Wade.…”
Link to Metadata