您的位置： 专家智库 > >

陈韬

作品数：4 被引量：3H指数：1
供职机构：南京航空航天大学更多>>
发文基金：中国学位与研究生教育学会研究课题更多>>
相关领域：自动化与计算机技术文化科学政治法律更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇文化科学

主题

  • 1篇大学生
  • 1篇调度
  • 1篇多线程
  • 1篇多线程程序
  • 1篇形式化
  • 1篇形式化规约
  • 1篇云计算
  • 1篇资源池
  • 1篇资源调度
  • 1篇线程
  • 1篇规约
  • 1篇哈希
  • 1篇哈希表
  • 1篇负载均衡
  • 1篇C程序

机构

  • 3篇南京航空航天...

作者

  • 3篇陈韬
  • 1篇刘赛
  • 1篇张光磊
  • 1篇李绪蓉
  • 1篇李舜酩
  • 1篇王亚彤
  • 1篇万麟瑞

传媒

  • 1篇南京航空航天...
  • 1篇第十一届全国...

年份

  • 1篇2018
  • 1篇2013
  • 1篇2012
共 4 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
面向多线程程序的并行运行时验证
现代操作系统、嵌入式系统、航电系统等安全关键系统一般都使用C/C++语言进行开发，因此针对C程序的运行时验证技术研究变得非常重要。主流的运行时验证技术主要针对程序的内存安全性和形式化规约进行检测，首先通过对C程序中与内存...
陈韬
关键词：形式化规约
文献传递
云计算下资源调度模型研究
云计算环境中资源调度管理是云计算的关键技术之一。本文介绍了云计算下资源调度模型，阐述了云计算资源调度流程和云计算环境下实体之间的关系。根据物理服务器的资源属性，建立了一种综合考虑云计算资源负载的调度模型，利用人工加自动的...
刘赛李绪蓉万麟瑞陈韬
关键词：云计算资源调度负载均衡资源池
文献传递
大学生卓越人才培养模式再探索——南京航空航天大学“飞行器动力工程专业培优班”建设的思考被引量：1
2013年
南京航空航天大学"飞行器动力工程培优班"自组建以来既取得了诸多经验,也反映出学生流动性过大和发展机会不足等问题。优化培养方案的关键在于改进招生模式,关注学生心态的培养与潜能的开发,利用学校优势与国内外著名校企建立交流机制,实现资源利用的最大化,进一步从传统教育向现代教育转型。
张光磊王亚彤李舜酩陈韬
全选 清除 导出
共1页<1>
聚类工具0