A site devoted mostly to everything related to Information Technology under the sun - among other things.

Saturday, March 26, 2011

Fruit flies teach computers a lesson

"Fruit flies have solved a computing problem that has vexed computer scientists for decades. Mimicking how some nerve cells in flies pick a leader to make decisions has led scientists to a computer algorithm that could make wireless sensor networks, such as those used for monitoring volcanic activity or controlling swarms of robots, much more efficient."

Don't Fear the Command Line

A free eBook, "Introduction to the Command Line", is available @ http://dontfearthecommandline.blogspot.com/2010/09/free-ebook-introduction-to-command-line.html

Practical Computing for Biologists

This book teaches computer skills to biologists by focusing on topics and techniques that are applicable to a range of bio-infomatics endeavors. These topics include:

Searching with regular expressions
The Unix command line
Python programming and debugging
Creating and editing graphics
Databases
Performing analyses on remote servers
Working with electronics

The main narrative focuses on Mac OS X.

The book is designed to be used as a self-guided resource for researchers, a companion book in a course, or as a primary textbook.

Find it @ http://www.amazon.com/Practical-Computing-Biologists-Steven-Haddock/dp/product-description/0878933913/ref=dp_proddesc_0?ie=UTF8&n=283155&s=books

Wednesday, March 23, 2011

Gladinet Cloud Desktop

Gladinet Cloud Desktop is a Windows client software that enables seamless access, aggregation, and backup to cloud storage sites. The following are supported:

  1. Amazon S3
  2. AT&T Synaptic Storage
  3. Caringo CAStor
  4. EMC Atmos Online
  5. Google Storage
  6. Nirvanix
  7. Mezeo
  8. Windows/Azure
  9. Box.net
  10. OpenStack
  11. Peer1 CloudOne
  12. Rackspace CloudFiles
  13. FTP
  14. WebDav

Find it @ http://www.gladinet.com/p/moreaboutdesktop.htm

There is a free starter edition for non-commercial use.

The licensing information may be found @ http://www.gladinet.com/gladwiki/moin.cgi/Gladinet_CloudDesktop_License

Friday, March 18, 2011

Selected Bibliography for Cyber Security

From CSIS: http://csis.org/files/publication/110316_Cybersecurity_Bibliography.pdf

XMind

This is mind mapping tool similar to the MindManager from MindJet and MS Visio's BarinStorming feature.

It is very easy to use and intuitive.

Watching diagrams is usually more effective that reading the prose.

The disadvantage is that the free version of the application has limited export features, but there is a possibility to put the body into a Word document

You can download XMind free version from http://www.xmind.net/.

Sunday, March 13, 2011

Think static analysis cures all ills?

Mark Pitchford explains:

"Static code analysis has been around as long as software itself, but you'd swear from current tradeshows that it was just invented. Here's how to choose the right code-analysis tools for your project."

NHTSA-NASA Study of Unintended Acceleration in Toyota Vehicles

NHTSA-NASA Study of Unintended Acceleration in Toyota Vehicles @ http://www.nhtsa.gov/UA

The report may be found @ http://www.nhtsa.gov/staticfiles/nvs/pdf/NHTSA-UA_report.pdf

NASA team applied static source-code analysis, formal logic model checking, and algorithm analysis through simulation.

The report states "The team's experience is that there is no single analysis technique today that can reliably intercept all vulnerabilities, but that it is strongly recommended to deploy a range of different leading tools."

For code analysis, the team used Coverity, CodeSonar, and Bell Labs' Uno to identify common coding defects and suspicious coding patterns. The team also used CodeSonar to compare Toyota's code against a Jet Propulsion Lab coding standards (1,2,3).

For model checking, the team used open-source Spin and Swarm. To use a formal model checker, one first has to write formal models. The team built models only for those software modules it believed could be culprits; the formal analysis depended on human judgment.

The algorithm analysis began with building models in Matlab. This process started with reading Toyota documentation and talking with Toyota engineers, and then progressed to analyzing the source code and finally testing the models against actual Camrys. Once the NASA team was satisfied with the models, they explored failure scenarios in Simulink and checked delays with AbsInt aiT.

Some conclusions suggest themselves. First, there are no silver bullets: effective debug means using everything you've got.

Second, even when it's grounded in exhaustive and formal techniques, an evaluation is circumscribed by the evaluators' beliefs about the possible behavior of the system.

Third, there is no certainty. Despite Toyota's great care in developing their code, NASA's analysis found significant errors, including serious underestimates of delays in the multiprocessing system.

But the investigation could not link those errors to any proposed mechanism for unintended acceleration. NASA Executive Summary stated "Because proof that the ETCS-i caused the reported UAs [unintended accelerations] was not found does not mean it could not occur."

Good News on Jobs

Prepare for talent wars, IT poaching, Dice.com warns @ http://www.networkworld.com/news/2011/030311-talent-poaching.html

Is your company at risk of an IPv6 brain drain? @ http://www.networkworld.com/news/2011/010311-outlook-careers.html

Career Watch: Six promising technology job titles @ http://www.networkworld.com/news/2011/030711-career-watch-six-promising-technology.html?page=1

Four more iOS apps for IT

http://www.networkworld.com/columnists/2011/030311-gearhead.html

Hacking Nook Color

Free article from WSJ:

http://online.wsj.com/article/SB10001424052748703662804576188901890884360.html?mod=WSJ_hp_MIDDLETopStories

Check the comments tab for more details.

And a “how-to” posting:

http://reviewhorizon.com/2011/01/how-to-root-your-nook-color-and-transform-it-into-a-cheap-android-tablet/

Welcome to the Mobile Battlefield, HP

http://www.eetimes.com/electronics-news/4212983/Welcome-to-the-mobile-battlefield-HP

About Me

My photo
I am a senior software developer working for General Motors Corporation.. I am interested in intelligent computing and scientific computing. I am passionate about computers as enablers for human imagination. The contents of this site are not in any way, shape, or form endorsed, approved, or otherwise authorized by HP, its subsidiaries, or its officers and shareholders.

Blog Archive