Omega Project
Edit Page
Report
Scan day: 07 February 2014 UTC
36
Virus safety - good
Description: Frameworks and algorithms for analyzing and transforming scientific programs; 2 major components: the Omega test system to manipulate sets of affine constraints over integer variables; and developing frameworks to analyze and transform programs.
Frameworks and Algorithms for the Analysis and Transformation of Scientific Programs Frameworks and Algorithms for the Analysis and Transformation of Scientific Programs For the most recent release of Petit, the Uniform Library, the Omega Library, and Omega calculator, please use
Size: 280 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
Page title: | Frameworks and Algorithms for the Analysis and Transformation of Scientific Programs |
Keywords: | |
Description: | |
IP-address: | 128.8.127.3 |
WHOIS Info
NS | Name Servers: NS2.UMD.EDU 128.8.76.3 NS1.UMD.EDU 128.8.74.3 |
WHOIS | |
Date | activated: 31-Jul-1985 last updated: 16-Sep-2013 expires: 31-Jul-2014 |