...
机译:使用概率定时角色的分布式和异步系统的性能分析
机译:低密度奇偶校验中的关节继电器和传输接收天线选择的性能分析,用于低密度奇偶校验检查异步分布式空间块编码协作分集系统
机译:分布式概率定时演员的定性和定量模型检查
机译:基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
机译:动态捕捉,用于实时控制现场表演,分布式表演中的虚拟演员
机译:分布式实时汽车系统的概率时序分析。
机译:基于实时参与者的系统的可调度性分析
机译:基于概率模型检查技术与仿真混合分析的实时分布式系统QoS分析
机译:分布式可扩展异步实时系统增量开发环境