Contiki学习入门之概览
Contiki是专为物联网领域而设计的开源操作系统，适用于联网嵌入式系统和无线传感器网络。由瑞典计算机科学学院的Adam Dunkels团队开发。它有以下几个特点。 1. 网络标准 contiki ...
原文：CMurphi入门笔记（一）——概览
原文地址：http: www.cnblogs.com Rainday p cmurphi prime .html 本来以为自己会是一个搞技术的人的，没想到现在彻底变成一个搞科研的人了。搞的东西，现在自己也不是很懂。摸着石头过河吧。 Murphi验证系统由Murphi编译器和Murphi描述性语言组成。 Murphi编译器根据Murphi描述生成一个特定目的的验证器。这个验证器可以用来检查系统的特性 ...
2013-07-28 15:24 11 1244 推荐指数：
相关推荐
WPF快速入门系列(1)——WPF布局概览
一、引言 关于WPF早在一年前就已经看过《深入浅出WPF》这本书，当时看完之后由于没有做笔记，以至于我现在又重新捡起来并记录下学习的过程，本系列将是一个WPF快速入门系列，主要介绍WPF中主要的几个不同的特性，如依赖属性、命令、路由事件等。 在正式介绍之前，我还想分享下为什么我又要重新 ...
CUDA学习笔记-1: CUDA编程概览
1.GPU编程模型及基本步骤 cuda程序的基本步骤如下： 在cpu中初始化数据 将输入transfer到GPU中 利用分配好的grid和block启动kernel函数 将计 ...
[傅里叶变换及其应用学习笔记] 课程概览
1. 傅里叶级数 （第1课） 周期性现象在数学上通过三角函数进行表述 （第2课） 现象能通过周期化都变得具有周期性。 有一种周期函数叫做傅里叶级 ...
IdentityServer4 中文文档 -8- （快速入门）设置和概览
IdentityServer4 中文文档 -8- （快速入门）设置和概览 原文：http://docs.identityserver.io/en/release/quickstarts/0_overview.html 目 录 上一篇：IdentityServer4 中文文档 -7- ...
Ansible-Tower快速入门-1.概览【翻译】
概览 Tower Ansible-Tower是作为Ansible的一个web接口界面，并采用REST API作为端点接入。通过使用开源的orchestration engine，无论是与你的团队共享操作任务，或是通过REST API与你的Ansible集成,Tower都提供了许多强大 ...
微软机器学习Azure Machine Learning入门概览
Azure Machine Learning（简称“AML”）是微软在其公有云Azure上推出的基于Web使用的一项机器学习服务，机器学习属人工智能的一个分支，它技术借助算法让电脑对大量流动数据集进行 ...
数字电路基础笔记整理（概览）
本随笔整理于《从零开始学数字电子技术》。主要的章节如下： 第一章 数字电路入门 第二章 晶体管开关与逻辑门电路 第三章 组合逻辑电路 第四章 双稳态触发器 第五章 时序逻辑电路 第六章 脉冲波形的产生与整形 第七章 存储器与微控制器 第八章 DAC转换器和ADC ...