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 ...