Search

Your search keyword '"Runtime overhead"' showing total 87 results

Search Constraints

Start Over You searched for: Descriptor "Runtime overhead" Remove constraint Descriptor: "Runtime overhead"
87 results on '"Runtime overhead"'

Search Results

1. Residual Runtime Verification via Reachability Analysis

2. Enhancing OpenMP Tasking Model: Performance and Portability

3. Enforcing Memory Safety in Cyber-Physical Systems

4. Enhanced virtual release advancing algorithm for real-time task scheduling

6. Efficient and Context-Aware Privacy Leakage Confinement

7. Runtime Monitoring with Union-Find Structures

8. Accelerating Application Migration in HPC

11. SHRIFT System-Wide HybRid Information Flow Tracking

12. CrowdFlow: Efficient Information Flow Security

13. Investigating Instrumentation Techniques for ESB Runtime Verification

14. LightPlay: Efficient Replay with GPUs

15. Dynamic Reconstruction of Relocation Information for Stripped Binaries

16. On-Line Monitoring for Temporal Logic Robustness

17. RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties

18. View-Based Propagator Derivation : (Extended Abstract)

19. Task-Aware Optimization of Dynamic Fractional Permissions

20. Zero Overhead Runtime Monitoring

21. BISTRO: Binary Component Extraction and Embedding for Software Security Applications

22. AppGuard – Enforcing User Requirements on Android Apps

23. Adaptive Runtime Verification

25. SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs

26. A Case for 'Piggyback' Runtime Monitoring

27. passert: A Tool for Debugging Parallel Programs

28. Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement

29. A Comparison of the Influence of Different Multi-core Processors on the Runtime Overhead for Application-Level Monitoring

30. Efficiency Optimizations for Implementations of Deadlock Immunity

31. NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows

34. Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging

35. Low-Overhead Bug Fingerprinting for Fast Debugging

36. Clara: Partially Evaluating Runtime Monitors at Compile Time : Tutorial Supplement

37. Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

38. 3D Compaction: A Novel Blocking-Aware Algorithm for Online Hardware Task Scheduling and Placement on 2D Partially Reconfigurable Devices

39. Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups

41. Externalizing Java Server Concurrency with CAL

42. A Comparison of the M-PCP, D-PCP, and FMLP on LITMUSRT

43. Zero-Overhead Composable Aspects for .NET

44. A Microbenchmark Study of OpenMP Overheads under Nested Parallelism

45. How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation

46. Nested Parallelism in the OMPi OpenMP/C Compiler

47. Collaborative Runtime Verification with Tracematches

48. Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems

49. Streamlining Feature-Oriented Designs

50. True and Transparent Distributed Composition of Aspect-Components

Catalog

Books, media, physical & digital resources