Owor-owor eh Woro-woro
Blog ku dah pindah ya!
Just click here ... http://andri.cisco.or.id/blogs
so, be there yah, tak tunggu !
tempat waktu berjalan, tempat nafas berhembus, tempat cahaya bersinar, tempat air mengalir .....
Blog ku dah pindah ya!
Setelah sekian lama, cita2 punya tower terkabul. Insya Alloh, nanti urusan perInternetan tidak lagi mborosin pulsa telpon, cukup pake Idle Bandwidth kampus di malam hari :))
Sekarang ini orang sering berbicara masalah kebebasan. Ada orang yang bilang "Ini hak saya, saya bebas mengungkapkan apa saja !". Ada yang juga bilang "Kebebasan itu tentu saja dibatasi oleh hak orang lain..."
Alhamdulillah, selesai juga hari Jumat ini sesinya, dan selesai juga Course kita selama 12 hari di Univ. Advent Indonesia (UNAI) Bandung, yang diselenggarain United Nations University. Dibawah adalah dokumenter kita selama di sana, enjoy .....
Hari kamis malam, 8 Desember 2005, di dormitory UNAI, Lembang, Bandung. Ini adalah malam terakhir kita di tempat yang dingin ini. Malam terakhir, sore hari berkabut, yang dilanjutkan dengan hujan.
Selama 12 hari kita "digojlog" abis-abisan sama instruktur-instruktur dari LN. Gimana orangnya, kita liat yuk:
Yang kedua ini namanya Prof. Otto Spaniol. Ngajarin kita tentang Data Communications, Computer Networking, sama Multimedia. Materinya yang sangat bagus. Apalagi aku expertnya disana :) Beliau ini sudah dapet Phd-nya sejak 1971. Dan jadi tim ahli di kementrian Jerman Sono. Oh ya, beliau pengajar di RWTH Aachen, Jerman.
Yang ketiga ini yang sudah kusebut namanya, "Jean Claude" Van Hung --> ini kata Mr. Stanislav Kirilov (dosen di UNAI, aslinya Bulgaria). Namanya Dr. Dang Van Hung (http://www.iist.unu.edu/~dvh/), asli dari vietnam, dia ahli di bidang matematika, dan sekarang concern di masalah Software development. Dia juga research fellow di UNU, Macau, Cina. Orangnya asik banget, liat aja gayanya ngajar, kaya' mau ngajari kungfu aja. Btw, dia dulu termasuk orang yang ikut perang ketika USA melawan vietnam loh...keren kan :DWhat is Model Checking?
Given a model system specified in Promela, Spin can either perform random simulations of the system's execution or it can generate a C program that performs an efficient online verification of the system's correctness properties. During simulation and verification Spin checks for the absence of deadlocks, unspecified receptions, and unexecutable code. The verifier can also be used to verify the correctness of system invariants, it can find non-progress execution cycles, and it can verify correctness properties expressed in next-time free linear temporal logic formulae.
The verifier is setup to be efficient and to use a minimal amount of memory. An exhaustive verification performed by Spin can establish with mathematical certainty whether or not a given behavior is error-free. Very large verification problems, that can ordinarily not be solved within the constraints of a given computer system, can be attacked with a frugal ``bit state storage'' technique, also known as supertrace. With this method the state space can be collapsed to a small number of bits per reachable system state, with minimal side-effects.
UII keliatannya perlu belajar banyak dari UNAI (eh aku belum cerita ya..UNAI tuh kependekan dari Universitas Advent Indonesia) untuk masalah landscape, dan penataan lingkungan. Liat aja picture di samping, itu adalah bangunan library tempat kita sehari-hari ikutan course, makan pagi, makan siang, dan makan malam. Foto ini diambil di atas, didepan ruang makan dan ruang belajar mahasiswa. UnAI adalah kampus dengan sistem boarding. Hampir sebagian besar mahasiswa disana ikutan asrama, dan memang terlihat mahasiswanya lebih rajin, kalau pas baru belajar, di ruang belajar penuh. Mahasiswa yang rajin-rajin, kemudian yang bertanggung jawab kebersihan dan ketertiban juga mahasiswa.