基于PRISM的分布式实时操作系统任务调度的形式化验证

Name: 基于PRISM的分布式实时操作系统任务调度的形式化验证
Rating: 4.5 (30 reviews)
Author: 梦旅人x

上传者：梦旅人x 2021-03-17 01:26:14上传 PDF文件 844.65KB 热度 30次

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

基于PRISM的分布式实时操作系统任务调度的形式化验证

基于PRISM的分布式实时操作系统任务调度的形式化验证

大小：845KB | 2021-03-17 01:26:14
OSEK实时操作系统任务调度的优化

分析OSEK/VDX规范所定义的实时操作系统的任务状态及其调度过程；采用最早时限优先调度（EDF）算...

大小：100KB | 2020-07-29 06:45:58
实时操作系统的任务调度原因分析

最近看了一些实时操作系统的源码,关于任务调度是实时操作系统的重要组成部分,但是何时发生调度,怎样才能...

大小：61KB | 2020-10-03 22:19:50
实时系统的形式化验证

大小：0B | 2019-01-21 09:15:11
分布式实时系统任务调度算法的设计和实现

分布式实时系统任务调度算法的设计和实现，论文

大小：0B | 2019-07-11 12:05:36
论文研究实时操作系统任务调度算法的硬件实现.pdf

对uC/OS-II的任务调度算法进行改进和硬化，在uC/OS-II内核基于优先级的抢占式调度算法的基...

大小：0B | 2020-01-04 18:45:32
分布式任务调度

XXL-JOB是一个轻量级分布式任务调度框架，其核心设计目标是开发迅速、学习简单、轻量级、易扩展。现...

大小：0B | 2018-12-22 03:00:38
lts分布式任务调度系统

lts分布式任务调度系统包含后台管理，demo的整合

大小：0B | 2019-07-11 12:05:30
Androidlitejob分布式任务调度系统

lite-job分布式任务调度系统

大小：0B | 2019-09-03 02:09:33
分布式任务调度系统调研

job-；LTS(light-task-scheduler)；Elastic-job；Antares...

大小：0B | 2019-09-03 02:09:36
spring分布式任务调度

基于xxl-job改造，支持1.6jdk。改分布式任务调度特性如下：1、简单：支持通过Web页面对任...

大小：0B | 2019-07-11 12:05:14
LTS分布式任务调度

LTS分布式任务调度

大小：0B | 2019-07-11 12:05:24
VIP的分布式任务调度平台

VIP的分布式任务调度平台。它支持java和shelljobs特性分片、容错、高可用性……

大小：0B | 2019-09-19 07:37:33
操作系统任务调度C++Windows演示

图型界面的C++任务调度算法演示源码操作系统中任务调度过程演示3种算法

大小：3.44MB | 2020-07-26 20:26:16
go crontab分布式分布式任务调度系统源码

go-crontab 结合Etcd与MongoDB基于Master-Worker分布式架构的任务调度...

大小：24KB | 2021-05-11 12:28:21
Web服务的形式化验证

将Web服务组合建模为多智能体系统，采用时态知识逻辑模型检测工具MCTK刻画贷款协议Web服务实例，...

大小：0B | 2019-05-13 08:36:50