排序方式: 共有23条查询结果,搜索用时 15 毫秒
1.
调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。 相似文献
2.
基于细胞膜演算的Web服务事务处理形式化描述与验证 总被引:4,自引:0,他引:4
采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT.针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态.模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性.进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因. 相似文献
3.
简要介绍了嵌入式图形领域中2D图形加速器的基本情况,并结合Monahans的应用平台的开发,实现了基于Bootloader上的M arvell PXA300集成2D图形加速器的驱动,通过随机生成参数,测试了该图形加速器的绘图速度,并与软件加速的渲染速度进行了比较。 相似文献
4.
5.
近年来,现场可编程逻辑门阵列(FPGA)由于其灵活的可定制性和优秀的并行性,在硬件加速卷积神经网络(CNN)的研究和应用中吸引了广泛的关注.这些工作主要集中在两方面:对特定硬件加速模块的设计和优化以及对一类网络模型的通用加速硬件设计.前者一般是基于数据流的针对固定网络的设计,通过牺牲通用性来换取性能;后者一般是基于指令集能够加速一类模型的设计,通过牺牲性能来换取通用性.为了能够灵活地应对不同的需求,本文提出一种通过管理不同粒度算子来平衡性能与通用性的fGrain框架.该框架一方面利用底层基于数据流的算子设计来充分发挥硬件性能,另一方面通过虚拟化层来管理算子映射提供灵活性.实验表明,相比GPU推理延迟至多有25%的提升,而虚拟化性能损失仅在1.3%以下. 相似文献
6.
功耗数据采集是绿色计算的前提,也是软件能耗测量的基础工作。在功耗数据采集中,通常内置功率传感器采集软件能耗面临功率迟滞、程序能耗受启动时间影响等问题,产生的原因在于内置传感器的硬件构成及其使用的功耗算法。该文针对内置传感器的功耗算法问题,提出了一种基于逼近函数的功率数据矫正方法。该方法根据程序运行时间长短,分别采用数据拟合方法和基于误差方向的逼近函数进行矫正。最后,在代表性的K20系列GPU实验平台上进行验证,实验结果表明该方法能较好地解决传感器采集功耗数据存在的问题,且使用该方法和经验参数法获得的能耗数据相比误差小于1%,具有较高的精度。 相似文献
7.
介绍了多媒体信息服务,即彩信MMS(Multimedia Messaging Service)的收发流程,提出了 MMS客户端的模块设计方案,将PDU的编解码能力和具体的编解码行为分离,并给出了MMS客户端的具体实现,顺利完成彩信收发功能. 相似文献
8.
9.
语音通信、短信收发作为智能手机的基本功能,硬件上由GSM模块提供完备支持,在软件上除了定制应用程序以外,还需要一个后台服务进程对智能手机基本应用事件进行监控及响应.以Qt/Embedded Qtopia作为应用程序开发平台,分析了其内部的进程间通信机制,设计并实现了智能手机基本应用程序的后台服务进程. 相似文献
10.
简述了WTP分片重组机制,并给出了它的设计的精要部分,又采用概率模型的方法分析了它的传输性能.基于这一分析,更进一步讨论了分组大小参数对传输性能的影响. 相似文献