6828HW
6828L1
8086寄存器
Blog
Feb 07, 2017
一直想给自己建一个小站来写写东西，最近终于有时间动手了。首先想着最好能有一种经济实惠、靠谱稳定的平台，后来上网找了许久，发现Github Pages就是我需要的。那么具体 怎样建一个自己的网站呀？请戳这里...
Jun 10, 2016
How to Use this theme as you main site? 这里是关于建站的故事...
C
CEF
Feb 01, 2018
在一些窗口运用中难免会遇到需要集成一个自定义的浏览器来实现原有应用的一些功能，比如预览功能。之所以在浏览器中进行一些预览显示是因为当前的web框架技术十分成熟，并且许多javascript库还能够作出一些炫酷的2D或者3D效果，这篇文章主要是对最近在实验室做的浏览器集成相关工作的一个总结，主要包括的是Java-cef框架的编译、以及使用还有一些踩过的坑。
CMU
CMU 10-601
Event-B
Formal Method
Formal method
JCEF
Feb 01, 2018
在一些窗口运用中难免会遇到需要集成一个自定义的浏览器来实现原有应用的一些功能，比如预览功能。之所以在浏览器中进行一些预览显示是因为当前的web框架技术十分成熟，并且许多javascript库还能够作出一些炫酷的2D或者3D效果，这篇文章主要是对最近在实验室做的浏览器集成相关工作的一个总结，主要包括的是Java-cef框架的编译、以及使用还有一些踩过的坑。
Jekyll theme
Feb 07, 2017
一直想给自己建一个小站来写写东西，最近终于有时间动手了。首先想着最好能有一种经济实惠、靠谱稳定的平台，后来上网找了许久，发现Github Pages就是我需要的。那么具体 怎样建一个自己的网站呀？请戳这里...
Jun 10, 2016
How to Use this theme as you main site? 这里是关于建站的故事...
LLVM
Apr 25, 2017
这是Apple的一个presentation，题为Finding software bugs with the Clang Static Analyzer,演讲者叫Ted Kremenek.
Leetcode
MIT6.828
Apr 14, 2017
MIT操作系统6.828实验4第三部分：Copy-on-Write Fork
Apr 13, 2017
MIT操作系统6.828实验4第二部分：Copy-on-Write Fork
Mar 28, 2017
MIT操作系统6.828实验4第一部分：Multiprocessor Support and Cooperative Multitasking
Machine Learning
Markdown模版
MathJax
Model Checking
NuSMV
OS
Apr 14, 2017
MIT操作系统6.828实验4第三部分：Copy-on-Write Fork
Apr 13, 2017
MIT操作系统6.828实验4第二部分：Copy-on-Write Fork
Mar 28, 2017
MIT操作系统6.828实验4第一部分：Multiprocessor Support and Cooperative Multitasking
Operating System
Operating System Design
Apr 04, 2017
最近实验室老师让熟悉一下一个静态分析代码工具Polyspace，Polyspace用于静态测试运行时错误，主要进行非功能性测试，这篇文章主要是根据官方的文档给出如何看懂Polyspace的分析结果，从而为下一步纠正代码缺陷提供依据和思路。
Polyspace
Apr 04, 2017
最近实验室老师让熟悉一下一个静态分析代码工具Polyspace，Polyspace用于静态测试运行时错误，主要进行非功能性测试，这篇文章主要是根据官方的文档给出如何看懂Polyspace的分析结果，从而为下一步纠正代码缺陷提供依据和思路。
Simulink
May 01, 2017
最近实验室又有新的研究任务，这次与Simulink/ Stateflow 模型的测试用例自动生成相关，与传统的软件测试中的测试用例相同，这里也有覆盖率这一标准，那么如何提高模型的测试用例的覆盖率呢，这篇博文作为相关论文的阅读笔记，了解了一个生成工具....
Stanford cs229
Static Analysis
Apr 04, 2017
最近实验室老师让熟悉一下一个静态分析代码工具Polyspace，Polyspace用于静态测试运行时错误，主要进行非功能性测试，这篇文章主要是根据官方的文档给出如何看懂Polyspace的分析结果，从而为下一步纠正代码缺陷提供依据和思路。
Test Generation
May 01, 2017
最近实验室又有新的研究任务，这次与Simulink/ Stateflow 模型的测试用例自动生成相关，与传统的软件测试中的测试用例相同，这里也有覆盖率这一标准，那么如何提高模型的测试用例的覆盖率呢，这篇博文作为相关论文的阅读笔记，了解了一个生成工具....
User Environments
boot loader
clang
Apr 25, 2017
这是Apple的一个presentation，题为Finding software bugs with the Clang Static Analyzer,演讲者叫Ted Kremenek.
Apr 18, 2017
由于这学期的系统分析与验证工具课的要求是要调研这个工具，于是记下这个作为备忘吧。 那么开始如何在linux平台上来使用基于clang的静态分析工具呢？
cs229
Jul 21, 2017
这是cs229的homework中的一道题，用朴素贝叶斯算法实现垃圾邮件的分类，并且使用多项事件模型和拉普拉斯平滑。
kernel
learning methods
master
process
Apr 14, 2017
MIT操作系统6.828实验4第三部分：Copy-on-Write Fork
Apr 13, 2017
MIT操作系统6.828实验4第二部分：Copy-on-Write Fork
Mar 28, 2017
MIT操作系统6.828实验4第一部分：Multiprocessor Support and Cooperative Multitasking
shell
static analyzer
Apr 25, 2017
这是Apple的一个presentation，题为Finding software bugs with the Clang Static Analyzer,演讲者叫Ted Kremenek.
Apr 18, 2017
由于这学期的系统分析与验证工具课的要求是要调研这个工具，于是记下这个作为备忘吧。 那么开始如何在linux平台上来使用基于clang的静态分析工具呢？
xv6
学习历程
技术知识点
操作系统
机器学习
Jul 21, 2017
这是cs229的homework中的一道题，用朴素贝叶斯算法实现垃圾邮件的分类，并且使用多项事件模型和拉普拉斯平滑。
汇编
窗口开发
Feb 01, 2018
在一些窗口运用中难免会遇到需要集成一个自定义的浏览器来实现原有应用的一些功能，比如预览功能。之所以在浏览器中进行一些预览显示是因为当前的web框架技术十分成熟，并且许多javascript库还能够作出一些炫酷的2D或者3D效果，这篇文章主要是对最近在实验室做的浏览器集成相关工作的一个总结，主要包括的是Java-cef框架的编译、以及使用还有一些踩过的坑。
编译原理
Apr 25, 2017
这是Apple的一个presentation，题为Finding software bugs with the Clang Static Analyzer,演讲者叫Ted Kremenek.