退出
我的积分:
中文文献批量获取
外文文献批量获取
张杨; 孙仕欣; 张冬雯; 东春浩; 乔柳;
河北科技大学信息科学与工程学院,河北石家庄050018;
并发软件重构; 一致性检测; 控制流分析; 数据流分析; 同步依赖分析;
机译:从C应用程序推断和重构面向对象模型的方法
机译:面向路径重构的传感器位置模型的随机程序方法
机译:SimpA:一种面向代理的方法,用于在Java之上对并发应用程序进行编程
机译:通过使用执行迹线的一致性将面向对象的应用程序重构为面向对象的应用程序
机译:面向程序员的安全并发方法
机译:尿路上皮癌的四种市售经过验证的程序性细胞死亡配体-1检测方法之间的一致性
机译:S1b-simpA:在Java之上对并发应用程序进行原型设计的面向代理的方法/ simpA:在Java上并发应用程序原型的面向代理的方法
机译:面向多边形数据的信息嵌入方法,信息检测方法,面向多边形数据的信息嵌入设备,信息检测设备,面向多边形数据的信息嵌入程序,面向存储器的信息检测程序,用于存储存储介质的信息以及用于存储信息的程序的存储介质存储信息检测程序
机译:用于记录程序对象形状重构的记录介质,移动对象检测方法,对象形状重构,移动对象检测装置,对象形状重构,移动对象检测程序以及
机译:在面向对象程序中检测重构机会的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。