2025年1月4日
星期六
|
欢迎来到鞍山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
蔡宇
作品数:
2
被引量:0
H指数:0
供职机构:
浙江万里学院电子信息学院
更多>>
发文基金:
宁波市自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
吴耀辉
浙江万里学院电子信息学院
崔凤江
浙江万里学院
陆光华
浙江万里学院
梁丰
浙江万里学院电子信息学院
王健全
浙江万里学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
期刊文章
1篇
科技成果
领域
2篇
自动化与计算...
主题
1篇
硬件
1篇
硬件平台
1篇
求解器
1篇
跨层
1篇
跨层设计
1篇
宽带
1篇
加速器
1篇
加速器设计
1篇
SYSTEM...
1篇
DPLL
1篇
MAC
1篇
MAC层
1篇
MAC层协议
1篇
超宽带
机构
2篇
浙江万里学院
作者
2篇
吴耀辉
2篇
蔡宇
1篇
王阳
1篇
肖质红
1篇
王健全
1篇
梁丰
1篇
陆光华
1篇
崔凤江
传媒
1篇
电脑知识与技...
年份
1篇
2010
1篇
2009
共
2
条 记 录,以下是 1-2
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
面向超宽带的MAC层协议加速器设计
吴耀辉
肖质红
蔡宇
陆光华
王阳
崔凤江
王健全
该项目开发的协议加速器在两方面实现了协议加速,一方面是通过把MAC协议中一些定时要求不严格的功能从硬件平台移到了主机侧,增加了系统的灵活性,也减轻了硬件平台的负担,实现了协议加速;另一方面是采用系统优化的跨层设计方法,对...
关键词:
关键词:
加速器
MAC
硬件平台
跨层设计
基于SystemC的SAT求解器设计
2010年
该文描述了可满足性问题(SAT)求解器的设计及性能。首先,基于DPLL算法设计了一个单核SAT求解器的SystemC模型。校准这个模型,使之与工作站级计算机的软件性能相匹配,结果发现通过不连续内存访问数可以准确地估计运行时间。接着,设计了一个多核SAT求解器模型,使之能共享学习短句。通过广泛地仿真,演示了这个方法的并行效率。针对DPLL算法并行化水平低时的性能退化问题,进行了算法改进,结果得到了明显的改善。
吴耀辉
梁丰
蔡宇
关键词:
求解器
SYSTEMC
DPLL
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张