跳到主要内容
文献计量学
跳过目录部分
专栏:2012年LADIS第六次大规模分布式系统和中间件研讨会的扩展论文选集
评论文章
研究文章
研究文章
BookKeeper的耐用性

实际系统通常必须保证对系统状态的更改是持久的。此类系统的示例包括数据库、文件系统和有保证交付的消息传递中间件。实现耐久性的一种常见方法是。。。

研究文章
作为优化分解的多租户存储中的公平性和隔离性

共享存储服务在商业云中得到广泛采用。但今天的大多数系统在租户之间提供了微弱的性能隔离和公平性(如果有的话)。大多数多租户资源分配方法都是基于per-VM。。。

专栏:SBESC 2012巴西计算系统工程研讨会的扩展论文选集
部分
会议详情:SBESC 2012年巴西计算系统工程研讨会精选扩展论文

巴西计算系统工程研讨会(SBESC)是研究界的一项倡议,最初与三项活动相关:巴西实时系统研讨会,创建于1998年;巴西操作系统研讨会,。。。

研究文章
基于组件的嵌入式操作系统的形式化验证

嵌入式系统日益复杂,将其设计推向了系统级,从而导致了软件和硬件之间的融合。因此,该领域的操作系统也需要以。。。

研究文章
拜占庭复制的自适应请求批处理

Castro和Liskov于1999年提出了一种成功的拜占庭容错复制解决方案,命名为PBFT,它克服了早期拜占庭容错复制协议的性能缺陷。其他提案进一步扩展了PBFT。。。

列:个人提交
研究文章
从非常大的跟踪文件计算系统参数统计信息的框架

在本文中,我们提出了一个框架,以有效的方式计算、存储和检索来自大记录道的各种系统度量的统计信息。提出的框架允许对任何给定时间的系统度量值进行快速交互式查询。。。

评论文章
第四次软件升级热点研讨会报告(HotSWUp 2012)

2012年6月3日,第四届软件升级热点研讨会(HotSWUp 2012)在瑞士苏黎世举行。该研讨会与ICSE 2012合用一地。HotSWUp的目标是通过跨学科合作,确定前沿。。。

学科

评论