共 50 条
- [41] Testing the results of static worst-case execution-time analysis 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 134 - 143
- [43] Network Compression: Worst-Case Analysis 2013 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS (ISIT), 2013, : 196 - +
- [44] Worst-Case Learning under a Multifidelity Model SIAM-ASA Journal on Uncertainty Quantification, 2025, 13 (01): : 171 - 194
- [50] Worst-Case Analysis of Heap Allocations LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 464 - +