- 博客(6)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 JPF Configuration Parameters
In this post, I will put down the details about some common JPF options one can specify in a .jpf configuration file or a the argument page of a run configuration. Below, a fully qualified name includ
2012-05-19 11:57:14
1520
原创 Symbolic execution with Java Pathfinder
JPF has an extension for symbolically executing Java bytecode (called SPF). I have been using SPF for analyzing some pieces of code. This post introduces installation and basic configurations of SPF t
2012-05-17 20:33:07
4208
1
原创 Creating threads in Java
There are in general two ways to create and start a new thread in Java.1. extend the Thread class and override the run() methodpublic class MyThread extends Thread{ @Override public void r
2012-05-14 21:25:19
865
转载 Eclipse中用subclipse通过ssh tunneling check out project repo
Forwarded from http://myowntechdiary.blogspot.com/2009/05/eclipse-subclipse-svn-ssh.htmlsolution validated on Eclipse indigo + subclipse 1.8 on May 12, 2012Eclipse + Subclipse + SVN SSH Down
2012-05-12 11:50:16
1165
原创 手贱修改了grub导致开机无法进入系统
我的机器上早先装有windows 7， 后来由于项目需要就安装了fedora 15之后又升级到16.安装完双系统以后，每次启动，都是先由grub进行引导，默认的启动系统是fedora，可供选择的界面停留5秒钟左右。 后来发现还是大部分时间在用windows 7，而且经常让我抓狂的是还没来得及选择系统就进入了fedora， 近日有空，于是准备修改grub配置文件来让windows默认启动。G
2012-05-11 22:05:53
7179
转载 A very basic introduction about Java stack and heap
Forwarded from http://www.javatutorialhub.com/wiki/Stack_and_HeapStack and HeapThe JVM divided the memory into following sections.HeapStackCodeStaticThis division of memory is required for
2012-05-05 15:06:23
707
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人