一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难...
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难...
风能资源数据库共享服务系统是内蒙古风能资源详查与评估项目建设的主要内容之一,是内蒙古地区风能资源评估工作的数据支撑部分。系统采用WebGIS技术,把内蒙古地区风能观测网的观测数据、气象参证站历...
对于IC来说,“地球环境友好”有两个方面:一方面是产品中不含或者减少对环境有害的物质;另一方面是针对全球气候变暖问题,为社会提供能够有效降低设备耗电量的IC,这将使发电厂产生的CO2得以削减。并且,开...
《C#入门经典(第4版)》通过C#可以很容易地学习.NET Framework 3.5的强大功能,所以C#是开始您编程生涯的绝佳方式。《C#入门经典(第4版)》全面阐述了C#编程的所有方面,包括C...
面向新手的AVR开发工具及基本知识_中文...
基于单片机的住宅电子服务系统 ...
手把手教你学单片机的C语言程序设计--中断服务函数...
针对MCS51 微控制器(单片机)在实际工程开发中遇到的调试难题,提出一种在线调试解决方案。充分利用微控制器本身自带RS232 接口,以Keil C51 开发出服务例程驻留于微控制器内,从而完成实际工...
世界著名厂家单片机简介1.Motorola 单片机:Motorola是世界上最大的单片机厂商,品种全,选择余地大,新产品多,在8位机方面有68HC05和升级产品68HC08,68HC05有30多个系列...
单片机应用技术选编10 目录 第一章 专题论述1.1 嵌入式系统的技术发展和我们的机遇(2)1.2 一种新的电路设计和实现方法——进化硬件(8)1.3 从8/16位机到32位机的系统设计(13)1.4...