12 papers:
CASE-2015-YuYS #multi- Motion planning and manipulation of multiple nanowires simultaneouly under electric-fields in fluid suspension (KY, JY, JS), pp. 489–494.
- CASE-2013-ChoJKMKC
- Caterpillar-based cable climbing robot for inspection of suspension bridge hanger rope (KHC, YHJ, HMK, HM, JK, HRC), pp. 1059–1062.
- CASE-2013-YuLYS
- Electrophoresis-based motion planning and control of a nanowire in fluid suspension (KY, XL, JY, JS), pp. 819–824.
- CASE-2012-KimCJLKC #development #maintenance
- Development of cable climbing robot for maintenance of suspension bridges (HMK, KHC, YHJ, FL, JK, HRC), pp. 606–611.
PPoPP-2012-TardieuWL #parallel- A work-stealing scheduler for X10’s task parallelism with suspension (OT, HW, HL), pp. 267–276.
ICLP-2007-RochaSL #on the #program transformation #prolog- On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog (RR, CS, RL), pp. 444–445.
ESOP-2003-GenaimK #analysis #independence #logic programming #scheduling #source code- Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling (SG, AK), pp. 84–98.
CAV-1994-McManisV #automaton #decidability #hybrid- Suspension Automata: A Decidable Class of Hybrid Automata (JM, PV), pp. 105–117.
- ILPS-1994-DebrayGB #detection #logic programming #optimisation #source code
- Detection and Optimization of Suspension-free Logic Programs (SKD, DG, PAB), pp. 487–501.
- ICLP-1991-CodishFM #analysis #concurrent #logic programming #source code
- Suspension Analysis for Concurrent Logic Programs (MC, MF, KM), pp. 331–345.
- CLP-1990-InamuraO90 #algorithm #detection
- A Detection Algorithm of Perpetual Suspension in KL1 (YI, SO), pp. 18–30.
- JICSCP-1988-Taylor88 #haskell
- Localizing the GHC Suspension Test (HT), pp. 1257–1271.
