1760 search results - page 86 / 352 » A System to Mark Programs Automatically |
138
click to vote
CC
2008
Springer
15 years 1 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
We describe an architecture modeling and code generation framework called Bamboo. Using Bamboo, engineers design SCM repository and feature models, and then generate a running SCM...
137
click to vote
POPL
2000
ACM
15 years 4 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
116
click to vote
ISSS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...