4 papers:
CASE-2013-LiF #approach #integer #linear #multi #problem #programming #scheduling- A mixed integer linear programming approach for multi-degree cyclic multi-hoist scheduling problems without overlapping (XL, RYKF), pp. 274–279.
- CASE-2011-FrohlichS #multi #scheduling
- Transient multiple hoist scheduling of consecutive cyclic schedules (RF, SCS), pp. 357–362.
CGO-2005-OdairaH #dependence #exception- Sentinel PRE: Hoisting beyond Exception Dependency with Dynamic Deoptimization (RO, KH), pp. 328–338.
ASPLOS-2004-RegehrR #automation #embedded #named- HOIST: a system for automatically deriving static analyzers for embedded systems (JR, AR), pp. 133–143.
