Sciweavers

2656 search results - page 259 / 532
» Design and analysis of algorithms reconsidered
Sort
View
ANTSW
2010
Springer
15 years 5 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
ICCAD
2007
IEEE
99views Hardware» more  ICCAD 2007»
16 years 4 months ago
Temperature aware microprocessor floorplanning considering application dependent power load
This paper studies microprocessor floorplanning considering thermal and throughput optimization. We first develop a stochastic heat diffusion model taking into account the appl...
Chunta Chu, Xinyi Zhang, Lei He, Tong Jing
ICMCS
2006
IEEE
129views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Minimum Distortion Look-Up Table Based Data Hiding
In this paper, we present a novel data hiding scheme based on the minimum distortion look-up table (LUT) embedding that achieves good distortion-robustness performance. We first ...
Xiaofeng Wang, Xiao-Ping Zhang
DATE
2005
IEEE
101views Hardware» more  DATE 2005»
16 years 27 days ago
Compiler-Directed Instruction Duplication for Soft Error Detection
In this work, we experiment with complier-directed instruction duplication to detect soft errors in VLIW datapaths . In the proposed approach, the compiler determines the instruct...
Jie S. Hu, Feihui Li, Vijay Degalahal, Mahmut T. K...
ASSETS
1998
ACM
15 years 11 months ago
A Phoneme Probability Display for Individuals with Hearing Disabilities
We are building an aid for individuals with hearing impairments which converts continuous speech into an animated visual display. A speech analysis system continuously estimates p...
Deb Roy, Alex Pentland