退出
我的积分:
中文文献批量获取
外文文献批量获取
高飞;
太原理工大学;
CSP; 多线程; 形式化建模; 死锁;
机译:死锁映射:多线程程序的动态死锁检测
机译:基于形式化和基于Petri网的状态变化失效模型因素的可靠性建模扩展
机译:运行时死锁跟踪和防止并发多线程程序:一种基于学习的方法
机译:对于多线程计算机程序(扩展摘要)来避免最大限度的允许死锁避免
机译:使用定时CSP运算符扩展CSP ++框架。
机译:双重深度建模:具有双重效能的多层次建模及其在F-Logic中的形式化
机译:基于扩展Tomasulo方案的可扩展,多线程,多问题数组处理器体系结构,用于DSP应用
机译:用于分布式系统的形式化建模,分析和开发的可扩展和可扩展的框架。
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:利用CSP编程模型的MIMD计算机处理系统的无死锁消息传递系统
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。