1145 search results - page 205 / 229 » The Correctness of an Optimized Code Generation |
137
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
236
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— For multiple-input multiple-output (MIMO) systems, the optimum maximum likelihood (ML) detection requires tremendous complexity as the number of antennas or modulation ...
160
click to vote
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
124
click to vote
CGO
2007
IEEE
15 years 11 months ago
2007
IEEE
The demand for high performance has driven acyclic computation accelerators into extensive use in modern embedded and desktop architectures. Accelerators that are ideal from a sof...
125
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...