Compiler-Assisted Static Checkpoint Insertion

doi 10.21236/ada246496
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Static Analysis and Compiler Design for Idempotent Processing

ACM SIGPLAN Notices
Computer Science
2012English

CAS-DSM: A Compiler Assisted Software Distributed Shared Memory

International Journal of Parallel Programming
Theoretical Computer ScienceInformation SystemsSoftware
2004English

Sec61: A Static Framework for Membrane-Protein Insertion

Channels
MedicineBiochemistryBiophysics
2016English

Compiler Assisted Recovery for Fault-Tolerant Highly Parallel Multiprocessor Architectures

1992English

Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

GlideScope-Assisted Insertion of a Transesophageal Echocardiography Probe

Journal of Cardiothoracic and Vascular Anesthesia
Cardiovascular MedicineAnesthesiologyPain MedicineCardiology
2017English

Profiler and Compiler Assisted Adaptive I/O Prefetching for Shared Storage Caches

2008English

The META-T Compiler-Compiler

English

The META-T Compiler-Compiler

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy