...
机译:基于模型检查的分布式系统优先级调度
Centre Equation-VERIMAG, 2 Avenue de Vignate, Gieres, France;
Centre Equation-VERIMAG, 2 Avenue de Vignate, Gieres, France;
Department of Computer Science, Bar Ilan University, Ramat Gan 52900, Israel;
Centre Equation-VERIMAG, 2 Avenue de Vignate, Gieres, France;
model checking; synthesis; controller design; knowledge; temporal logic;
机译:基于优先的基于联合EDF-RM调度算法,用于分布式系统的个别实时任务
机译:基于自适应优先级的数据放置和地理分布式云系统中的多任务调度
机译:异构分布式系统中基于路径优先级的任务调度算法
机译:基于模型检查的分布式系统优先级调度
机译:一种高效的实时分布式计算中间件的模型,该模型结合了细粒度的程序段级别的基于期限的调度策略和基于有效检查点的复制方案。
机译:动态优先级调度方案在动力感知型风车任务模型静态系统中的应用
机译:基于模型检测的分布式系统优先级调度