http://gpgpu.org General-Purpose Computation on Graphics Hardware Tue, 22 May 2012 08:44:05 +0000 en hourly 1 http://wordpress.org/?v=3.3.2 http://gpgpu.org/2007/07/14/a-fast-implementation-of-the-octagon-abstract-domain-on-graphics-hardware http://gpgpu.org/2007/07/14/a-fast-implementation-of-the-octagon-abstract-domain-on-graphics-hardware#comments Sat, 14 Jul 2007 21:03:00 +0000 Mark Harris http://www.gpgpu.org/cgi-bin/blosxom.cgi/ScientificComputing/Mathematics/banterleOAD07.html This paper by Banterle and Giacobazzi at Università degli Studi di Verona presents an efficient implementation of the Octagon Abstract Domain (OAD) on graphics hardware. OAD is a relational numerical abstract domain which approximates invariants as conjunctions of constraints of the form +/- x +/- y <= c, where x and y are program variables and c is a constant which can be an integer, rational or real. OAD has been used with success in the aerospace industry for analyzing C programs such as the flight control software for the Airbus A340 fly-by-wire system. ( A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. Francesco Banterle and Roberto Giacobazzi. Proceeding of The 14th International Static Analysis Symposium (SAS). 2007)

]]> http://gpgpu.org/2007/07/14/a-fast-implementation-of-the-octagon-abstract-domain-on-graphics-hardware/feed 0