共 50 条
- [21] SAT Local Search Algorithms: Worst-Case Study Journal of Automated Reasoning, 2000, 24 : 127 - 143
- [22] Local search algorithms for SAT: Worst-case analysis ALGORITHM THEORY - SWAT'98, 1998, 1432 : 246 - 254
- [24] Scope-tree: a program representation for symbolic worst-case execution time analysis EUROMICRO RTS 2002: 14TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2002, : 50 - 59
- [25] Obstacles in worst-case execution time analysis ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 333 - 339
- [27] Worst-case portfolio optimization in discrete time Mathematical Methods of Operations Research, 2019, 90 : 197 - 227
- [29] An efficient search algorithm of worst-case cache flush timings 11TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2005, : 45 - 52