退出
我的积分:
中文文献批量获取
外文文献批量获取
屈婉霞; 庞征斌; 郭阳; 李暾; 杨晓东;
国防科技大学,计算机学院,湖南,长沙,410073;
参数化系统; 模型检验; 抽象; 多处理机系统; Cache一致性协议;
机译:通过二维抽象在模型检查参数化缓存一致性协议中减少状态空间
机译:用于二维湍流的子级尺度参数化的稳定和尺度意识的动态建模框架
机译:单调抽象(关于参数化系统的有效验证)
机译:有界输入线性系统的符号抽象中完整性的参数化
机译:使用Rasmussen的抽象层次结构的扩展作为框架来设计复杂动态系统的监控系统。
机译:引入动态知识表示框架的移植免疫学控制结构的框架:利用基于实体器官移植代理的模型利用抽象的力量
机译:基于saT的抽象细化框架中重新参数化的符号模拟实验
机译:用参数化单元实现抽象布局结构的方法和系统
机译:用于在二维地址空间中参数化二维图像域代码模式的并行传播嵌入式二进制序列
机译:使用全局参数化在二维中建立任意属和任意拓扑的三维表面的对应,匹配和修复的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。