6 papers:
CIKM-2011-WuQD #owl #pipes and filters #using- Finding all justifications of OWL entailments using TMS and MapReduce (GW, GQ, JD), pp. 1425–1434.
VLDB-2008-Miao #monitoring #named- GS-TMS: a global stream-based threat monitor system (JM), pp. 1644–1651.
LCTES-OM-2001-GranstonSZ #architecture #pipes and filters- Software Pipelining Irregular Loops on the TMS320C6000 VLIW DSP Architecture (EDG, ES, JZ), pp. 138–144.
LCTES-1999-StotzerL #architecture #scheduling- Modulo Scheduling for the TMS320C6x VLIW DSP Architecture (ES, ELL), pp. 28–34.
KR-1991-RodiP #using- A Nonmonotonic Assumption-Based TMS Using Stable Bases (WLR, SGP), pp. 485–495.
ICLP-1991-SatohI #abduction #using- Computing Abduction by Using the TMS (KS, NI), pp. 505–518.