威廉亨德森
人员信息
其他同名人员
优化列表
2020年–今天
2010 – 2019
2010 【c9】 卡希夫·萨加尔 , 威廉亨德森 , 大卫·肯德尔 , 艾哈迈德·布里丹 :
稳健无线传感器网络路由协议的形式化建模。 空气处理系统 2010 : 281-288 【c8】 卡希夫·萨加尔 , 威廉亨德森 , 大卫·肯德尔 , 艾哈迈德·布里丹 :
应用形式化建模检测无线媒体中的DoS攻击。 CSNDSP公司 2010 : 896-900
2000 – 2009
2001 [公元22年] 威廉亨德森 , 彼得·泰勒 :
准可逆节点的状态相关耦合。 排队系统。 理论应用。 37 ( 1/3 ) : 163-197 ( 2001 ) [公元21年] 赵修利 , 威廉亨德森 , 彼得·泰勒 :
一般网络中的状态依赖耦合。 排队系统。 理论应用。 39 ( 4 ) : 337-348 ( 2001 ) [j20] 威廉亨德森 , 大卫·肯德尔 , 阿德里安·罗布森 :
提高分布式系统调度分析的准确性,计算最小响应时间并减少抖动。 实时系统。 20 ( 1 ) : 5-25 ( 2001 ) [公元19年] 史蒂文·布拉德利 , 威廉亨德森 , 大卫·肯德尔 , 阿德里安·罗布森 :
一种用于具有数据的实时系统的正式设计语言。 科学。 计算。 程序。 40 ( 1 ) : 3-29 ( 2001 )
1990 – 1999
1998 【c7】 史蒂文·布拉德利 , 威廉亨德森 , 大卫·肯德尔 , 阿德里安·罗布森 :
将AORTA与基于模型的数据规范语言集成。 FASE公司 1998 : 54-70 【c6】 大卫·肯德尔 , 史蒂文·布拉德利 , 威廉亨德森 , 阿德里安·罗布森 :
bCANDLE:CAN控制系统的形式化建模与分析。 IEEE实时技术与应用研讨会 1998 : 171-177 1996 [公元18年] J.L.科尔曼 , 威廉亨德森 , 彼得·泰勒 :
随机Petri网的乘积形式均衡分布和卷积算法。 执行。 评价 26 ( 三 ) : 159-180 ( 1996 ) [公元17年] 安德鲁·科伊尔 , Boudewijn R.Haverkort公司 , 威廉亨德森 , 查尔斯·E·M·皮尔斯 :
槽环网络模型的均值分析。 电信通信。 系统。 6 ( 1 ) : 203-227 ( 1996 ) 【c5】 史蒂文·布拉德利 , 威廉亨德森 , 大卫·肯德尔 , 阿德里安·罗布森 , 斯蒂芬·霍克斯 :
一种实时嵌入式系统的形式化设计与实现方法。 欧洲微生物公司 1996 : 77- 1995 [公元16年] 海伦·汤姆林森 , 威廉亨德森 :
计算机支持的学校协作学习:分布式方法。 英国教育杂志。 技术。 26 ( 2 ) : 131-140 ( 1995 ) [公元15年] 威廉亨德森 , 布鲁斯·S·诺斯科特 , 彼得·泰勒 :
排队网络中触发的批处理移动。 排队系统。 理论应用。 21 ( 1-2 ) : 125-141 ( 1995 ) 【c4】 史蒂文·布拉德利 , 威廉亨德森 , 大卫·肯德尔 , 阿德里安·罗布森 :
使用AORTA验证、验证和实现定时协议。 公共电视台 1995 : 205-220 1994 [公元14年] 威廉亨德森 , 布鲁斯·S·诺斯科特 , 彼得·泰勒 :
具有交互批离开的队列的几何平衡分布。 安·Oper。 物件。 48 ( 5 ) : 493-511 ( 1994 ) [j13] 史蒂文·布拉德利 , 威廉亨德森 , 大卫·肯德尔 , 阿德里安·罗布森 :
面向应用的实时代数。 柔和。 工程师J。 9 ( 5 ) : 201-212 ( 1994 ) [公元12年] 史蒂文·布拉德利 , 威廉亨德森 , 大卫·肯德尔 , 阿德里安·罗布森 :
一个基于形式的硬实时内核。 微加工。 微系统 18 ( 9 ) : 513-521 ( 1994 ) [公元11年] 安德鲁·J·科伊尔 , 威廉亨德森 , 查尔斯·E·M·皮尔斯 , 彼得·泰勒 :
产品形态批量移动排队网络中均值分析的一般公式。 排队系统。 理论应用。 16 ( 3-4 ) : 363-372 ( 1994 ) [公元10年] J.L.科尔曼 , 威廉亨德森 , 彼得·泰勒 :
一种卷积算法,用于计算具有适度用户干扰的资源分配问题中的精确均衡分布。 IEEE传输。 公社。 42 ( 234 ) : 1106-1111 ( 1994 ) 【c3】 史蒂文·布拉德利 , 威廉亨德森 , 大卫·肯德尔 , 阿德里安·罗布森 :
设计和实现正确的实时系统。 FTRTFT公司 1994 : 228-246 1993 [公元9年] 威廉亨德森 :
随机Petri网精确平衡分布的发现和使用。 计算。 网络ISDN系统。 25 ( 10 ) : 1143-1153 ( 1993 ) [j8] 威廉亨德森 , D.卢西奇 :
随机Petri网中通过不敏感性进行聚集和分解。 执行。 评价 17 ( 2 ) : 91-114 ( 1993 ) [j7] 安德鲁·科伊尔 , 威廉亨德森 , 彼得·泰勒 :
损耗网络的简化负载近似。 电信通信。 系统。 2 ( 1 ) : 21-50 ( 1993 ) 1992 [j6] 威廉亨德森 , 彼得·泰勒 :
具有移动服务器的离散时间队列中的不敏感度。 排队系统。 理论应用。 11 ( 三 ) : 273-297 ( 1992 ) 1991 [j5] 威廉亨德森 , 彼得·泰勒 :
随机Petri网中的嵌入式进程。 IEEE传输。 软件工程。 17 ( 2 ) : 108-116 ( 1991 ) 【c2】 威廉亨德森 , D.卢西奇 :
随机Petri网聚集与分解的精确结果。 PNPM公司 1991 : 166-175 1990 【j4】 威廉亨德森 :
性能分析:我们什么时候放弃产品形式解决方案。 计算。 网络ISDN系统。 20 ( 1 ) : 271-275 ( 1990 ) [j3] 威廉亨德森 , 查尔斯·E·M·皮尔斯 , 彼得·泰勒 , 尼科·范迪克 :
具有批处理服务的封闭排队网络。 排队系统。 理论应用。 6 ( 1 ) : 59-70 ( 1990 ) [注2] 威廉亨德森 , 彼得·泰勒 :
具有批到达和批服务的排队网络中的产品形式。 排队系统。 理论应用。 6 ( 1 ) : 71-87 ( 1990 )
1980 – 1989
1989 【c1】 威廉亨德森 , 彼得·泰勒 :
随机Petri网精确性能分析中的聚合方法。 PNPM公司 1989 : 12-18 1984 [j1] 威廉亨德森 , R.W.肯宁顿 , 查尔斯·E·M·皮尔斯 :
再看车道排队问题。 运输。 科学。 18 ( 1 ) : 85-93 ( 1984 )