BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
program (4)
logic (3)
base (3)
bridg (2)
schedul (2)

Stem suspens$ (all stems)

12 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.