375 search results - page 54 / 75 » Explicit gate delay model for timing evaluation |
WDAG
2007
Springer
14 years 1 months ago
2007
Springer
We introduce the problem of load-distance balancing in assigning users of a delay-sensitive networked application to servers. We model the service delay experienced by a user as a ...
JMLR
2006
13 years 7 months ago
2006
Policy search is a method for approximately solving an optimal control problem by performing a parametric optimization search in a given class of parameterized policies. In order ...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Many human action recognition tasks involve data that can be factorized into multiple views such as body postures and hand shapes. These views often interact with each other over ...
MASCOTS
2007
13 years 9 months ago
2007
Network performance analysis relies mainly on two models: a workload model and a performance model. This paper proposes to use histograms for characterising the arrival workloads ...