OpenGL绘图过程简述
摘要：
OpenGL绘图过程简述，用到的一些函数 阅读全文
posted @ 2010-06-17 19:15 小交响曲 阅读(3282) 评论(0) 推荐(0) 编辑
版本控制器SVN的使用
摘要：
版本控制器SVN的使用 阅读全文
posted @ 2010-06-14 22:11 小交响曲 阅读(1800) 评论(0) 推荐(1) 编辑
Ubuntu10.04下安装GCC4.1.2
摘要：
如何在Ubuntu10.04下安装低版本的GCC4.1.2 阅读全文
posted @ 2010-06-04 20:08 小交响曲 阅读(7019) 评论(1) 推荐(1) 编辑
时序安全属性检测(二)----模型检测简介
摘要：
Model Checking简介 阅读全文
posted @ 2010-05-23 18:57 小交响曲 阅读(691) 评论(0) 推荐(0) 编辑
ubuntu下安装eclipse
摘要：
在Ubuntu系统应用程序列表中显示Eclipse，方便使用 阅读全文
posted @ 2010-05-16 15:40 小交响曲 阅读(258) 评论(0) 推荐(1) 编辑
HDU 2519 新生晚会
摘要：
HDU 2519 新生晚会，C(n,m)=C(n-1,m)+C(n-1,m-1) 阅读全文
posted @ 2010-05-04 12:49 小交响曲 阅读(524) 评论(0) 推荐(0) 编辑
HDU 2010 水仙花数
摘要：
HDU 2010 水仙花数 纯粹纪念2010年 阅读全文
posted @ 2010-05-02 19:48 小交响曲 阅读(257) 评论(0) 推荐(0) 编辑
使用automake等命令自动生成Makefile文件
摘要：
Linux下编程时，为了方便编译，往往使用Makefile文件自动完成编译，但是Makefile文件本身的书写十分复杂，规则很多。好在Linux为我们提供了自动生成功能完善的Makefile文件的工具autoconf/automake。本文讲述如何使用它们生成Makefile文件。 阅读全文
posted @ 2010-04-29 19:35 小交响曲 阅读(4181) 评论(0) 推荐(0) 编辑
时序安全属性检测(一)
摘要：
程序的“时序安全属性(temporal safety properties)”是描述“某些坏的事情不会发生”的一类属性.通常,时序安全属性规定了一系列有序的事件,要求在程序中不能发生这些事件.在程序中，它表现为一系列先后有序的操作(通常是和安全相关的操作，至少有一个是这样的，不然不会发生安全问题)。 阅读全文
posted @ 2010-04-27 18:32 小交响曲 阅读(343) 评论(0) 推荐(0) 编辑
Linux下设置PATH
摘要：
环境变量对于Linux系统下很多程序的正确运行十分重要，可以使用export命令来设置PATH。 阅读全文
posted @ 2010-04-25 16:54 小交响曲 阅读(346) 评论(0) 推荐(0) 编辑
