位置：成果数据库 > 期刊 > 期刊详情页
Linear Time Memory Consistency Verification
  • ISSN号：0018-9340
  • 期刊名称：IEEE Transactions on Computers
  • 时间：2012.4.4
  • 页码：502-516
  • 相关项目：基于全局时钟的并行程序调试的若干关键技术研究
作者： Weiwu Hu|Yunji Chen|Tianshi Chen|Cheng Qian|Lei Li|
同期刊论文项目
基于全局时钟的并行程序调试的若干关键技术研究
期刊论文 40 会议论文 21 专利 12 著作 1
同项目期刊论文
系统虚拟化中指令去特权化的软硬件协同设计
一种递归定义的可扩展片上网络拓扑结构
基于MIPS架构的异构内存虚拟化方法研究
多标准视频解码可重构分像素插值结构设计
基于独占式访存调度的片上系统电源门控方法
基于Cache锁和直接缓存访问的网络处理优化方法
面向低能耗的非精确异构多核上的运行时技术
GALS处理器的功耗有效性方法研究
Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configuration
An FFT Performance Model for Optimizing General-Purpose Processor Architecture
一种面向多核处理器的通用可调试性架构
Microarchitectural design space exploration made fast
Physical Implementation of the Eight-Core Godson-3B Microprocessor
基于MIPS架构的内存虚拟化研究
基于二进制插桩的ASIP处理器指令集混合仿真方法
基于共享存储的高可伸缩嵌入式集群模型
An Elastic Architecture Adaptable to Various Application Scenarios
处理器验证激励在线筛选技术
片上多核处理器共享资源分配与调度策略研究综述
龙芯3A多核处理器系统级性能优化与分析
LDet: Determinizing Asynchronous Transfer for Postsilicon Debugging
Program Regularization in Memory Consistency Verification
多微通道内存系统设计方法
基于模型树的多核设计空间探索技术
用于多核同步优化的cache一致性协议设计
HEVC分像素插值与自适应环路滤波融合结构设计
数据触发的基本块间弹性控制电路综合方法