共 50 条
- [1] Stability Analysis of Multiple State-based Schedulers with CSMA 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 7205 - 7211
- [6] State-based planning INDUCTIVE SYNTHESIS OF FUNCTIONAL PROGRAMS: UNIVERSAL PLANNING, FOLDING OF FINITE PROGRAMS, AND SCHEMA ABSTRACTION BY ANALOGICAL REASONING, 2003, 2654 : 13 - 54
- [7] Automated integrative analysis of state-based requirements 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 125 - 134
- [9] Asynchronous Iterative Solution for State-Based Performance Metrics SIGMETRICS'07: PROCEEDINGS OF THE 2007 INTERNATIONAL CONFERENCE ON MEASUREMENT & MODELING OF COMPUTER SYSTEMS, 2007, 35 (01): : 373 - 374