8512 search results - page 1391 / 1703 » Computing Theory With Relevance |
166
Voted
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
176
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Differential evolution (DE) is a powerful yet simple evolutionary algorithm for optimizing real valued optimization problems. Traditional investigations with differential evolution...
174
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
In telepresence and teleaction systems the haptic communication channel plays a central role. As it closes a global control loop any introduced communication delay possibly destab...
166
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We discuss the theory, design, and performance of a flat-panel tactile display capable of controlling shear force on a finger. In previous research a TPaD variable friction devi...
172
click to vote
QSHINE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. In this paper, a radio resource sharing scheme for wireless cellular network is investigated to achieve efficiency and fairness among base stations. We propose a credit-t...