Stem strand$ (all stems)

6 papers:

PADL-2014-LakinP #compilation #functional #programming language #using

Compiling DNA Strand Displacement Reactions Using a Functional Programming Language (MRL, AP), pp. 81–86.

SAS-2011-MadhusudanQ #performance #using

Efficient Decision Procedures for Heaps Using STRAND (PM, XQ), pp. 43–59.

PPoPP-2010-RadojkovicCVPCNV #concurrent #network #parallel #thread

Thread to strand binding of parallel network applications in massive multi-threaded systems (PR, VC, JV, AP, FJC, MN, MV), pp. 191–202.

LCTES-2005-SassoneWL #dependence #embedded #performance

Static strands: safely collapsing dependence chains for increasing embedded power efficiency (PGS, DSW, GHL), pp. 127–136.

ESOP-2004-GuttmanTCHRS #trust

Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.

NACLP-1989-FosterT #named #parallel #programming

Strand: A Practical Parallel Programming Tool (ITF, ST), pp. 497–512.