章程

作品数：5被引量：32H指数：2
导出分析报告
供职机构：上海交通大学更多>>
发文主题：契约式设计RTCP协议国际互联网实时视频传输WEB站点更多>>
发文领域：自动化与计算机技术医药卫生金属学及工艺电子电信更多>>
发文期刊：《微型电脑应用》《计算机应用与软件》《计算机工程》更多>>
所获基金：高等学校国家重点实验室和教育部重点实验室访问学者专项基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于静态分析的高精度程序日志解析技术被引量：1
《计算机工程》2013年第10期68-71,75,共5页范惊 章程 
国家自然科学基金资助面上项目(60970009);国家自然科学基金资助重点项目(91118004)
针对现有的程序日志解析技术准确率较低的问题,提出一种新的日志解析技术。该技术结合过程间和过程内程序分析,在程序的抽象语法树上进行过程间的方法调用分析,同时利用Java字符串分析技术进行过程内的数据流分析,将两者结合为程序源代...
关键词：控制台日志 日志解析 静态分析 抽象语法树 字符串分析 自动机 
支持契约式设计的Java静态验证器的研究被引量：1
《计算机应用与软件》2008年第5期134-136,共3页章程 赵建军 沈备军 陈昊鹏 
基于对Java编译器的扩展和静态验证技术提出了VeriJava项目,与相关工作相比,它的优点在于从语言层面扩展了Ja-va,并且全面支持动态和静态的契约检查。首先介绍了VeriJava项目的整体架构,及其对Java进行的语言层面的扩展,进而重点讨论了...
关键词：契约式设计(DBC) JAVA 静态验证 
用于支持契约的AOP代码生成器的研究与实现
《微型电脑应用》2007年第1期1-4,18,共5页章程 
面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点。契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性。本文简单...
关键词：面向方面编程(AOP) 契约式设计(DbC) 代码生成器 
一种Web站点网页资源保护设计方案被引量：4
《计算机工程》2002年第4期143-144,186,共3页李家国 李建华 章 程 
针对当前网络主页不断受到黑客攻击,给网络带来不良影响,危害了互联网事业的健康发展,提出了一种有效的解决方案--基于散列算法的文件系统扫描检测与恢复系统,预防网络黑客的攻击,并在一旦网络被黑客攻破后及时报警与恢复;有效地保护网...
关键词：互联网 WEB站点 网页资源保护 散列函数 
实时视频传输的反馈拥塞控制策略被引量：26
《计算机工程》2002年第2期56-58,共3页章程 李建华 
高等学校重点实验室访问学者基金资助项目
提出了的视频实时传输体系结构,采用基于实时传输协议()和实时传输控制协议()的反馈拥塞控制算RTP/UDP/IPRTPRTCP法,控制发送端视频编码器输出的比特率,以使得整个基于的网络视频传输系统既能充分利用网络带宽又不引起网络拥塞,从而减少...
关键词：国际互联网 反馈拥塞控制策略 实时视频传输 RTCP协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部