TR 2018
时间：2021-01-13 分类：Technical Reports
| No. |
Topic |
Author |
| ISCAS-SKLCS-1801 |
Harvesting and analyzing large-scale real world data from the Web |
Y. Li, X. Chu and H. Chen |
| ISCAS-SKLCS-1802 |
Towards an Effective Syntax for Deterministic Regular Expressions |
Haiming Chen, Ping Lu, Zhiwu Xu |
| ISCAS-SKLCS-1803 |
一种针对列控系统安全性的测试案例生成方法 |
张龙、张东红、刘誉臻、张震宇、张健 |
| ISCAS-SKLCS-1804 |
Bounded Linearizability on TSO is Decidable |
Chao Wang, Yi Lv, Peng Wu |
| ISCAS-SKLCS-1805 |
Efficient Retiming of Unfolded Synchronous Dataflow Graphs |
Xue-Yang Zhu |
