Sciweavers

989 search results - page 134 / 198
» Dynamic Symmetry Reduction
Sort
View
ISVLSI
2005
IEEE
157views VLSI» more  ISVLSI 2005»
15 years 10 months ago
Configurable Multiprocessors for High-Performance MPEG-4 Video Coding
We investigate the performance improvement of a multithreaded MPEG-4 video encoder executing on a configurable, extensible, SoC multiprocessor. Architecture-level results indicate...
Vassilios A. Chouliaras, Tom R. Jacobs, Ashwin K. ...
LCN
2005
IEEE
15 years 10 months ago
The Time-Controlled Clustering Algorithm for Optimized Data Dissemination in Wireless Sensor Networks
—Wireless sensor networks afford a new opportunity to observe and interact with physical phenomena at an unprecedented fidelity. To fully realize this vision, these networks have...
S. Selvakennedy, Sukunesan Sinnappan
ARCS
2005
Springer
15 years 10 months ago
Energy Management for Embedded Multithreaded Processors with Integrated EDF Scheduling
Abstract. This paper proposes a new hardware-based energy management technique for future embedded multithreaded processors with integrated Earliest Deadline First (EDF) real-time ...
Sascha Uhrig, Theo Ungerer
EGC
2005
Springer
15 years 10 months ago
Grid Access Middleware for Handheld Devices
Abstract. Grid technology attempts to support flexible, secure, coordinated information sharing among dynamic collections of individuals, institutions, and resources. The use of G...
Saad Liaquat Kiani, Maria Riaz, Sungyoung Lee, Tae...
SPIN
2005
Springer
15 years 10 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina