orzorz-CSDN博客

转载 Introduction: Using diff and patch (tutorial)

zzIntroduction: Using diff and patch (tutorial)The commands diff and patch form a powerful combination. They are widely used to get differences between original files and updated files in such

2012-05-03 07:46:50 828

转载 shell变量的作用域

zzhttp://hi.baidu.com/ljwan12/blog/item/0e67b4affa83f3c47cd92adc.htmlwhile read linedo str[$i]=$line1 echo $i echo ${str[i]} let i=i+1done len=${#str[@]}echo $len

2012-04-30 15:27:36 736

转载 Manual: pthread_setaffinity_np, pthread_getaffinity_np

zzhttp://linux.frank4dd.com/en/man3/pthread_setaffinity_np.htmhttp://www.daemon-systems.org/man/pthread_getaffinity_np.3.htmlpthread_setaffinity_np and sched_setaffinity 样例程序NAME

2012-03-26 06:44:23 3348 1

转载 pthread并行编程

zzhttp://pages.cs.wisc.edu/~travitch/pthreads_primer.htmlIntroductionPOSIX threads (pthreads) are a standardized interface onoperating system threads.Compiling a pthreads ProgramReleva

2012-03-25 00:20:18 1674

转载 Latex中如何去掉作者和日期以节省空间

zzRemoving the author and date items from LaTeX titlesThe template required for my interim project report uses a header on page 1 to provide name and date information, making those elements of the

2012-03-23 07:31:55 10164 2

转载 Linux下如何查看CPU信息, 包括位数和多核信息

zzLinux下如何查看CPU信息, 包括位数和多核信息# uname -aLinux euis1 2.6.9-55.ELsmp #1 SMP Fri Apr 20 17:03:35 EDT 2007 i686 i686 i386 GNU/Linux(查看当前操作系统内核信息)# cat /etc/issue | grep LinuxRe

2012-03-19 14:16:23 593

转载 lock-free/wait-free算法以及ABA问题

Came for the beer, stayed for the FreedomIntroduction to lock-free/wait-free and the ABA problemI recently read a paper on Hazard Pointers[2] and thought I would share what I learned and some

2012-03-18 14:14:04 2583 1

转载 Memory Barriers and JVM Concurrency

zzMemory Barriers and JVM ConcurrencyMemory barriers, or fences, are a set of processor instructions used to apply ordering limitations on memory operations. This article explains the impa

2012-03-15 06:03:13 1238

转载剖析为什么在多核多线程程序中要慎用volatile关键字？

zzhttp://www.parallellabs.com/2010/12/04/why-should-we-be-care-of-volatile-keyword-in-multithreaded-applications/#这篇文章详细剖析了为什么在多核时代进行多线程编程时需要慎用volatile关键字。主要内容有：1. C/C++中的volatile关键字2.

2012-03-15 05:19:06 638

转载改变PDF文档边距 pdfpages

zz Changing PDF Margins With The pdfpages Packagepdfpages 文档Sometimes I am given a PDF and I wish I could change its margins. For example, when I print out a conference version of a pape

2012-02-26 11:15:16 1736

转载 Latex 设置页码位置（包括 pdfpages）

从新设置页码计数\setcounter{page}{1}\usepackage{fancyhdr} % 添加页眉页脚\pagestyle{fancy}\lhead{}\chead{}\rhead{}\lfoot{}\cfoot{}\rfoot{\thepage}\renewcommand{\headrulewidth}{0pt} %改为0pt即可

2012-02-26 10:38:17 13696 1

转载 latex引用pdf页面 -- pdfpages

zz http://hi.baidu.com/leokan/blog/item/ca76cefd67dbb74dd7887dfc.html今天做题，题目是一个一个pdf分开的，看着感觉很不爽...于是想将其合并...linux下没有Adobe Acrobat那东西...于是想用同样是排版用的latex试试，搜索了一下，果然有这样的功能。需要解一个宏包，pdfpages，这东西不

2012-02-26 10:17:37 7411 1

转载 LaTeX文档插入图片的几种常用方法

zz from:http://hepg.sdu.edu.cn/Service/tips/latex/latexfig.html#top&http://liqunsun.spaces.live.com/Blog/cns!285A08B51269F219!109.entryLaTeX中一般只直接支持插入eps(Encapsulated PostScript)格式的图形文件, 因此在图片插入la

2012-02-26 10:16:15 1993

转载 pdflatex 插入 EPS 格式图片的两种方法

pdflatex 插入 EPS 格式图片的两种方法 pdflatex不支持插入eps格式图片。1. 将eps图片转成pdf或者将pdf图片转成eps，也就是说一张图片有pdf、eps两种格式。方法一：\includegraphics{pic} %不要扩展名。这样pdflatex自动调相应的pdf文件，而latex自动调eps文件。方法二：先加

2012-02-26 10:15:31 3826 2

转载计算机核心期刊一览

zzhttp://www.cnblogs.com/rabbler/archive/2008/09/10/1288342.html1.计算机科学与技术英文版: 《Journal of Computer Science and Technology》（双月刊） SCI-E源期刊，中文重要期刊，EI Compendex源期刊，中文核心期刊主办单位：中国科学

2012-02-12 00:21:22 5340

转载 Python执行系统命令的方法 os.system()，os.popen()，commands

zzhttp://blog.chinaunix.net/space.php?uid=17260303&do=blog&id=2811349最近在做那个测试框架的时候发现 Python 的另一个获得系统执行命令的返回值和输出的类。最开始的时候用 Python 学会了 os.system() 这个方法是很多比如 C，Perl 相似的。os.system('c

2012-02-10 08:22:57 1993 1

转载 Bash shell中的位置参数$#,$*,$@,$0,$1,$2...及特殊参数$?,$-等的含义

zz http://nisoze.blog.163.com/blog/static/12484200820110128509637/$# 是传给脚本的参数个数$@ 是传给脚本的所有参数的列表$0 是脚本本身的名字$1是传递给该shell脚本的第一个参数

2011-10-03 04:34:31 692

转载 Shell脚本语法-摘录

转载： http://learn.akae.cn/media/ch31s05.html5. Shell脚本语法请点评5.1. 条件测试：test [ 请点评命令test或[可以测试一个条件是否成立，如果测试结果为真，则

2011-08-03 11:55:28 545

转载弹启一个窗口，html弹出窗口，html弹出窗口大全

本文转自：http://www.it.com.cn/f/edu/051/21/71223.htm ---------------------------------------------------------1、弹启一个被F11化后的窗口，全屏窗口 http://heisetoufa.ggblog.com/ http://hei

2011-07-01 16:54:00 1638

转载 Multi-threaded Program on SESC

Got it here: http://ce.et.tudelft.nl/~pepijn/doc/sesc.htmlhttp://dongrui-she.net/dokuwiki/doku.php?id=notes:simulators:sesc:multi-thread-howto Assume we have a multi-threaded program like this

2011-06-04 14:13:00 3226 1

转载加州大学以及全美公立大学工作人员工资查询

加州大学(University of California)工作人员工资查询;全美所有公立学校人员工资查询

2011-05-23 12:32:00 3167

转载精彩PuTTY 中文教程（解决乱码、X窗口、自动登陆等问题）

精彩PuTTY 中文教程（解决乱码、X窗口、自动登陆等问题）

2011-05-16 16:30:00 2404

原创 Memory Ordering/Memory Barrier/Memory Barrier

Memory Ordering/Memory Barrier/Memory Fence

2011-05-10 05:02:00 774

翻译软件体系结构的过去、现在和未来

软件体系结构的过去、现在和未来（The Past, Present,and Future of Software Architecture）

2011-04-24 14:35:00 2743

转载遍历二叉树的递归算法与非递归算法以及C语言实现

遍历二叉树的递归算法与非递归算法以及C语言实现

2011-04-19 14:42:00 1641

转载 Linux中vi显示中文乱码的问题

Linux中vi显示中文乱码的问题

2011-04-10 05:19:00 1098

转载防止ssh登录后闲置时间过长而断开连接

因为工作环境就是在linux下，需要登录到服务器上，而当键盘、鼠标闲置时间过长的时候往往会被服务器给自动断开，前面做的一些事情就被打断了，这样就很麻烦，所以得想办法来防止被服务器给踢出来。

2011-04-05 07:39:00 4503

转载 Linux 文件和目录的属性

本文讲述的是文件或目录的属性，比如节点inode、文件类型、文件权限及归属；还对setuid、setgid及粘贴位进行了一般性的讲解。对ln 、chmod、umask、chown、chgrp 、touch 的用法也进行了比较详细的说明和举例；

2011-01-27 04:22:00 600

转载 Linux Jobs等前后台运行命令解

Linux Jobs等前后台运行命令解 fg、bg、jobs、&、ctrl + z、 ctrl+c、 kill、ps

2011-01-18 09:00:00 1097

转载通过liveCD进行ubuntu启动修复

通过liveCD进行ubuntu启动修复

2011-01-09 11:47:00 8140

RUB是多系统引导管理器，简单的说既能引导Linux，同时也能引导Windows；从LinuxSir.Org 讨论区近四年的观察来看，大多初学者并不能在短时间内掌握GRUB的用法，为了解决初学者在最短时间内掌握GRUB，重写GRUB入门文档还是有必要的；本文重点介绍了GRUB的menu.lst的写法，另外通过GRUB命令行引导系统也做了详述；这些无论是对Windows版本的WINGRUB还是Linux版本的GRUB都是适用的；

2011-01-09 08:40:00 691

转载 latex+bibtex+jabref

latex+bibtex+jabref

2010-12-04 18:03:00 3678

转载 Latex之Natbib中文说明

Latex之Natbib中文说明参考文献

2010-11-28 05:27:00 6992

转载 LaTeX 参考文献的处理

LaTeX 参考文献的处理

2010-11-27 22:39:00 6140

转载 Latex参考文献FAQ

Latex参考文献FAQ

2010-11-27 22:36:00 4301

转载 Latex参考文献技巧（Latex编辑部）

Latex参考文献技巧如何让每章或每节都有独立参考文献

2010-11-27 22:34:00 14018

转载文献管理软件 JabRef 入门简介

文献管理软件 JabRef 入门简介

2010-11-22 18:43:00 5284

新版Android开发教程完整版

新版Android开发教程完整版～～～～～～～～～～～～～～～～～～～～～

2010-04-18

图解配置Apache+PHP+MySQL协同工作，搭建BBS论坛

图解配置Apache+PHP+MySQL协同工作，搭建BBS论坛网上的资源，感谢无名作者虽然现在各个软件都已经有了更新版本，但这些图解同样有很大价值。供大家分享。

2010-03-06

编程珠玑（Programming Pearls）第二版-- （大礼包）PDF 中文版+英文版+源码

编程珠玑（Programming Pearls）第二版-- （大礼包）PDF 中文版+英文版+源码 Enjoy it！！

2010-03-04

Source Insight 3.5 破解版

source insight 　　Source Insight是一个面向项目开发的程序编辑器和代码浏览器，它拥有内置的对C/C++, C#和Java等程序的分析。Source Insight能分析你的源代码并在你工作的同时动态维护它自己的符号数据库，并自动为你显示有用的上下文信息。 Source Insight不仅仅是一个强大的程序编辑器，它还能显示reference trees，class inheritance diagrams和call trees。Source Insight提供了最快速的对源代码的导航和任何程序编辑器的源信息。 Source Insight提供了快速和革新的访问源代码和源信息的能力。与众多其它编辑器产品不同，Source Insight能在你编辑的同时分析你的源代码，为你提供实用的信息并立即进行分析。

2010-02-22

The Spin Model Checker_Primer and Reference Manual (PDF格式)

2010-01-26

The Spin Model Checker_Primer and Reference Manual(CHM格式)

The Spin Model Checker_Primer and Reference Manual

2010-01-26

linux内核源代码情景分析

linux内核源代码情景分析，系统介绍linux的源代码结构与内容

2010-01-10

Fortran基本语法手册（红宝书）

介绍Fortran的基本语法～～～～～～～～～～

2009-09-21

PHP编程100例子

PHP编程100例子以代码和对应网页显示的形式，逐例说明php中基本的语法

2009-09-08

PHP教程-html格式

PHP首先是由Rasums Lerdorf创建的，它开始是一个简单的用Perl语言编写的程序，用来记录Rasums Lerdorf自己在线简历的访问者。以后当PHP/FI在1995年中期发布的时候，它已经发展成了一门语言。这时的PHP版本已经支持一些基本的web函数-可以操作数据库，支持mSQL数据库，还有更多。　　随着PHP的迅速成长，语言的开发者也由Rasmus一人发展到一个有献身精神的程序员团队，他们负担起重写PHP的任务。经过他们的努力，推出了 PHP3.0，提供了对数据库的广泛支持，包括MySQL和Oracle。然后是几个月前刚刚发布的PHP4.0，使用新的强有力的Zend脚本引擎来实现更好的功能，支持除了Apache之外的更多的Web服务器，并且还有对session管理的内建支持。　　推出本系列教程，我们有一个非常简单目的-我们将教你学会使用PHP开发你的站点所需要的最基本的知识和相关的网页开发技巧。在本教程中我们假设你已经对HTML语言有一定的了解，并且自己已经配置好了web服务器和PHP4，而且还有一定的幽默感。

2009-09-08

PHP教程-chm格式

php 教程本手册是台湾彭武兴先生所著的 <<PHP BIBLE>> 一书的简体中文版。笔者只是对该书进行了繁简转换,并将原书中的台湾术语改为通俗的术语,及纠正了由此带来的一些语意错误，仅供个人参考使用。未经彭武兴先生书面授权请勿用于商业目的。

2009-09-07

Logic in Computer Science Modelling and Reasoning about Systems 面向计算机科学的数理逻辑系统建模与推理

In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal training that allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic and an introduction to the logical frameworks used in modeling, specifying and verifying computer systems. Coverage provides a simple and clear presentation, detailing propositional and predicate logic as well as some specialized logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology; further technicalities are introduced only where they are required by the applications. Numerous examples are given, as well as a full exposition of a fast-growing technique for modeling and verifying computer systems, known as symbolic model checking. It will be an ideal introduction for undergraduate students. A worldwide web tutorial that supports the course activities and provides solutions to the sample exercises is available to instructors.

2009-06-23

Model Checking-Edmund M. Clarke-模型检查PDF

Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic and usually quite fast. Also, if the design contains an error, model checking will produce a counterexample that can be used to pinpoint the source of the error. The method, which was awarded the 1998 ACM Paris Kanellakis Award for Theory and Practice, has been used successfully in practice to verify real industrial designs, and companies are beginning to market commercial model checkers. The main challenge in model checking is dealing with the state space explosion problem. This problem occurs in systems with many components that can interact with each other or systems with data structures that can assume many different values. In such cases the number of global states can be enormous. Researchers have made considerable progress on this problem over the last ten years. This is the first comprehensive presentation of the theory and practice of model checking. The book, which includes basic as well as state-of-the-art techniques, algorithms, and tools, can be used both as an introduction to the subject and as a reference for researchers. About the Authors Edmund M. Clarke, a pioneer of the automated method called Model Checking, is FORE Systems Professor of Computer Science and Professor of Electrical and Computer Engineering at Carnegie Mellon University, and a winner of the 2007 Turing Award given by the Association for Computing Machinery. Doron Peled is Professor of Computer Science at the University of Warwick, Coventry, UK. Endorsements "Model Checking is bound to be the pre-eminent source for research, teaching, and industrial practice on this important subject. The authors include the foremost experts. This is the first truly comprehensive treatment of a line of research that has gone from conception to industrial practice in only two decades." —R. P. Kurshan, Distinguished Member Technical Staff, Bell Laboratories