Sciweavers

3103 search results - page 115 / 621
» Locating Features in Distributed Systems
Sort
View
159
Voted
ICCAD
2003
IEEE
221views Hardware» more  ICCAD 2003»
16 years 10 days ago
Combined Dynamic Voltage Scaling and Adaptive Body Biasing for Heterogeneous Distributed Real-time Embedded Systems
Abstract— Dynamic voltage scaling (DVS) is a powerful technique for reducing dynamic power consumption in a computing system. However, as technology feature size continues to sca...
Le Yan, Jiong Luo, Niraj K. Jha
257
Voted
POPL
2009
ACM
16 years 4 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge
EICS
2009
ACM
15 years 10 months ago
A toolkit for peer-to-peer distributed user interfaces: concepts, implementation, and applications
In this paper we present a software toolkit for deploying peer-topeer distributed graphical user interfaces across four dimensions: multiple displays, multiple platforms, multiple...
Jérémie Melchior, Donatien Grolaux, ...
119
Voted
HIPC
2007
Springer
15 years 9 months ago
Distributed Ranked Search
P2P deployments are a natural infrastructure for building distributed search networks. Proposed systems support locating and retrieving all results, but lack the information necess...
Vijay Gopalakrishnan, Ruggero Morselli, Bobby Bhat...
NIPS
2008
15 years 4 months ago
Analyzing human feature learning as nonparametric Bayesian inference
Almost all successful machine learning algorithms and cognitive models require powerful representations capturing the features that are relevant to a particular problem. We draw o...
Joseph Austerweil, Thomas L. Griffiths