Sciweavers

5788 search results - page 930 / 1158
» High Performance Computing for the Masses
Sort
View
EWSN
2006
Springer
16 years 6 months ago
FlexCup: A Flexible and Efficient Code Update Mechanism for Sensor Networks
Abstract. The ability to update the program code installed on wireless sensor nodes plays an import role in the highly dynamic environments sensor networks are often deployed in. S...
Andreas Lachenmann, Daniel Minder, Kurt Rothermel,...
SODA
2010
ACM
135views Algorithms» more  SODA 2010»
16 years 4 months ago
Probabilistic Analysis of the Semidefinite Relaxation Detector in Digital Communications
We consider the problem of detecting a vector of symbols that is being transmitted over a fading multiple?input multiple?output (MIMO) channel, where each symbol is an ?th root of...
Anthony Man-Cho So

Publication
104views
16 years 4 months ago
Finding My Needle in the Haystack: Effective Personalized Re-ranking of Search Results in Prospector
Abstract. This paper provides an overview of Prospector, a personalized Internet meta-search engine, which utilizes a combination of ontological information, ratings-based models o...
Florian König, Lex van Velsen, Alexandros Par...
ICCAD
2005
IEEE
90views Hardware» more  ICCAD 2005»
16 years 4 months ago
Scalable compositional minimization via static analysis
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz
ICCAD
2003
IEEE
113views Hardware» more  ICCAD 2003»
16 years 4 months ago
Retiming with Interconnect and Gate Delay
In this paper, we study the problem of retiming of sequential circuits with both interconnect and gate delay. Most retiming algorithms have assumed ideal conditions for the non-lo...
Chris C. N. Chu, Evangeline F. Y. Young, Dennis K....