搜索结果: 1-4 共查到“计算机科学技术 SMT”相关记录4条 . 查询时间(0.119 秒)
中国自主研发求解器首获国际SMT比赛冠军
求解器 整数差分逻辑(QF_IDL)组 冠军
font style='font-size:12px;'>
2021/8/17
近日，形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果，中国科学院软件研究所（以下简称软件所）研究员蔡少伟带领团队研发的求解器荣获整数差分逻辑(QF_IDL)组冠军。这也是中国团队首次在SMT-COMP比赛中获得冠军。
Minimum Satisfying Assignments for SMT
Minimum Satisfying Assignments SMT
font style='font-size:12px;'>
2016/5/24
A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum satisfying assignments have appl...
Effective Use of Linguistic and Contextual Information for SMT
Effective Use Linguistic Contextual Information SMT
font style='font-size:12px;'>
2013/4/22
Effective Use of Linguistic and Contextual Information for SMT。
超标量处理器中引入SMT技术的性能分析研究
超标量处理器 同时多线程 每周期完成的指令数（IPC）
font style='font-size:12px;'>
2009/7/23
同时多线程（SMT）是一种允许多个独立的线程每周期发射多条指令的技术，这种技术充分利用了可能存在的指令级并行和线程级并行，提高了有限资源的利用率。文章以西北工业大学航空微电子中心自主研发的32位超标量处理器“龙腾R2”为基础，引入SMT技术，在基本不改变内部结构大小、不增加执行功能部件、仅做一些必要修改的前提条件下进行研究。通过仿真不同的线程数和各种线程组合，进行性能分析。尽管存在制约性能提升的一...