Most Recent Verify Posts RSS

Vectorization, The Other Parallelism

Posted on May 2, 2013 by Intel®

  Moore’s Law correctly predicted that processor transistor density would increase year after year. All those extra transistors have been used to make powerful hardware capabilities like multiple cores and hardware extensions that improve performance. Intel processors have extensions that support SIMD (single instruction, multiple data) parallelism with Intel® SSE …

Read Full Post Posted in Verify | Leave a comment

Speedy Agile QA Testing

Posted on April 11, 2013 by Intel®

The time to find latent errors is early in agile development—not after you ship product. Read how the new Intel Inspector XE 2013 helps meet QA and developer demands and enables you to deliver reliable code to market faster, under tight deadlines.  Download Intel Inspector XE 2013 one-sheeter here (pdf.)

Read Full Post Posted in Verify | Leave a comment

Real-World Verification, Done Fluidly

Posted on March 28, 2013 by Jeff Cogswell, Slashdot Media Contributing Editor

  While it’s important to master the tools used in parallel development such as Parallel Composer, Parallel Amplifier and Parallel Inspector, it’s good now and then to step back and let the work of others inspire your work.  Today we’ll see how a company called Flow Science used the full …

Read Full Post Posted in Verify | Leave a comment

Benign Data Races: What Could Possibly Go Wrong?

Posted on January 10, 2013 by Dmitry Vyukov, Intel®

A data race occurs when two threads access the same variable concurrently and at least one of the accesses is a write. Data races are one of the most common and hardest to debug types of bugs in concurrent systems. Data races on complex data structures (like strings and hash …

Read Full Post Posted in Verify | Leave a comment

Tracking Usability Bugs

Posted on December 10, 2012 by Asaf Shelly, Intel®

A usability bug is any unintended behavior by the product, noticed by and impacting the user – and not in a good way.  Find out how to track yours.  Read more here.

Read Full Post Posted in Verify | Leave a comment

Checklist for Programming Intel® Xeon Phi™ Coprocessors

Posted on November 20, 2012 by James Reinders, Director, Software Evangelist, Intel®

  Key tips for programming a high degree of parallelism, while using familiar programming methods and the latest Intel® tools supporting the Intel® Xeon Phi™ coprocessor. Read the complete posting here. 

Read Full Post Posted in Verify | Leave a comment

Pointer Checker: Easily Catch Out-of-Bounds Memory Accesses

Posted on September 10, 2012 by Kittur Ganesh, Technical Consulting Engineer, Intel®

This article introduces a powerful new feature called Pointer Checker, which precisely and easily isolates elusive bugs in programs. Found in the Intel® C++ Composer XE 2013 product, its integration into the compiler adds powerful functionality in a way that slides seamlessly into build systems. Clever implementation and powerful error …

Read Full Post Posted in Verify | Leave a comment

Tools that Boost .NET Apps Reliability and Performance

Posted on June 28, 2012 by Levent Akyil and Asaf Yaffe, Software and Services Group, Intel Corporation

  .NET developers can boost application performance and increase the code quality and reliability needed for high-performance computing and enterprise applications with the help of tools like Intel® Inspector XE and Intel® VTune™ Amplifier XE. Read the full article from Intel’s Parallel Universe magazine here. You can also visit The Parallel Universe archive …

Read Full Post Posted in Verify | 1 Comment

Verifying Parallelization of C++ Code with Parallel Inspector

Posted on May 10, 2012 by Jeff Cogswell, Geeknet Contributing Editor

When you start with a serial algorithm and convert it into a parallel algorithm, you want to use the tools in Intel Parallel Studio to do a full test on your running code to make sure there are no memory and thread errors. This is the “verify” stage of development, …

Read Full Post Posted in Verify | Leave a comment

Games and Formal Verification

Posted on May 9, 2012 by John Jainschigg, Geeknet Contributing Editor

Intel Cluster Studio XE 2012 (see http://goparallel.sourceforge.net/intel-cluster-studio-xe-2012-overview-from-intel-software-conference-2012/ and http://software.intel.com/en-us/articles/intel-cluster-studio-xe/) is the latest iteration of Intel’s development suite for HPC clusters. Its powerful, wizard-based code-commenting and code-generating workflow interfaces make counterintuitively simple the task of parallelizing applications efficiently on grand-scale cluster and supercomputing platforms, using Cilk Plus and Threaded Building Blocks …

Read Full Post Posted in Verify | Leave a comment