Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin Hutle
Communication Predicates: A High-Level Abstraction for Coping With Transient and Dynamic Faults
Related publications
Verification Condition Generation for Permission Logics With Abstract Predicates and Abstraction Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Level Language Abstraction for Reconfigurable Computing
Computer
Computer Science
Advanced Technologies for Transient Faults Detection and Compensation
Advances in Computer and Electrical Engineering
Dynamic Reconfiguration With I/O Abstraction
Coping With Dynamic Syntactic Strategies
Towards a High-Level C++ Abstraction to Utilize the Read-Copy-Update Pattern
Acta Electrotechnica et Informatica
A Metric for Measuring the Abstraction Level of Design Patterns
C: A Language for High-Level, Efficient, and Machine-Independent Dynamic Code Generation
Hydrophobin Fusions for High-Level Transient Protein Expression and Purification in Nicotiana Benthamiana
Plant Physiology
Plant Science
Genetics
Physiology