QEST 2006:美国加利福尼亚州河滨

优化列表

显示全部 ??记录

介绍

邀请的谈话

第1.1节:测量

第1.2节:存储系统

第1.3节:网络模型

第1.4节:工具

邀请的谈话

第2.1节:马尔可夫决策过程

第2.2节:模型检查

第2.3部分:可集中性

第2.4节:马尔可夫模型

邀请的谈话

第3.1节:网络优化

第3.2节:可达性

第3.3节:排队

第3.4节:服务器系统

服务莱布尼茨信息中心(Schloss Dagstuhl)