1145 search results - page 171 / 229 » The Correctness of an Optimized Code Generation |
115
click to vote
JCM
2008
14 years 11 months ago
2008
In a large-scale sensor network individual sensors can be compromised to inject bogus sensing reports. While SEF can filter out the outfield false reports, it is incapable of detec...
184
click to vote
LISP
2006
14 years 11 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
114
click to vote
VTC
2010
IEEE
14 years 10 months ago
2010
IEEE
—In the next generation high-speed wireless packet access systems, hybrid automatic repeat request (HARQ) is necessary to achieve higher throughput performance. An HARQ with Chas...
112
click to vote
TWC
2008
14 years 11 months ago
2008
In this paper the tradeoff between energy and delay for wireless networks is studied. A network using a request-to-send (RTS) and clear-to-send (CTS) type medium access control (M...
107
click to vote
IWMM
1998
Springer
15 years 4 months ago
1998
Springer
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...