4355 search results - page 106 / 871 » From Interpretation to Compilation |
111
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
139
Voted
BCS
2008
15 years 5 months ago
2008
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...
129
click to vote
CGF
2010
15 years 3 months ago
2010
Programmable shading provides artistic control over materials and geometry, but the black box nature of shaders makes some rendering optimizations difficult to apply. In many case...
133
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
119
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety o...