退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:朝着IoT应用程序实时任务调度的正式验证和评估工具的设计
Shabir Ahmad; Sehrish Malik; Israr Ullah; Dong-Hwan Park; Kwangsoo Kim; DoHyeun Kim;
机译:经过正式验证的用于POSIX实时操作系统上的实时调度的应用程序级框架
机译:关于SNSP的设计和形式验证:针对安全关键型应用程序的新型实时通信协议
机译:用于VHDL设计的正式验证工具的设计与应用
机译:实时设计的验证:将调度理论与自动正式验证相结合
机译:硬实时系统中用于任务分配和计划的工具。
机译:严格评估处理器DVS和非易失性存储器分配的实时任务可调度性
机译:经过正式验证的应用程序级框架,可在posix实时操作系统上进行实时调度
机译:根据已验证的权重,任务的缓存命中率无线电和可用的处理核心,实时调度任务集并确定任务集
机译:进行分层实时调度系统正式验证的装置和方法
机译:用于实时系统的分层调度的形式验证的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。