Sciweavers

3394 search results - page 557 / 679
» A Modal Model of Memory
Sort
View
SIGACT
2010
68views more  SIGACT 2010»
14 years 11 months ago
A survey of buffer management policies for packet switches
Over the past decade, there has been great interest in the study of buffer management policies in the context of packet transmission for network switches. In a typical model, a sw...
Michael H. Goldwasser
CORR
2011
Springer
124views Education» more  CORR 2011»
14 years 10 months ago
Parallel Recursive State Compression for Free
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
Alfons Laarman, Jaco van de Pol, Michael Weber 000...
ICASSP
2011
IEEE
14 years 8 months ago
Identification and compensation of Wiener-Hammerstein systems with feedback
Efficient operation of RF power amplifiers requires compensation strategies to mitigate nonlinear behavior. As bandwidth increases, memory effects become more pronounced, and Vo...
Andrew K. Bolstad, Benjamin A. Miller, Joel Goodma...
ICASSP
2011
IEEE
14 years 8 months ago
Stretching, compression and shearing disparity compensated prediction techniques for stereo and multiview video coding
- In multiview video coding, disparity compensated prediction exploits the correlation among different views. A common approach is to use the conventional motion compensated predic...
Ka-Man Wong, Lai-Man Po, Kwok-Wai Cheung, Ka-Ho Ng...
196
Voted
ICDE
2011
IEEE
262views Database» more  ICDE 2011»
14 years 7 months ago
Memory-constrained aggregate computation over data streams
— In this paper, we study the problem of efficiently computing multiple aggregation queries over a data stream. In order to share computation, prior proposals have suggested ins...
K. V. M. Naidu, Rajeev Rastogi, Scott Satkin, Anan...