Sciweavers

521 search results - page 92 / 105
» Approximation Algorithms for Stochastic Inventory Control Mo...
Sort
View
IPPS
2010
IEEE
13 years 6 months ago
Robust control-theoretic thermal balancing for server clusters
Thermal management is critical for clusters because of the increasing power consumption of modern processors, compact server architectures and growing server density in data center...
Yong Fu, Chenyang Lu, Hongan Wang
CAV
2003
Springer
188views Hardware» more  CAV 2003»
14 years 3 days ago
Thread-Modular Abstraction Refinement
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
SIGGRAPH
2010
ACM
14 years 28 days ago
Rigid-body fracture sound with precomputed soundbanks
We propose a physically based algorithm for synthesizing sounds synchronized with brittle fracture animations. Motivated by laboratory experiments, we approximate brittle fracture...
Changxi Zheng, Doug L. James
ATAL
2009
Springer
13 years 9 months ago
Efficient physics-based planning: sampling search via non-deterministic tactics and skills
Motion planning for mobile agents, such as robots, acting in the physical world is a challenging task, which traditionally concerns safe obstacle avoidance. We are interested in p...
Stefan Zickler, Manuela M. Veloso
SIGMETRICS
2003
ACM
150views Hardware» more  SIGMETRICS 2003»
14 years 1 months ago
Conductance and congestion in power law graphs
It has been observed that the degrees of the topologies of several communication networks follow heavy tailed statistics. What is the impact of such heavy tailed statistics on the...
Christos Gkantsidis, Milena Mihail, Amin Saberi