58 results on '"Runtime overhead"'
Search Results
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
19. MUST: A Scalable Approach to Runtime Error Detection in MPI Programs
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
36. A Hybrid Strategy Based on Data Distribution and Migration for Optimizing Memory Locality
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
42. Rate Monotonic vs. EDF: Judgment Day
43. Rule-Based Analysis of Dimensional Safety
44. RTL-Based Signal Statistics Calculation Facilitates Low Power Design Approaches
45. Efficient and Transparent Instrumentation of Application Components Using an Aspect-Oriented Approach
46. Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading
47. Optimizations on Array Skeletons in a Shared Memory Environment
48. Providing Multimedia Traffic with Predictability
49. Implementing Orthogonally Persistent Java
50. Finding Optimal Solutions to Atomix
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.