Hurlin recently proposed a technique for automatic parallelization based on separation logic. This paper proposes an enhancement of the mechanism for situations where conditional statements are used in specifications of programs. With the proposed changes, specifications containing conditional statements are supported and programs can be automatically parallelized. Two approaches are identified and a preferable one is suggested. The proposed extension is illustrated by an exemplifying program and has been implemented.
Will be presented at The 11th Twente Student Conference on IT, to be held June 29, 2009
In my childhood during summertime I was tracking sunspots in the backyard of my dad. In that time I used a rather small telescope, protecting my eyes with darkened negatives, sketching the movement of the spots in a notebook.
Thierry Legault managed to bring back these memories by shooting these incredible pictures of the Atlantis on a repair mission of the Hubble telescope.
I have been waiting for this for years: Free Microsoft Certificates for students.
Check it out on DreamSpark.
Claim your free Microsoft Technical Specialist exam voucher code and get certified before June 30, 2009!
It was about time to upgrade my old phone to a next gen: Sony Ericsson XPERIA X1.
I love the combination of the bright screen, QWERTY keyboard and classy design. Downside is storage size of just 500MB. So I ordered a 16GB Micro SDHC (SanDisk)
For internet I will have to wait another two weeks to have my new Vodafone plan activated.
Envision how emerging technologies, evolving trends, and global change might come together to improve our lives at work and home across multiple real life scenarios. by Office Labs
“The goal of giving form to a complex situation like the credit crisis is to quickly supply the essence of the situation to those unfamiliar and uninitiated. This project was completed as part of my thesis work in the Media Design Program, a graduate studio at the Art Center College of Design in Pasadena, California.” By Jonathan Jarvis.
Geweldige animaties van Glenn Marshall, er schijnt een hoop wiskunde te zitten achter zijn werk.
Het is weer zover, tentamens, voor de gezonde SOG (Studie Ontwijkend gedrag) een filmpje ter inspiratie.
Edit: Hij is stuk, dan maar even doorklikken naar de maker.