机译:POWER5微处理器和POWER5多处理器系统的功能验证
IBM Systems and Technology Group, 11400 Burnet Road, Austin, Texas 78758;
机译:POWER5微处理器和POWER5多处理器系统的功能验证
机译:新的IBM eServer p5具有Power5微处理器
机译:POWER4微处理器和POWER4多处理器系统的功能验证
机译:POWER5的设计与实现?微处理器
机译:在微处理器和存储系统的形式验证中自动生成不变量。
机译:重组系统中白喉毒素A基因的功能验证
机译:siCortex多处理器片上系统的功能验证
机译:多处理器系统的可靠性。多小型机,模块化多微处理器和投票多处理器的案例研究。