Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Benjamin Chelf
Using Meta-Level Compilation to Check FLASH Protocol Code
Operating Systems Review (ACM)
Hardware
Computer Networks
Information Systems
Architecture
Communications
Related publications
Transient Fault Tolerant QDI Interconnects Using Redundant Check Code
Available at a Flash: A New Way to Check Glucose
The Lancet
Medicine
Using Meta-Code Generation to Realize Higher-Order Model Transformations
Native Code Compilation in SICStus Prolog
Correctness of Code Generation From a Two-Level Meta-Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
AOC: An Aspect - Oriented Approach for Comment to Reduce the Redundant Behavior Between Source Code and Compilation Code
Journal of Software
Generation of Efficient Obfuscated Code Through Just-In-Time Compilation
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Using Models to Model-Check Recursive Schemes
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Using SPIN to Check Simulink Stateflow Models
International Journal of Networked and Distributed Computing
Computer Networks
Computer Science Applications
Communications
