5 papers:
CSCW-2012-HsuJSC #framework #named #realtime #video- SynTag: a web-based platform for labeling real-time video (YCH, TJ, YTS, PCC), pp. 715–718.
CAV-2012-ChengGRBK #automation #industrial #named #synthesis- MGSyn: Automatic Synthesis for Industrial Automation (CHC, MG, HR, CB, AK), pp. 658–664.
ICEIS-EIS-2007-HuangZZ #analysis #approach #process #workflow- A New Approach for Workflow Process Delta Analysis Based on SYN-NET (XQH, WZ, SZ), pp. 480–488.
DAC-1998-GajskiVNG- System-level exploration with SpecSyn (DG, FV, SN, JG), pp. 812–817.
- DAC-1993-SharmaJ #named #scheduling
- InSyn: Integrated Scheduling for DSP Applications (AS, RJ), pp. 349–354.
