Sciweavers

3131 search results - page 186 / 627
» Generalized connection caching
Sort
View
85
Voted
TCAD
2002
86views more  TCAD 2002»
15 years 13 days ago
Platune: a tuning framework for system-on-a-chip platforms
System-on-a-chip (SOC) platform manufacturers are increasingly adding configurable features that provide power and performance flexibility in order to increase a platform's ap...
Tony Givargis, Frank Vahid
SIGCOMM
2012
ACM
13 years 3 months ago
Distributed content storage for just-in-time streaming
We propose a content distribution strategy over municipal WiFi networks where Access Points (APs) collaboratively cache popular multimedia content, and disseminate them in a manne...
Sourav Kumar Dandapat, Sanyam Jain, Romit Roy Chou...
107
Voted
MOBICOM
2004
ACM
15 years 6 months ago
FLSS: a fault-tolerant topology control algorithm for wireless networks
Topology control algorithms usually reduce the number of links in a wireless network, which in turn decreases the degree of connectivity. The resulting network topology is more su...
Ning Li, Jennifer C. Hou
POPL
2004
ACM
16 years 1 months ago
Separation and information hiding
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 7 months ago
Rate of Convergence for Consensus with Delays
— We study the problem of reaching a consensus in the values of a distributed system of agents with time-varying connectivity in the presence of delays. We consider a widely stud...
Pierre-Alexandre Bliman, Angelia Nedic, Asuman E. ...