一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方...
面向服务技术资料
📦 资源总数：4223
📄 技术文档：1
💻 源代码：12102
🔥 面向服务热门资料
查看全部4223个资源 »内蒙古风能资源数据库共享服务系统
风能资源数据库共享服务系统是内蒙古风能资源详查与评估项目建设的主要内容之一，是内蒙古地区风能资源评估工作的数据支撑部分。系统采用WebGIS技术，把内蒙古地区风能观测网的观测数据、气象参证站历史资料发布给用户，达到了很好的数据展示和数据分析的效果。同时，数据库的建成并投入业务应用，为气象部门...
面向小型设备的富士通高效电源IC为地球环境贡献力量
对于IC来说，“地球环境友好”有两个方面：一方面是产品中不含或者减少对环境有害的物质；另一方面是针对全球气候变暖问题，为社会提供能够有效降低设备耗电量的IC，这将使发电厂产生的CO2得以削减。并且，开发并提供面向小型设备的IC可以进一步减小设备的体积并降低耗电量，为节能型社会贡献力量。...
c#入门经典第4版全书pdf
《C#入门经典(第4版)》通过C#可以很容易地学习.NET Framework 3.5的强大功能，所以C#是开始您编程生涯的绝佳方式。《C#入门经典(第4版)》全面阐述了C#编程的所有方面，包括C#语言本身、Windows编程、Web编程及数据源的使用等内容。学习了新的编程技巧后，《C#入门经典...
面向新手的AVR开发工具及基本知识_中文
面向新手的AVR开发工具及基本知识_中文...
📄 面向服务技术文档
查看更多 »💻 面向服务源代码
查看更多 »📂 面向服务资料分类