退出
我的积分:
中文文献批量获取
外文文献批量获取
蒋瀚如;
中国科学技术大学;
并发程序; 分离; 编译;
机译:编译并发程序以进行嵌入式顺序执行
机译:编译器优化符合编译器验证(COCV 2002)J.UCS特刊
机译:经过验证的字节码验证和类型验证编译
机译:将参数化X86-TSO并发程序编译为Cumicle-W.
机译:通信并发程序的编译时可调度性分析。
机译:从钥匙封装到经过身份验证的组密钥建立 - 用于后量子基元的编译器
机译:并发程序中的时钟的编译时分析和特化
机译:并发程序支持设备和并发程序如何创建和并发程序执行设备
机译:自定时SLC NAND流水线和并发程序,无需验证
机译:用于减少使用相互原子事务的并发程序的验证条件的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。