126 search results - page 9 / 26 » Directly Addressable Variable-Length Codes |
ASPDAC
2010
ACM
13 years 6 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—In recent literature, network coding has emerged as a promising information theoretic approach to improve the performance of both peer-to-peer and wireless networks. It has been...
ASPLOS
1998
ACM
14 years 25 days ago
1998
ACM
As the gap between memory and processor speeds continues to widen, cache efficiency is an increasingly important component of processor performance. Compiler techniques have been...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
A powerful approach to search is to try to learn a distribution of good solutions (in particular of the dependencies between their variables) and use this distribution as a basis ...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...