- 博客(2)
- 资源 (20)
- 收藏
- 关注
转载 jdk、jre、jvm的关系 小结
一直不理解jvm的原理,看了这个文章觉得很好......JDK里面的工具也是用JAVA编写的,它们本身运行的时候也需要一套JRE,如C:\Program Files\Java\jdk1.5.x\目录下的JRE。而C:\Program Files\Java\目录下的JRE是用来执行我们自己编写的JAVA程序。当然,两套JRE中的任何一套都可以用来执行我们自己编写的JAVA程序,但是JDK里面的工
2013-04-24 18:26:12 585
转载 断言(assertion)的简介
断言验证 断言验证就是在模拟中引入形式特征检查的验证方法。用这种方法,设计师编码时插入对特征的描述—断言。代码完成后,进行模拟以检查断言,并修改模拟时断言发现的问题。最后,特征检查根据约束限定,穷举搜索设计的状态空间、证明或证伪断言、查找设计的错误。很多人感觉到,断言验证将是芯片设计业中下一个突破点,使工程师能继续设计和验证更大更复杂的电路。断言验证,给模拟验证的测试基准和监督技术带来许
2013-04-22 20:47:19 3614
Artifactory-REST-examples.zip
2020-07-20
LogTail for Mac(系统日志查看工具).zip
2020-05-28
信息系统管理工程师
2019-03-18
Hadoop权威指南中文版.z01
2013-05-29
Hadoop权威指南(中文版)02
2013-05-29
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人