4722 search results - page 720 / 945 » Encoding Program Executions |
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes a source to source compilation tool for optimizing MPI-based parallel applications. This tool is able to automatically apply a “prepushing” transformation...
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
129
click to vote
MEMOCODE
2007
IEEE
15 years 9 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
122
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
133
click to vote
ISCA
2007
IEEE
15 years 9 months ago
2007
IEEE
Analytical modeling is applied to the automated design of application-specific superscalar processors. Using an analytical method bridges the gap between the size of the design sp...