Using Meta-Level Compilation to Check FLASH Protocol Code

Operating Systems Review (ACM) - United States
doi 10.1145/384264.379002
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Transient Fault Tolerant QDI Interconnects Using Redundant Check Code

2013English

Available at a Flash: A New Way to Check Glucose

The Lancet
Medicine
2016English

Using Meta-Code Generation to Realize Higher-Order Model Transformations

2013English

Native Code Compilation in SICStus Prolog

1994English

Correctness of Code Generation From a Two-Level Meta-Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1986English

AOC: An Aspect - Oriented Approach for Comment to Reduce the Redundant Behavior Between Source Code and Compilation Code

Journal of Software
2015English

Generation of Efficient Obfuscated Code Through Just-In-Time Compilation

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2019English

Using Models to Model-Check Recursive Schemes

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Using SPIN to Check Simulink Stateflow Models

International Journal of Networked and Distributed Computing
Computer NetworksComputer Science ApplicationsCommunications
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy