29 search results - page 4 / 6 » A Multi-Level Method for the Steady State Solution of Markov... |
QUESTA
2006
13 years 6 months ago
2006
In this paper we demonstrate how tree-like processes can be used to analyze a general class of priority queues with three service classes, creating a new methodology to study prio...
ICCD
2001
IEEE
14 years 3 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
SFM
2007
Springer
14 years 1 months ago
2007
Springer
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
CSDA
2008
13 years 7 months ago
2008
In this paper the concept of later waiting time distributions for patterns in multi-state trials is generalized to cover a collection of compound patterns that must all be counted...
ICCV
2009
IEEE
13 years 4 months ago
2009
IEEE
Human pose estimation is the task of determining the states (location, orientation and scale) of each body part. It is important for many vision understanding applications, e.g. v...