QEST 2006:美国加利福尼亚州河滨
-
第三届系统定量评估国际会议(QEST 2006),2006年9月11日至14日,美国加利福尼亚州河滨。 IEEE计算机学会 2006 ,国际标准图书编号 0-7695-2665-9
介绍
-
总主席致辞。 -
项目委员会主席致辞。 -
技术计划委员会。 -
审查人。
邀请的谈话
约瑟夫·哈珀(Joseph Y.Halpern) :
因果关系、责任和责任:结构模型方法。 3-8
第1.1节: 测量
亚历山大·乔班扬 , 马特·穆特卡 , 什洛莫·利文塔尔 , 宁熙 :
可用端到端带宽的行为:非参数方法。 9-18 安德烈亚·卡梅西 , 贾勒·胡拉斯 , 沃尔特·宾德 :
用于CPU消耗估计的连续字节码指令计数。 19-30
第1.2节: 存储系统
贾利尔·布霍布扎 , 克劳德·蒂姆西特 :
用于确定Windows存储系统尺寸的工具箱。 31-40 阿尔玛·里斯卡 , 埃里克·里德尔 :
磁盘驱动器级别的长范围依赖性。 41-50 塞塔拉米·塞拉姆 , 贾亚拉曼·苏雷什·巴布 , 帕特里夏·J·泰勒 :
易失性缓存过期写入的速率控制调度。 51-62
第1.3节: 网络模型
安妮·雷姆克 , Boudewijn R.Haverkort公司 , 露西亚布 :
一个通用的无限状态马尔可夫奖励模型,用于研究2跳自组织网络中的瓶颈。 63-72 米歇尔·加雷托 , 马可·格里鲍多 :
基于模型检测技术的容错网络性能分析。 73-82 罗杰·卡尔登 , Boudewijn R.Haverkort公司 :
商业GPRS网络中应用流长度的测量和建模。 83-92 阿娜·布西奇 , 穆阿德·本·马蒙 , 让-米歇尔·福诺 :
全光交换机中光纤延迟环路的建模。 93-102 格雷格·弗兰克斯 , 多丽娜·佩特里乌 , C.穆雷·伍德赛德 , 景旭 , 彼得·特雷古诺 :
分层瓶颈及其缓解。 103-114
第1.4节: 工具
塞缪尔·库内夫 , 克里斯托弗·杜茨 , 亚历杭德罗·巴赫曼 :
QPME-排队Petri网建模环境。 115-116 迈克尔·诺克 , 阿明·齐默尔曼 :
用TimeNET 4.0对有色随机Petri网进行分布式仿真。 117-118 马可·贝托利 , 朱利亚诺·卡萨利 , 朱塞佩·塞拉齐 :
Java建模工具:用于排队网络建模和工作负载分析的开源套件。 119-120 达尼埃尔·加西亚 , Catalina M.Lladó , 康尼·U·史密斯 , 拉蒙·普贾纳 :
PMIF语义验证工具。 121-122 伯纳德·伯托米厄 , 弗朗索瓦·沃纳达特 :
基于TINA的时间Petri网分析。 123-124 格德·贝尔曼 , 亚历山大·戴维 , 金·古德斯特兰·拉森 , 约翰·哈坎森 , 保罗·佩特森 , 王毅 , 马蒂恩·亨德里克斯 :
UPPAAL 4.0。 125-126 路易吉·萨索利 , 恩里科·维卡里奥 :
通过ORIS工具分析实时系统。 127-128 托马斯·赫罗特 , 理查德·拉赛因 , 西尔万·佩伦内特 :
APMC 3.0:离散和连续时间马尔可夫链的近似验证。 129-130 弗兰克·西辛斯基 , 克里斯特尔·拜尔 :
LiQuor:反应系统的定性和定量线性时间分析工具。 131-132 何塞·马丁内斯 , Boudewijn R.Haverkort公司 :
MathMC:一个基于数学的工具,用于确定性和随机Petri网的CSL模型检查。 133-134 彼得·坎佩尔 , 卡斯滕·泰珀 :
Traviando-使用消息序列图调试模拟跟踪。 135-136 托德·考特尼 , 什拉文·甘卡 , 马克·格里菲斯 , 永维林 , 迈克尔·麦克奎恩 , 埃里克·罗泽尔 , 威廉·桑德斯 :
莫比乌斯建模环境中的数据分析和可视化。 137-138 安德烈亚·邦达瓦利 , 西尔瓦诺·齐亚拉多纳 , 保罗·洛里尼 , 法布里齐奥·斯奎蒂耶里 :
将MPS建模方法集成到Mobius中。 139-140 马修·柯蒂斯·马里 , 迪米特里奥斯·尼科洛普洛斯 , 克里斯托斯·安东诺普洛斯 :
PACMAN:英特尔超线程处理器的PerformAnce计数器管理器。 141-144
邀请的谈话
皮埃尔·勒库耶 :
呼叫中心的建模与优化问题。 145-156
第2.1节: 马尔可夫决策过程
Marta Z.Kwiatkowska公司 , 格钦·诺曼 , 大卫·帕克 :
马尔可夫决策过程的基于博弈的抽象。 157-166 埃卡德·博德 , 马克·赫伯斯特里特 , 霍尔格·赫尔曼斯 , 斯文·乔尔 , 托马斯·佩肯坎普 , 雷扎·普隆安 , 拉尔夫·威默 , 伯恩德·贝克尔 :
STATEMATE的成分性能评估。 167-178
第2.2节: 模型检查
克里什南杜·查特吉 , 卢卡·德·阿尔法罗 , 马可·费拉 , 托马斯·亨辛格 , 鲁帕克·马朱姆达尔 , 玛丽埃尔·斯托琳加 :
作文定量推理。 179-188 穆阿德·本·马蒙 , 尼哈尔·佩克金 , 萨那尤纳斯 :
用闭式有界分布对连续时间马尔可夫链进行模型检验。 189-198 大卫·塞洛蒂 , 苏珊娜·多纳泰利 , 安德拉斯·霍瓦思 , 杰里米·斯普洛斯顿 :
广义随机Petri网的CSL模型检验。 199-210
第2.3节: 可集中性
马可·贝库蒂 , 朱利安娜·弗朗西斯科尼斯 , Souheib Baarir公司 , Jean-Michel Ilié :
部分对称系统中的有效集总检查。 211-220 贾森·马尔科夫斯基 , 尼古拉·特雷卡 :
用无声步骤集总马尔可夫链。 221-232
第2.4节: 马尔可夫模型
彼得·布赫霍尔茨 , 彼得·坎佩尔 :
基于精确和近似分析技术的马尔可夫模型进化策略优化。 233-242 大卫·戴利 , 彼得·布赫霍尔茨 , 威廉·桑德斯 :
马尔可夫报酬模型的有界保留合成。 243-252 帕罗什·阿齐兹·阿卜杜拉 , 努梅内·本·亨达 , 理查·马 , 斯文·桑德伯格 :
具有紧急吸引子的马尔可夫链的极限行为。 253-264
邀请的谈话
阿里夫商人 :
设计和管理存储系统:问题、技术和挑战。 265-268
第3.1节: 网络优化
霍克特·坎塞拉 , 巴勃罗·罗德里格斯-博卡 :
内容网络中缓存到期日期的优化。 269-278 叶泽卡尔·哈耶尔 , 维克托·曼努埃尔·拉莫斯·拉莫斯 , 布鲁诺·塔芬 :
反向链路DS-CDMA多类业务的最优静态定价。 279-290
第3.2节: 可达性
克里希南德·查特吉 , 卢卡·德·阿尔法罗 , 托马斯·亨辛格 :
并行可达性游戏的策略改进。 291-300 Joost-Pieter Katoen公司 , 伊万·萨普雷夫 :
时间限制可达性的安全飞行稳态检测。 301-310 贾斯珀·贝伦德森 , 大卫·N·詹森 , Joost-Pieter Katoen公司 :
可能按时且在预算内:关于定价概率时间自动机中的可达性。 311-322
第3.3节: 排队
利文特·博德罗 , 加博尔·霍瓦思 , 桑多·拉茨 , 米克洛斯·特雷克 :
基于标记客户方法的自动分析工具支持。 323-332 朱利亚诺·卡萨利 :
关于单类载荷相关的归一化常数方程。 333-342 大卫·桑利 , 哈夫·扎奇勒 :
探索队列中矩阵多项式方程解的正确性和准确性。 343-352 李浩宇(Ho Woo Lee) , 郑宇白 :
BMAP/G/1队列中的阈值工作负载控制。 353-364
第3.4节: 服务器系统
谢梦君 , 科万·塔巴塔拜 , 王海宁 :
识别低配置文件Web服务器的IP指纹。 365-374 菲利普·雷内克 , Aad P.A.van Moorsel公司 , 卡廷卡·沃尔特 :
快速与公平:错误注入驱动的可靠Web服务重启Oracle比较。 375-384 宁房米 , 张琦 , 阿尔玛·里斯卡 , 叶夫根妮亚·斯米尔尼 :
双优先级集群服务器中用于性能差异的负载平衡。 385-394