同步对相关论文
针对多线程并发程序生成覆盖同步语句的线程调度序列(TSS)效率低问题,提出了一种基于全同步对覆盖(APSC)准则的TSS生成(TGBA)方法......
自动机的秩与工业自动化中的部件定向器设计问题和理论计算机科学中的Cerny-Pin猜想密切相关。计算自动机的秩可以归结于查找自动......
