Warping it up!

Fini Alring’s Glossy Tech Zine

Archive for April 28th, 2005

NASA released Opensource Java PathFinder

Thursday, April 28th, 2005

tss: “NASA has just released Java PathFinder, a Java Virtual Machine that uses states to check all the possible ways a Java program can be executed, finding possible errors (NPEs or deadlocks, for example) in your code.

It then reports the entire execution path that leads to a defect. It’s especially suited to find hard-to-test concurrency defects in multithreaded programs.

Currently,
the software is limited to check for thread locks and uncaught exceptions, but it can be extended to check for other things, like race conditions. However, there is no support currently for java.awt, java.net and some of java.io.

The license is a custom license from NASA, NASA Open Source Agreement 1.3, but if the project was approved on Sourceforge it should follow the OSI conventions.”

NASA releases Java verification program as Opensource

Posted in News | No Comments »

Rice University to Provide NASA’s Quantum Wire

Thursday, April 28th, 2005

geekman writes “NASA is paying Rice University $11 million to build a prototype quantum wire that can conduct electricity 10 times better than traditional copper cables at one-sixth the weight. Rice has four years to build a one-meter-long quantum wire, which will be made out of carbon nanotubes. Seems like a lot of money for a little wire, but then again, all the rocket scientists at Los Alamos have only ever been able to put together a four-centimeter nanotube.”

Slashdot | Rice Contracted to Provide NASA’s Quantum Wire

Posted in News | No Comments »