Unduk Ngadau

Unduk Ngadau Contestants for 2009. Click here for Contestants’ Photos (David Chong Photography). You need to register as a FACEBOOK‘s member to view those photos. I did not manage to go to KDCA because I got a project need to be done and also to prepare test for my PMR and SPM student.  not only that, I feel tired and lazy to go as well !!! I found another blog that provide all the contestant photo. Enjoy!

1. CINDY CELESTINE SIPILIS (TAWAU)
2. GILDA J JOEPLIK (SANDAKAN)
3. ELINNA MASUIN (LIKAS)
4. DEIZI SEBASTIAN MOJINU (WP LABUAN)
5. JOVENEA JIM LAJIM (KLANG VALLEY)
6. HULLIWTA ELISER (TUNGKU)
7. SARIMAH TANGKUNGON (PEGALUNGAN)
8. EMILDA ALBERT (PAITAN)
9. LYDIA BINIDIK (KEMABONG)
10. SHERON OLGA FEDILIS (SOOK)
11. DIANA NGOAI (MENUMBOK)
12. JENIFFER DAVID (TELUPID)
13. VICTORIA YAM PEI LING (KUNAK)
14. EAROZIANA ELVY VENTURE (TONGOD)
15. WANDA HENDRYANA PIUS (LAHAD DATU)
16. JUKINI GAMIUS (SEMPORNA)
17. JOANNE BERNADETTE JOHN (BELURAN)
18. GLORIA LYNE BAMI (KINABATANGAN)
19. ROUNNAH BAB ROBERT SYLVESTER (TENOM)
20. AFFY JACKLEYINDA ENTAWIN (BEAUFORT)
21. JOVETTA JOPRINE (KUALA PENYU)
22. ROZYANAH MUTANG (SIPITANG)
23. STELLA NAKARAN (RANAU)
24. JACQUELINE JOSEPH (KENINGAU)
25. EFAHRINA NICHOLAS (TAMBUNAN)
26. WINEH DIWALANG (NABAWAN)
27. RACHEL MARTINUS (INANAM)
28. PEARL DIANNE PETRUS (DBKK)
29. ELSIE R MARIUS (TANJUNG ARU)
30. MAYLESTHELYN MATIUS (PUTATAN)
31. JOANNE KIMBERLEY J MAJALAP (PENAMPANG)
32. APPEY ROWENNA JANUIN (PAPAR)
33. CECELIA RIYMANTE (MEMBAKUT)
34. LAINE TINGGANGAU (KOTA MARUDU)
35. ERRA QUENCY VICTOR (KOTA BELUD)
36. FREDERICKA CAMILLA RICHARD DAUT (TUARAN)
37. FLINA RUTUM (TAMPARULI)
38. JACQUELINE MONALISA (BANGGI)
39. LYNNESTHERWENNS MASUIN (KUDAT)
40. CLARENCENA KADIUS (MATUNGGONG)
41. EVILIN MATHIS (PITAS)

Sabah Cafe

It has been quite a long time I blogged, I didn’t managed to go to the cyber to improve my dota skill. Normally, I went to the Damai CyberX to challenge with unknown players and the regularity almost 2-3 per week. For sure, CyberX is one of the best cyber cafe in Sabah.

Location Map

Lot 16 & 17, 1st Floor, Lot 19 & 20, 1st Floor, Lot 20, GF, Damai Plaza

Kota Kinabalu

Sabah

Malaysia

88300

 

	info@cyberx.com.my This e-mail address is being protected from spam bots, you need JavaScript enabled to view it
	088-266055
	088-255355

And also, I think this cyberx is the only cyber that organising Dota Tournament in Sabah. For instance, like what they did last year with SMM (Sendi Mutiara Multimedia) DotA Tournament 2008 Sabah Qualify on September 2008.

I was thinking to join the tournament but I do not have a good team to partner with !!! Is it because of I only good in Goblin Techie? Hehe, I got a good nickname in CyberX which is 1s† Blood LoL. The only player that using this name I like to use this nickname because I used to BEING (Kena) 1st blood by them. But now no more Instead of BEING but now.. is Getting more LoL (Kidding).

Microsoft Cibai

 

 

 

 

 

 

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

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

 

 

e.g.

 

[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

No idea what to post…

I have no idea where to start to post about the holiday vacation as I still feel zzzzzzz a bit tired and dizzy. Furthermore, I did not managed to get the photos at Helen’s house which taken by me because that day I saved all the photos into their external hardisk. Just Imagined, 8Gb of memory size also not enough to allocate for a day photo shooting especially during the Ocean Park visit !!!

And also, I did not managed to care about my dietary during the vacation because I couldnt stop my mind  to think about “EAT AS YOU CAN” especially the superb Mc Donalds Spicy Pork Burger LoL.. the Mc Donalds pork burger really delicious man Kekeke! I think I need to go for diet pill reviews after this because my tummy is getting big again. Sad…

I’m tired

I just back from Macau-Hong Kong yesterday and still feel a bit tired and dizzy. No mood to post anything yet. And, I should have applied for another 2 days instead of a day. LoL!

I don’t feel like eating any food and I just feel like sleeping whole day to give myself 100% rest at home. Arrgggghhh… I can’t do that as I have to give tuition later on… I think I should have take diet pills that work on me as I don’t have mood to eat anyway. Hehehe.. Time to work !!!

Next Page »