退出
我的积分:
中文文献批量获取
外文文献批量获取
高波;
复旦大学;
验证计划; 自动化; 功能验证; 可预见性;
机译:SAIVMM:云环境中服务器整合的自适应智能VMM计划程序
机译:在VMM上使用机器学习技术基于可执行文件的重构语义视图的自动化多级恶意软件检测系统
机译:DEGSA-VMM:云计算负载平衡VMM策略的基于蜻蜓的指数重力搜索算法
机译:计划Svmmary.
机译:VMM支持内核监视。
机译:基于蒙特卡洛的自动化质子疗法的治疗计划验证
机译:使用系统Verilog和验证方法手册(VMM)研究和开发ASIC器件的高级验证基础结构
机译:ada(商品名)编译器验证摘要报告:证书编号:88121511.09159。 Krupp atlas Elektronik GmBH Krupp Elektronik GmBH ada编译器VmmE 1.8 a主机:Vms 11/785,Vms 4.5与Krupp atlas Electronik相结合
机译:使用自动化计划程序自动验证工作流程计划的系统和方法
机译:使用具有指定时间的VMM计时器指示符的使能值和VMM计时器值来控制VMM和VM之间的切换的系统和方法
机译:指令集支持在没有VMM干预的情况下调用VMM配置的服务
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。