595 search results - page 28 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
In implementing an efficient block coder for JPEG2000, the memories required for storing the state variables dominate the hardware cost of a block coder. In this paper, we propose...
115
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Accelerating multi-pattern matching is a critical issue in building high-performance deep packet inspection systems. Achieving high-throughputs while reducing both memor...
156
Voted
CONCUR
1991
Springer
15 years 6 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...
120
Voted
POPL
2009
ACM
15 years 9 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
135
Voted
SARA
2009
Springer
15 years 9 months ago
2009
Springer
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...