1145 search results - page 97 / 229 » The Correctness of an Optimized Code Generation |
ASPDAC
2000
ACM
14 years 1 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
CORR
2011
Springer
13 years 22 days ago
2011
Springer
Consider a linear [n, k, d]q code C. We say that that i-th coordinate of C has locality r, if the value at this coordinate can be recovered from accessing some other r coordinates...
TWC
2008
13 years 8 months ago
2008
In this paper, real-time video transmission with quality of service (QoS) assurance over orthogonal frequency division multiplexing (OFDM) wireless systems is studied. Three quasi-...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Dedicated operating systems for embedded systems are fast being phased out due to their use of manual optimization, which provides high performance and small footprint, but also r...
DCC
2011
IEEE
13 years 4 months ago
2011
IEEE
Quantizers for probabilistic sources are usually optimized for mean-squared error. In many applications, maintaining low relative error is a more suitable objective. This measure ...