退出
我的积分:
中文文献批量获取
外文文献批量获取
杨舜尧;
阜新高等专科学校工程系 辽宁 123000;
并行系统; 静态方法; 多线程; 弱一致性模型; 静态分析;
机译:在类型安全的多线程Java中对线程的多个启动进行静态检查
机译:仿射环不变性检测的模块化静态分析方法
机译:单线程和多线程程序的模块化终止验证
机译:多线程C / C ++程序中缺陷检测的静态分析方法
机译:对多线程和递归程序中的内存访问进行静态分析。
机译:探索性数据分析方法揭示高通量数据中的模块化潜在结构
机译:通过抽象解释进行关系线程-模块化静态值分析
机译:操作线程开发:一种结构化的能力分析方法
机译:并发多线程软件的静态分析方法
机译:静态逆变器电路中用于产生周期性电信号的电路,振荡器电路,用于使逆变器与静态信号同步脉冲同步的振荡器,用于增强静态逆变器中CC强度的电路和过程。静态逆变器吸收静态逆变器中无功负载存储的能量。在静态逆变器中生成周期性电信号的过程。使静态逆变器中的振荡器与同步信号的脉冲同步的过程,以及吸收存储的能量的过程通过静态逆变器的无功负载
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。