全文获取类型
收费全文 | 105篇 |
免费 | 5篇 |
国内免费 | 8篇 |
专业分类
电工技术 | 1篇 |
综合类 | 1篇 |
水利工程 | 1篇 |
无线电 | 3篇 |
冶金工业 | 2篇 |
自动化技术 | 110篇 |
出版年
2014年 | 1篇 |
2013年 | 4篇 |
2012年 | 1篇 |
2011年 | 3篇 |
2010年 | 5篇 |
2009年 | 5篇 |
2008年 | 10篇 |
2007年 | 8篇 |
2006年 | 12篇 |
2005年 | 7篇 |
2004年 | 6篇 |
2003年 | 12篇 |
2002年 | 7篇 |
2001年 | 7篇 |
2000年 | 9篇 |
1999年 | 3篇 |
1998年 | 2篇 |
1997年 | 2篇 |
1996年 | 1篇 |
1994年 | 3篇 |
1993年 | 1篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 4篇 |
1988年 | 1篇 |
排序方式: 共有118条查询结果,搜索用时 31 毫秒
1.
2.
运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。 相似文献
3.
渐进式标记-清扫垃圾收集机制验证 总被引:1,自引:0,他引:1
垃圾收集已经成为可靠、高效程序运行平台的一个重要组成部分.渐进式垃圾收集由于在用户程序运行时并行的执行垃圾收集操作,其算法及实现则更为复杂,其可靠性也更难以得到保证.本文论述使用Hoare风格的程序验证框架形式验证渐进式标记-清扫垃圾收集机制及其写拦截器在汇编语言层次上的实现的研究工作.被验证的属性涵括了简单的类型安全到整个内存堆上的数据保持.本文所有的验证工作都实现在Coq辅助定理证明工具中,从而可以迅速的用于构造携带证明的代码包. 相似文献
4.
5.
6.
Architecture transformations are frequently performed during software design and maintenance.However this activity is not well supported at a sufficiently abstract level.In this paper,the authors characterize architecture transformations using using graph rewriting rules,where architectures are represented in graph notations,Architectures are usually required to satisfy certain constraints during evolution.Therefore a way is presented to construct the sufficient and necessary condition for a transformatio to preserve a constraint.The condition can be verified before the application of the transformation.Validated transformations are guaranteed not to violate corresponding constraints whenever applied. 相似文献
7.
软件DSM系统的并行调试环境已经成为制约其广泛应用的一个重要因素,重放方法使得用户能用循环调试技术来调试具有执行不确定性的软件DSM程序,本文定义了软件DSM程序执行的happen-before-1关系,并依据其提出一种在软件DMS系统JIAJIA上实现重放的方法,实际应用测试表明,该方法产生很小的空间和时间开销。 相似文献
8.
约束检查是保持数据库语义合法性的关键环节.由于在事务执行后直接检查约束的代价太大,一般通过分析对数据库的修改和约束公式得出简化的测试条件,只要在修改前检查其能否成立就可以确定修改后数据库是否满足约束.给出计算这种约束检查条件的最弱及增量前条件方法,分别用于生成充要及充分测试条件.后者利用当前数据库状态满足约束的假设通常得出较简单的条件.与其他技术相比,这一方法处理的约束和事务种类更一般,测试条件的生成也更有效. 相似文献
9.
本文介绍分布式多媒体系统中的媒体同步问题,着重介绍了基于MPEG-I的分布式多媒体系统中,视频和音频的同步以及媒体服务器和客户之间的流同步。 相似文献
10.
基于ATM的IP子网的地址解析及路由 总被引:4,自引:0,他引:4
在ATM网上构筑逻辑IP子网时,按照经典模型,各子网间通过路由器互连,无法充分利用ATM网本身提供的端到端无缝连接的特性。本文讨论了支持IP子网跨越边界直接互连的下一中继段解析模型,并着重对其地址解析和路由决定进行了论述。 相似文献