共 50 条
- [4] Satisfiability of high-level conditions GRAPH TRANSFORMATIONS, PROCEEDINGS, 2006, 4178 : 430 - 444
- [7] High-level power estimation 1996 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN - DIGEST OF TECHNICAL PAPERS, 1996, : 29 - 35
- [8] Theory of constraints and application conditions: From graphs to high-level structures Fundam Inf, 2006, 1 (135-166):
- [10] High-Level Programs and Program Conditions GRAPH TRANSFORMATIONS, ICGT 2008, 2008, 5214 : 211 - 225