Real-time systems; embedded systems; end-to-end analysis;
机译:全局异步本地同步系统中异步接口的串扰毛刺传播建模
机译:使用常规同步设计工具的全局异步本地同步系统的设计流程
机译:有关全局异步和本地同步(GALS)系统的形式方法的特殊问题
机译:全局异步本地时间触发系统中的新鲜度和反应性分析
机译:放眼全球,在本地采取行动:使用能值分析评估小规模,人为主导的系统
机译:运动中的相互和异步预期与行动是全球竞争和局部协调的动力
机译:全局异步本地时间触发系统中的新鲜度和反应性分析