- Subscribe to this page:
- RSS
- Email Alert
goanna
(7 results)-
Software
Radio Australia! 1.0 (Mobile)
July 19, 2011 12:00am PDT
Now you can listen the best Australian Radio stations on your iPhone, iPod Touch and iPad. The following stations are included: ABC Radio National ABC Classic FM ABC Dig Music ABC Jazz ABC Country...
Provided by: Razvan Creanga
-
Downloads
Australian Fauna Screensaver 1.0 (Windows)
April 23, 2011 12:00am PDT
A screensaver of an animation of Australian animals including the kangaroo, the kookaburra, the goanna, the wombat, the ostrich, and the emu. As you watch the screensaver, you may feel you are...
Provided by: Funiworks
-
Software
Australian Fauna Screensaver 1.0 (Windows)
April 23, 2011 12:00am PDT
A screensaver of an animation of Australian animals including the kangaroo, the kookaburra, the goanna, the wombat, the ostrich, and the emu. As you watch the screensaver, you may feel you are...
Provided by: Funiworks
-
Software
Radio Australia - Alarm Clock + Recording 1.8 (Mobile)
January 26, 2010 12:00am PST
Radio Australia brings you 300+ stations:Fox 101.9, SEN Sports 1116, Easy 1170, AB C Classic 105.9, AB C Triple J 105.7, 2 Day FM 1 104.1, AB C Radio National 621, Raw FM 87.6, Five Family 96.5,...
Provided by: 24/7 iPhone apps
-
White Papers
Automatic Bug Detection in Microcontroller Software by Static Program Analysis
May 6, 2009 12:00am PDT
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and platform specific,...
Provided by: University of New South Wales
-
-
White Papers
An Abstract Specification Language for Static Program Analysis
May 4, 2009 12:00am PDT
Static program analyzers typically come with a set of hard-coded checks, leaving little room for the user to add additional properties. In this paper, the authors present a uniform approach to...
Provided by: University of New South Wales
-
White Papers
Goanna: Syntactic Software Model Checking
August 4, 2008 12:00am PDT
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf NuSMV model...
Provided by: University of New South Wales
