Arabela's Blog

发表于 更新于 分类于 阅读次数：

正则表达式（Regular Expression）是字符串处理的常用工具，在文本匹配、检索、替换中起到很重要的作用。

本文从以下两个方面介绍正则表达式：

  • re语法

  • re使用方式
    语言：python

阅读全文 »

发表于 更新于 分类于 阅读次数：

本文摘要出 A Simple Method for Parameterized Verification of Cache Coherence Protocols 的重要部分，对整体的知识框架作出总结，并融入了一些思考。

对于论文的代码及实现，可以在http://www.markrtuttle.com/fmcad08/里找到。或在文章下方给作者评论～比心❤️～

阅读全文 »

发表于 更新于 分类于 阅读次数：

本文不涉及：

  • 创建Github账号、配置Github SSH、安装git
  • 多人协作、分支合并

本文适用于：

  • 希望尽快上手github却没有思路
  • 单人项目的简单操作
阅读全文 »

发表于 更新于 分类于 阅读次数：

由于形式化的协议往往晦涩难懂，对于科研研究造成了很大程度的阻碍。主要是本人在研究协议的时候，感觉晦涩难懂，看了一些论文和介绍，研读了代码，花了很长时间才弄懂。如果有一个可视化的方法能够帮助理解，就会大大缩短理解协议的时间，从而把更多时间花在真正的理论研究上。

因此，为提高可理解性，特做此协议可视化的脚本。

PS. 目前只支持固定样式的german 和flash 协议（结点=3）

阅读全文 »

发表于 更新于 分类于 阅读次数：

该博文详细介绍在Mac上安装Hadoop

  • 原理

  • hadoop安装

  • hadoop配置

  • hadoop实例运行

阅读全文 »
0%