Stem cmt$ (all stems)

2 papers:

SPLC-2015-FerrariSGD #diagrams #documentation #feature model #natural language #tool support

CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams (AF, GOS, SG, FD), pp. 402–410.

DAC-2008-TurumellaS #concurrent #thread #verification

Assertion-based verification of a 32 thread SPARCTM CMT microprocessor (BT, MS), pp. 256–261.