基于PRISM的分布式实时操作系统任务调度的形式化验证
用户评论
推荐下载
-
分布式调度系统选择分析
分布式调度系统选择分析,用亿图软件做的一个分布式调度系统的分析的脑图,包含,Time ,Spring 的@Scheduled,Quartz 分布式集群开源工具,基于Quartz自己开发 等几个分析
13 2020-10-28 -
实时可靠的开源分布式实时计算系统Storm
在Hadoop生态圈中,针对大数据进行批量计算时,通常需要一个或者多个MapReduce作业来完成,但这种批量计算方式是满足不了对实时性要求高的场景。Storm是一个开源分布式实时计算系统,它可以实时
27 2021-02-01 -
论文研究基于关键引用验证的分布式实时垃圾搜集器.pdf
提出了一种新的分布式垃圾搜集器(GC)机制,即基于关键引用验证的分布式GC。性能分析说明,与以往的分布式GC相比,该算法能以最短的时间延迟回收循环垃圾。尽管该算法为保留引用列表和验证过程需要额外的一些
8 2020-07-16 -
论文研究基于任务复制的分布式聚簇与贪心调度算法.pdf
基于任务复制的分布式聚簇与贪心调度算法,何琨,袁凌,在分布式同构系统中调度相关任务以最小化完工时间的问题是并行任务静态调度中的一个重要问题,也是研究并行分布式异构系统中多任
24 2019-08-17 -
PowerJobv3.2.1分布式任务调度框架
PowerJob是全新一代分布式调度与计算框架,支持CRON、API、固定频率、固定延迟等调度策略,提供工作流来编排任务解决依赖关系,使用简单,功能强大,文档齐全,能让您轻松完成作业的调度与繁杂任务的
7 2020-09-21 -
Elastic Job分布式任务调度_v1.0.pdf
Elastic-Job分布式任务调度_v1.0.pdf
10 2020-10-14 -
xxl job分布式任务调度平台v2.2.0
为您提供xxl-job分布式任务调度平台下载,XXL-JOB是一个轻量级分布式任务调度平台,其核心设计目标是开发迅速、学习简单、轻量级、易扩展。现已开放源代码并接入多家公司线上产品线,开箱即用。XXL
27 2020-09-29 -
xxl job master分布式任务调度平台源代码
xxl-job-master是一个开箱即用的分布式任务调度平台。该平台设计简单易学,轻量级而又易扩展。现已开放源代码,用户可以自由使用和修改代码。多家公司线上产品线已经成功接入该平台,证明了它的可靠性
13 2023-05-07 -
CheapOS操作系统--嵌入式实时多任务操作系统免费源码下载
CheapOS操作系统--嵌入式实时多任务操作系统免费源码下载CheapOS当前使用与UCOS完全兼容的硬件抽象层,和UCOS的HAL完全硬件兼容。它是完全免费的源代码,用户可直接用于它们的商业产品上
6 2022-11-02 -
论文研究一种改进的IKEv2协议及其形式化验证.pdf
针对IKEv2协议在系统开销和发起方身份保护方面的不足,提出了一种改进协议的方案。新的协议采用基于超椭圆曲线的Weil对技术进行数字签名认证,并且首先认证响应方身份。通过该方案,改进后的协议降低了系统
18 2020-04-20
暂无评论