计算机科学杂志北大期刊CSCD期刊统计源期刊

计算机科学 2014年第08期杂志 文档列表

计算机科学杂志2013年全国理论计算机科学学术年会

虚拟集群上面向功耗的形式化的VM调度策略第38-41页

关键词: 虚拟化；  dvfs；  功耗；  调度；  

基于层次化时间STM软件设计的形式化验证第42-46页

关键词: 层次化时间状态迁移矩阵；  形式化验证；  有界模型检测；  

基于非局部POCS的超分辨率图像重建第47-49页

关键词: 超分辨率重建；  非局部均值滤波；  图像插值；  

基于BPMN的Web服务并发交互机制第50-54页

关键词: bpmn；  orc；  web服务交互；  

求解二维矩形Packing问题的完备算法第55-59页

关键词: packing问题；  完备算法；  计算复杂度；  prufer编码；  有向无环图；  

部分多值逻辑函数集中准完备集的分类问题研究第60-62页

关键词: 多值逻辑；  完备性；  保关系；  准完备集；  sheffer函数；  

与体系结构匹配的多级可重构任务划分方法第63-66页

关键词: 计算任务；  体系结构；  多级可重构；  任务划分；  

一种新闻评论情感词典的构建方法第67-69页

关键词: 情感词典；  图排序；  pagerank算法；  新闻评论；  

无线网络中寻找非干扰不相交路径的拟人算法第70-74页

关键词: 无线网络；  不相交路径；  非干扰不相交路径；  np难度；  拟人算法；  

云计算环境下基于模糊聚类的并行调度策略研究第75-80页

关键词: 云计算；  并行调度；  模糊聚类；  任务资源混合聚类；  贝叶斯分类算法；  

优先级边排序策略及其性能分析第81-84页

关键词: 网络可靠度；  二叉决策图；  优先级边排序策略；  

列名与数值不确定情况下的模式匹配问题研究第85-89页

关键词: 不确定性；  模式匹配；  条件互信息；  

基于概率的信任传播模型第90-93页

关键词: 信任；  社交网络；  信任网络；  信任预测；  

一种基于Android平台的图像加密方案第94-96页

关键词: 移动平台；  android；  图像加密；  

蒙古文依存句法分析第97-100页

关键词: 蒙古文；  依存句法分析；  最大生成树；  自然语言处理；