871 search results - page 141 / 175 » Streaming Reduction Circuit |
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
COMSWARE
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—Mobile WiMAX aims to provide multimedia multicast/broadcast service (MBS) as well as elastic data service. However, supporting delay sensitive applications like video/au...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In this paper we evaluate interactions among flowlevel performance metrics when integrating QoS and best effort flows in a wireless system using opportunistic schedul...
ASAP
2006
IEEE
14 years 4 months ago
2006
IEEE
Data-Pipelining is a widely used model to represent streaming applications. Incremental decomposition and optimization of a data-pipelining application onto a multi-processor plat...
ICDAR
2005
IEEE
14 years 3 months ago
2005
IEEE
An overview of research in automated gesture spotting, tracking and recognition by the Image and Video Computing Group at Boston University is given. Approaches for localization a...