extended static checking Resources

Sponsored White Papers, Webcasts, and Downloads

Distributed, Multi-Threaded Verification of Java Programs: Extended Static Checking ESC is a fully automated formal verification technique and is generally quite efficient, as far as verification tools go, but it is still orders of magnitude slower than simple compilation. Verification in ESC is achieved by translating programs and their specifications into Verification Conditions VCs. Proof of...; Tags: Java Program, Concordia University, Extended Static Checking, Productivity, Java, Programming Languages, Software Development, Software/Web Development; White papers 2008-01-01

Samsung SPH-M520: When we first saw the photos of Sprint's new Samsung SPH-M520, we have to admit that we shook our head in bewilderment. For a while now, we've been asking Samsung to give us something completely new, and as yet another slim slider phone in silver, the SPH-M520 definitely wasn't it....; Tags: E-mail, Telecom & Utilities, slider mechanism, navigation control, keypad button, Samsung SPH-M520, Samsung Electronics Co. Ltd.; Product reviews 2008-02-25
Samsung SGH-a517 (AT&T): Photo gallery:Samsung SGH-A517Up until recently we thought that Nokia had a big machine that continually pumped out new cell phones. It was just that the company put out so many phones--and many of them looked so much alike--that we couldn't imagine how else they made so many models. But in...; Tags: Telecom & Utilities, camera lens, AT&T Corp., Samsung Electronics Co. Ltd., SGH-A517, Samsung SGH-a517, phone, display; Product reviews 2007-10-18

Check out some of the easiest and most powerful ways to boost productivity while saving money on your application infrastructure. See ZDNet's comprehensive Enterprise Application resource center, now!

New Online Dashboard

Read about top issues IT decision-makers face every day, plus get cost effective solutions to real life IT problems. Oracle Topline