Correctness Tools: Difference between revisions
From Modelado Foundation
imported>Ksen (Created page with " {| class="wikitable" ! style="width: 200;" | QUESTIONS ! style="width: 200;" | XPRESS ! style="width: 200;" | TG X-Stack ! style="width: 200;" | DEGAS ! style="width: 200;" ...") |
imported>Ksen No edit summary |
||
| Line 13: | Line 13: | ||
! style="width: 200;" | PIPER | ! style="width: 200;" | PIPER | ||
|- | |- | ||
| | | || || || || || || || || || || | ||
|- style="vertical-align:top;" | |- style="vertical-align:top;" | ||
|Describe how expect to require compiler support. | |Describe how expect to require compiler support. | ||
Revision as of 17:50, April 25, 2014
| QUESTIONS | XPRESS | TG X-Stack | DEGAS | D-TEC | DynAX | X-TUNE | GVR | CORVETTE | SLEEC | PIPER |
|---|---|---|---|---|---|---|---|---|---|---|
| Describe how expect to require compiler support. | (EXPRESS) | (TG) | (DEGAS) | (D-TEC) | (DynAX) | (X-TUNE) | (GVR) | (CORVETTE) | SLEEC | (PIPER) |
| 'Program analysis can be both challenging and require specialized expertise. What requirements do you have for program analysis and what level of expertise you expect to require? | (EXPRESS) | (TG) | (DEGAS) | (D-TEC) | (DynAX) | (X-TUNE) | (GVR) | (CORVETTE) | N/A | (PIPER) |
| What types of hardware to you expect to address within optimizations and at what level of granularity?" | (EXPRESS) | (TG) | (DEGAS) | (D-TEC) | (DynAX) | (X-TUNE) | (GVR) | (CORVETTE) | N/A | (PIPER) |
| What languages do you expect to use and or extend to support your research work?" | (EXPRESS) | (TG) | (DEGAS) | (D-TEC) | (DynAX) | (X-TUNE) | (GVR) | (CORVETTE) | N/A | (PIPER) |