MainComputersProgrammingLanguages › Omega Project

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

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