Nasa
RSS NasaA Simulation Based Model Checker for Real Time Java
White Paper The Robust Software Systems group at NASA Ames Research Center has Java PathFinder (JPF) under development, a Java model checker. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time... [25 Jun 2009]
Java PathExplorer - A Runtime Verification Tool
White Paper An initial prototype of the tool has been applied to the executive module of the planetary Rover K9, developed at NASA Ames. This paper describes work on designing an environment, called Java PathExplorer, for monitoring... [25 Jun 2009]
Roadrunner supercomputer keeps ahead of the race
News Pleiades, SGI, NASA Ames Research Center (487.01 teraflop/s) Despite the Jaguar nipping at its heels, Roadrunner continues to speed past the supercomputing pack. That's according to the twice yearly Top500 list of the... [23 Jun 2009]
Photos: What Brown's reshuffle means for tech
Photo Johnson can also expect to face fresh pleas from lawyers for Nasa hacker Gary McKinnon, who made unsuccessful appeals to Smith to block his extradition to the US to face prosecution. Following a week of political turmoil... [10 Jun 2009]
Tech-world wonders, cyber art and Windows 7...
Photo Photo credit: Nasa silicon.com's Tim Ferguson travelled to Portugal to see how 2004 European Cup winner, FC Porto, uses video security and networking technology at their Estádio do Dragăo ground in Porto. [11 May 2009]
CSC Supports Groundbreaking Satellite Mission
White Paper Following decades of work on major NASA efforts such as the Apollo program, they're playing a key role in the success of a small and relatively inexpensive next-generation satellite. The company wanted to work with the... [01 May 2009]
Photos: My seven wonders of the tech world
Photo Photo credit: Nasa Here, teams of Nasa flight controllers sit behind banks of consoles to monitor and direct shuttle missions from the ground tracking station. Photo credit: Nasa... [09 Apr 2009]
CPS refusal pushes Nasa hacker step closer to extradition
News The Crown Prosecution Service has decided it will not prosecute self-confessed Nasa hacker Gary McKinnon in the UK, edging him closer to extradition to the US. US authorities last year won the extradition of McKinnon to... [27 Feb 2009]
Kurzweil and friends launch Silicon Valley university
News Starting this summer, some of the world's leading thinkers in exponentially growing technologies will be gathering annually at Nasa Ames Research Center, in the heart of Silicon Valley, for 10 weeks of discussions on how... [03 Feb 2009]
Nasa hacker wins judicial review
News Gary McKinnon, the man accused by US prosecutors of "the biggest military hack of all time", has won the right to a judicial review of a Home Office decision to extradite him to the US. Lord Justice Maurice Kay made the ruling at the... [23 Jan 2009]
Nasa hacker extradition: On hold
News McKinnon has always admitted hacking into Nasa and Pentagon systems - a crime for which he could face up to 70 years in prison if he were found guilty by a US court - but denies causing damage to the extent claimed by... [20 Jan 2009]
Will Nasa hacker be prosecuted in UK?
News The Crown Prosecution Service will give a decision in the next four weeks as to whether it will prosecute Nasa hacker Gary McKinnon. The Nasa hacker: All the coverage Nasa hacker says... [16 Jan 2009]
Nasa hacker says will plead guilty in UK
News McKinnon has been accused by US prosecutors of "the biggest military hack of all time", after entering Nasa and Pentagon systems. The Nasa hacker: All the coverage Nasa hacker says will... [13 Jan 2009]
2008: The year in mobile
News Nasa prepares trial for takeoff 2008 was a year of change in the mobile sphere - not least for the iPhone which switched from being exclusively a shiny consumer toy to a business-friendly mobility tool as Apple licensed... [30 Dec 2008]
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
White Paper The formal OOA methodology, including the design rules, was applied to the design of NASA robot control software. This paper presents the OOA design step in a methodology which integrates automata-based model checking... [19 Dec 2008]
