搜索筛选:
搜索耗时0.6198秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[会议论文] 作者：易晓东,杨学军,
来源：2005中国计算机大会 年份：2005
本文应用模型检验方法对软件进行验证要解决软件的无穷状态空间问题，提出的谓词抽象方法将软件无穷的状态空间抽象为基于一组谓词表示的有限状态自动机，抽象过程使用最弱前置条件和定理证明工具直接对软件源代码自动进行，并能保证如果待验证的安全性质在抽象模型中......
[会议论文] 作者：张超,易晓东,戴华东,
来源：2012全国计算机体系结构学术年会 年份：2012
介绍Android操作系统中图形系统的基本架构，讨论Android图形系统移植到桌面Linux上所面临的困难及其解决方案，最终实现Android图形系统向桌面Linux的移植。测试结果表明，可...
[会议论文] 作者：黄稣,易晓东,李姗姗,廖湘科,
来源：2011年第17届全国信息存储技术大会(IST 2011) 年份：2011
高性能计算机主要应用于传统的科学计算领域，而在云计算时代，数据密集型应用成为一大类新型应用，已经变得越来越重要。主要探索如何在高性能计算机上高效地进行海量数据处理，使高性能计算机在进行科学计算的同时，能够非常好地支持数据密集型应用，拓展高性能计算机的应......
[会议论文] 作者：ZHOU Long,YI Xiao-Dong,DAI Hua-Dong,周龙,易晓东,戴华东,
来源：2012全国高性能计算学术年会 年份：2012
移动互联网和云计算的不断发展和壮大，使得新型网络化应用成为信息技术的热点。为了适应这种发展趋势，需要将当前大量的传统应用进行移植和迁移。面对传统应用，本文针对Linu......
[会议论文] 作者：ZHOU Long,周龙,YI Xiao-Dong,易晓东,DAI Hua-Dong,戴华东,
来源：2012全国高性能计算学术年会 年份：2012
移动互联网和云计算的不断发展和壮大，使得新型网络化应用成为信息技术的热点。为了适应这种发展趋势，需要将当前大量的传统应用进行移植和迁移。面对传统应用，本文针对Linux系统下的GTK+应用程序提出了一种运行支撑环境的设计方案。通过该方案，实现了服务器端的GTK......
相关搜索：
