TAL is a messaging tool for Linux administrators.
TAL is a messaging tool for Linux administrators....
TAl技术资料
📦 资源总数：6
💻 源代码：279
🔌 电路图：1
🔥 TAl热门资料
查看全部6个资源 »一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方...
基于C8051F310的山路转弯预防警示系统
针对盘山路存在的转弯盲区，即在转弯时司机无法得知弯路对面是否有车辆通过，设计一种基于C8051F310的山路转弯预防警示系统。该系统利用一阶滤波算法检测山路转弯时是否有车辆通过。运用该算法可增强系统检测的实时性，提高检测机动车辆的灵敏度，同时大大减少环境温度对检测的干扰。试验表明该系统能够正确指示出...
X-tal oscillators on 8-bit mic
<Almost since the introduction of microcontrollers as electronic components there always has been an oscillatorcircuit on the device to make it wor...
The paper presents the CORDIC Algorithm, which has been implemented as an virtual component (IP core
The paper presents the CORDIC Algorithm, which has been implemented as an virtual component (IP core) in a VHDL simulation environment. The core is pa...
💻 TAl源代码
查看更多 »📂 TAl资料分类