软件搜索-zbMATH Open

荷鲁斯

swMATH ID:	21811
软件作者：	Robbert Van Renesse、Takako M.Hickey、Kenneth P.Birman
描述：	Horus的设计与性能：一种轻量级群组通信系统。Horus项目旨在开发一种通信系统，以满足各种分布式应用程序的需求。Horus实施组通信模型，提供（除其他外）不可靠或可靠的FIFO、因果或总组组播。它具有广泛的分层和高度可重构性，允许应用程序只为其使用的服务付费。此体系结构允许具有不同通信需求的组在单个系统中共存。该方法允许实验新的通信属性和系统的增量扩展，并使我们能够支持各种面向应用程序的接口。我们的初步实验表明性能良好。
主页：	https://dl.acm.org/citation.cfm？id=866719
相关软件：	Nuprl公司；PVS公司；威尔第；PSync（同步）；PlusCal（加号）；自旋蛋白；IOzone公司；第一个ST；数学网；JProver公司；低成本融资；OMDoc公司；自动化；MetaPRL公司；Coq公司；ACL2型；HOL公司；伊莎贝尔
引用于：	14文件

2	马克·比克福德
2	克里斯托夫·克里茨
2	亚历山大·施瓦兹曼（Alexander A.Schwarzmann）。
2	罗伯特·范·雷内西
1	斯图亚特·艾伦。
1	塞尔吉奥·阿雷瓦洛
1	哈吉特·阿提亚
1	奥扎尔普·巴巴奥格鲁
1	安吉洛斯·比拉斯
1	Kenneth P.伯曼。
1	康斯坦丁诺斯·查萨皮斯
1	佛罗伦萨雪佛龙
1	乔尔维，Vicent
1	罗伯特·李，警察
1	伦佐·达沃利
1	什洛米·多列夫
1	理查德·伊顿
1	米歇尔·弗洛里斯（Michail D.Flouris）。
1	罗伊·弗里德曼
1	克里斯西·乔治奥
1	路易吉·贾奇尼
1	马克·海登
1	奥雷利·胡罗
1	埃内斯托·吉梅内斯
1	大卫·A·卡尔。
1	雷诺德·拉查泽
1	刘晓明
1	洛里戈，洛里
1	基思·马尔祖洛
1	Melliar Smith，P.迈克尔
1	E.莫兰。
1	路易丝·莫瑟（Louise E.Moser）。
1	菲利普·奎因内克
1	阿列塔·里奇亚迪（Aleta M.Ricciardi）。
1	保罗·萨巴蒂尼
1	罗伯特·塞加拉
1	哈达斯·沙奇奈
1	杰里米·苏斯曼
1	安德鲁·S·塔能鲍姆。
1	马滕·范·斯汀