计算机科学
分布式计算
可满足模理论
调度(生产过程)
异步通信
可扩展性
地铁列车时刻表
以太网
整数规划
数学优化
理论计算机科学
算法
计算机网络
数学
数据库
操作系统
作者
Silviu S. Craciunas,Ramón Serna Oliver
出处
期刊:Real-time Systems
[Springer Science+Business Media]
日期:2015-10-28
卷期号:52 (2): 161-200
被引量:142
标识
DOI:10.1007/s11241-015-9244-x
科研通智能强力驱动
Strongly Powered by AbleSci AI