Michael Jackson has Passed Away, 1958-2009

June 25, 2009 by Archie  
Filed under Hot News, Simple Life

Michael Jackson, 1958-2009
‘KING OF POP’ DIES
 Music legend & one of world’s most well-known figures was reportedly rushed to LA hospital
Video retrospective | Recalling ‘Thriller’
Original Source from msn

Kung fu master cracks record 4 coconuts with finger

June 23, 2009 by Archie  
Filed under Hot News, Simple Life

A kung fu master has jabbed his way into the Malaysian records book after piercing four coconuts with his index finger in a little over 30 seconds, a newspaper reported on Monday.

Ho Eng Hui, 55, made it into the Malaysia Book of Records for coconut opening with his 30.81 second feat, the New Straits Times reported Monday.

“Now, I will start preparing myself to get into the Guinness Book of World Records,” Master Ho told the newspaper.

“This is not an illusion or black magic. I am able to do this after mastering the Chinese martial art technique of using the strength of my finger, from a martial arts master in Singapore.”

Hundreds of people, many of them tourists, witnessed the record breaking coconut piercing in Malacca on Saturday.

Master Ho smashed his previous record of breaking three coconuts in 70 seconds.

Original Source from MSN

Microsoft Cibai

May 21, 2009 by Archie  
Filed under Hot News, Simple Life

Comments Off

 

 

 

 

 

 

Abstract. We introduce Cibai a generic static analyzer based on abstract interpretation for the modular analysis and verification of Java classes. We present the abstract semantics and the underlying abstract domain, a combination of an aliasing analysis and octagons. We discuss some implementation issues, and we compare Cibai with similar tools, showing how Cibai achieves a higher level of automation and precision while having comparable performances.
 

 

 

 

 

 1 Introduction

 

 

 

 

Object-oriented programming emphasizes the development by components. Components are written once and used in many, different contexts. Component reliability is a main issue in object-oriented development. Testing has been for long time the main approach for assuring component’s reliability. A popular approach is that of unit testing,

 

 

 

e.g.

 

 

 

 

JUnit [1], which allows to write test cases for single components, and then to “ validate ” the tests through the use of assertions. The problems of the approach are that:

(i) it requires the programmers to write test cases

(ii) it is not sound as just finitely many execution paths and inputs can be considered; and

(iii) it does not scale up very well as, if one wants full code coverage, the complexity of the test cases grows up very quickly with the size of the program. As a consequence, the need for formal methods arises.

Most of the verification tools that have been developed so far heavily relies on program annotations,

 

 

e.g.

 

[5,17,3]. Following the Design by Contract approach

[18], such tools allow the programmer to express class invariants, pre-condition, post-conditions for the class. From the annotated program they derive the verification conditions, which are passed to a theorem prover. This approach has two main problems: (i) it has an inherent exponential behavior, as the checking of verification conditions by the theorem prover roughly corresponds to the exploration of all the possible paths in the program; and (ii) it requires the developer to provide inductive arguments,

 

 

 

e.g. loop invariants, either as further

Send Ah Kong (lyric & Sing along)

May 10, 2009 by Archie  
Filed under Hot News, Simple Life

I found another production by Mr. Brown from Singapore. Its funny man :P Please sing along ya LoL !!!

There’s a place Batuk Bahar
where the old folks can roam free
and this place very cheap
got many palm trees…

work whole life in Singapore
but still broke until
teung kor… (dropped pant)
don’t want you
go and die in another country…

When its time to mati(die)
to pay ninety cents for a kopi
send your dad and mum
they have chewing gum…

send ah kong…
find budget old folks home..
health minister say got discount
across causeway

since all really dying
may as well make space for the living
Singapore too small
Please go to JB (Johor Bahru)

You may think it is far
Scally bad guys steal your car
lagi worse if drive BM or Honda

dont be scared, not so bad
just don’t stop if tired flat
there’s no jam
if you choose to go on weekends

when you, go to Johor
you can also do some shopping
seafood cheap and fresh
you can save some cash

Send ah kong…
move to a bigger place
health minister say that malaysia boleh
they got pirate movies
and power tongkat ali
why choose Singapore
better go JB

Send ah kong… if he kana sick
health minister say ambulance on the way
gahment very caring
just an option they are sharing
Singapore loves you
grow old in JB…

gahment very caring
just an option they are sharing
Singapore loves you
grow old in JB…

For you and for me
Got no ERP
Its cheaper you see
Go die in JB
and for your Children…

Sell Out ! ($311.0u7!) by Yeo Joon Han

May 9, 2009 by Archie  
Filed under Hot News, Simple Life

I can’t wait to watch this movie. I heard that this is the official trailer movie has world-premiered at the Venice Film Festival in 2008 and won the Young Cinema Award for Altre Visioni. It also won the NETPAC Award at the Taipei… Mmm…  

3sellout00

Her name is Rafflesia Pong (Rafflesia=largest flower in the world, which reeks of animal carcass; Pong=stink). She’s a bottom-ranking arts show host who’s disillusioned with “those over-rated underachievers we call artists.” For more Click here.

Next Page »