Search

Your search keyword '"Le Hoang, M."' showing total 12 results

Search Constraints

Start Over You searched for: Author "Le Hoang, M." Remove constraint Author: "Le Hoang, M." Publication Type eBooks Remove constraint Publication Type: eBooks
12 results on '"Le Hoang, M."'

Search Results

1. Extensible and Configurable RISC-V Based Virtual Prototype

2. LLVM-based Hybrid Fuzzing with LibKluzzer (Competition Contribution)

3. Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

4. KLUZZER: Whitebox Fuzzing on Top of LLVM

5. Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring

6. A Tool Using Ultrasonic Sensor for Measuring Breathing Rate

8. On the Application of Formal Fault Localization to Automated RTL-to-TLM Fault Correspondence Analysis for Fast and Accurate VP-Based Error Effect Simulation: A Case Study

10. ParCoSS: Efficient Parallelized Compiled Symbolic Simulation

11. Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules

12. Completeness-Driven Development

Catalog

Books, media, physical & digital resources