Archive for ‘Uncategorized’ Category

03
Apr

Notable publication in Formal Verification from Wikipedia

Ji:I was doing my homework, and then I found a wikipedia entry about List of important publications in Computer Science. I think it is always good to see that how a successful topic was created and breakthrough was made. Apparently, not so many people can achieve even one, but it would be a pity that [...]

20
Feb

Achieving Your Childhood Dreams

Title: Really Achieving Your Childhood Dreams By: Randy Pausch Date: September 18, 2007 Location: Carnegie Mellon University Today, I happen to get this video: Really Achieving Your Childhood Dreams by Randy Pausch, who was informed having 3 to 6 months life due to liver cancer. This was called his last lecture, but it is not. [...]

05
Feb

2007 Turing Award to Model Checking

February 04, 2008 Source: http://www.ddj.com/206103622 2007 Turing Award Winners Announced For their groundbreaking work on Model Checking Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis are the recipients of the 2007 A.M. Turing Award for their work on an automated method for finding design errors in computer hardware and software. The method, called Model [...]

04
Feb

The origin of my sir name: Ruan

Origin of Ruan*, Yuen*, Nguyen* (Vietnamese) Famous People in History Descendents of Ben Tao were rewarded the Ruan kingdom (south east of Jing Chuan in Gansu Province). The Ruan kingdom was eliminated by Zhou Wen Wang during the Shang Dynasty and its people began to bear the last name of Ruan. Another origin of Ruan [...]

02
Feb

Thoughts on Open Music

Apple CEO Steve Jobs published some thoughts on music on feb 2007: see here. The third alternative is to abolish DRMs entirely. Imagine a world where every online store sells DRM-free music encoded in open licensable formats. In such a world, any player can play music purchased from any store, and any store can sell [...]

25
Jan

KDE: be free

On Friday, January 18th, Aaron Seigo, President of the KDE e.V. gave the keynote at the KDE 4.0 Release Event in Mountain View, California about KDE 4, presenting KDE to the world and the world to KDE. The keynote was recorded, and is now available for streaming through Google Video. Continue reading to watch the [...]

Page 7 of 7« First...34567