搜索结果: 1-2 共查到“计算机科学技术基础学科 capability”相关记录2条 . 查询时间(0.337 秒)
A Capability Calculus for Concurrency and Determinism
Capability Calculus Concurrency Determinism
2016/5/24
We present a capability calculus for checking partial con-fluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be partially confluent than previou...
Innovative new supercomputers increase nation's computational capacity and capability（图）
computational capacity capability
2014/12/1
Tens of thousands of researchers nationwide currently harness the power of massive supercomputers to solve research problems that cannot be answered in the lab. However, studies show this represents o...