Search

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

Search Constraints

Start Over You searched for: Descriptor "Runtime overhead" Remove constraint Descriptor: "Runtime overhead" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
58 results on '"Runtime overhead"'

Search Results

1. Runtime Monitoring with Union-Find Structures

2. Zero Overhead Runtime Monitoring

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

4. AppGuard – Enforcing User Requirements on Android Apps

5. Adaptive Runtime Verification

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

7. A Case for 'Piggyback' Runtime Monitoring

8. passert: A Tool for Debugging Parallel Programs

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

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

11. Efficiency Optimizations for Implementations of Deadlock Immunity

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

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

14. Low-Overhead Bug Fingerprinting for Fast Debugging

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

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

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

18. Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups

20. Externalizing Java Server Concurrency with CAL

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

22. Zero-Overhead Composable Aspects for .NET

23. A Microbenchmark Study of OpenMP Overheads under Nested Parallelism

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

25. Nested Parallelism in the OMPi OpenMP/C Compiler

26. Collaborative Runtime Verification with Tracematches

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

28. Streamlining Feature-Oriented Designs

29. True and Transparent Distributed Composition of Aspect-Components

30. Using AI Techniques for Fault Localization in Component-Oriented Software Systems

31. Argus: Online Statistical Bug Detection

32. Amplifying the Benefits of Design Patterns: From Specification Through Implementation

33. Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library

34. Efficient Monitoring of ω-Languages

35. Fast Real-Time Job Selection with Resource Constraints Under Earliest Deadline First

37. A Formal Monitoring-Based Framework for Software Development and Analysis

38. Towards a General Template Introspection Library

39. Profiling and Tracing OpenMP Applications with POMP Based Monitoring Libraries

40. A Gentle Introduction to Multi-stage Programming

41. Managing Component Variability within Embedded Software Product Lines via Transformational Code Generation

49. Implementing Orthogonally Persistent Java

50. Finding Optimal Solutions to Atomix

Catalog

Books, media, physical & digital resources