退出
我的积分:
中文文献批量获取
外文文献批量获取
陈曦; 钱红兵;
北京航空航天大学软件工程研究所;
Ada语言; 静态检测; 死锁; 程序语言;
机译:Ada 2012程序中与队列操作相关的任务处理死锁
机译:Ada 2012程序中的新型任务处理死锁
机译:使用完整Ada 95在程序中处理死锁
机译:Ada多任务程序中活动锁的静态检测
机译:X86恶意可执行文件的静态检测和识别:多学科方法。
机译:CADASIL的新型病理特征和潜在治疗方法:从CADASIL小鼠模型获得的见解
机译:静态检测死锁; CU-CS-122-77
机译:Java软件中死锁的静态检测
机译:考虑到线程的启动和联接,可以有效地静态检测数据争用和死锁。
机译:防止多机器人系统中的一对机器人死锁的方法,涉及通过自动确定并执行无死锁的运动语句来避免程序执行过程中的死锁条件。
机译:用于应用程序的自动化,静态检测的方法和系统,这些应用程序设计用于在资源受限的环境(例如移动设备或电视机顶盒)中执行
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。