Communication Predicates: A High-Level Abstraction for Coping With Transient and Dynamic Faults

doi 10.1109/dsn.2007.25
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

High-Level Language Abstraction for Reconfigurable Computing

Computer
Computer Science
2003English

Advanced Technologies for Transient Faults Detection and Compensation

Advances in Computer and Electrical Engineering
English

Dynamic Reconfiguration With I/O Abstraction

English

Coping With Dynamic Syntactic Strategies

1987English

Towards a High-Level C++ Abstraction to Utilize the Read-Copy-Update Pattern

Acta Electrotechnica et Informatica
2018English

A Metric for Measuring the Abstraction Level of Design Patterns

2007English

C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation

1996English

Hydrophobin Fusions for High-Level Transient Protein Expression and Purification in Nicotiana Benthamiana

Plant Physiology
Plant ScienceGeneticsPhysiology
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy