13 Jun 07 Carnap Programming Language (for the next generation of many-core devices)

Carnap is a general purpose programming language for the next generation of many-core devices, many many-core systems and their applications. It introduces a process oriented programming model that allows programmers to seperate the concerns of data structures and the concurrent processes that act upon them.

“The primitive process of a Carnap program is called an action. An action determines a local or shared state. Actions are assembled by construction to form the component processes of a program. Programs consist of concurrent processes that construct and interact via logically shared data structures and resources called contexts.

In this way the application programmer is able to separate concerns, reasoning separately about the two primary aspects of Carnap programs: data structures and the concurrent processes that act upon them.

The primary goal of Carnap is to ease the general purpose programming of applications that can utilize the concurrency of future many-core and many many-core systems.”

This project is a part of IASE’s Process Interaction Models Research .

Carnap is Open Source and freely available to the research community.

09 Jun 07 Sains 2020: Computational Biology

Musim panas 2005, berkumpul pakar (international expert group) dalam suatu workshop (disponsori oleh Microsoft) untuk mendefinisikan dan menghasilkan suatu visi baru dan ‘roadmap’ dari evolusi, tantangan dan potensi penelitian ‘computer science’ dan ‘computing in science’ untuk 15 tahun ke depan.

Dokumen hasil workshop, Towards 2020 Science, memuat tantangan dan kesempatan yang muncul akibat peningkatan sintesis dari komputasi dan sains. Dokumen juga menam- pilkan hasil identifikasi akan hal-hal penting yang diperlukan untuk mempercepat kemajuan saintifik, terutama yang di-drive ‘computational sciences’ dan the ‘new kinds’ of science’ : sintesis komputasi dan sains. Sintesis ini memuncul bidang baru dan advances mulai dari genomics dan proteomics, ilmu bumi dan klimatology, material nano, kimia dan fisika.

Para pakar berharap, Towards 2020 Science akan menjadi suatu ‘pathfinder’ bagi arah penelitian baru dalam sain dan komputasi.

Hal penting yang perlu di catat adalah bahwa menuju tahun 2020: a) riset lebih di arahkan ke Computational Biology (dan tahun 2020 riset computational biology sudah benar-benar ‘establish), b) Ilmu komputer akan menjadi tool utama (core tools) wajib bagi ilmu non-eksakta, sebagaimana matematika menjadi tool bagi semua ilmu.

Sudah saat bagi kita untuk ikut serta melakukan penelitian pada computional biology. Beberapa link sebagai pengantar computational biology:

http://www.biodirectory.com/biowiki/Main_Page

http://www.biodirectory.com/biowiki/Computational_biology

http://en.wikipedia.org/wiki/Computational_biology

http://www.soe.ucsc.edu/~karplus/compbio_pages.html

http://www.cmu.edu/bio/education/courses/03510/LectureNotes/

http://compbiol.plosjournals.org/