29143 search results - page 365 / 5829 » A Sortation System Model |
216
click to vote
QEST
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
167
click to vote
ECRTS
2003
IEEE
15 years 12 months ago
2003
IEEE
A theory of resource sharing in a mixed system with hard real-time and non-real-time processing requirements is presented. The real-time processing is modeled as rate-based execut...
163
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Model reduction methods from diverse fields— including control, statistical mechanics and economics—aimed at systems that can be represented by Markov chains, are discusse...
158
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
In recent papers it has been suggested that human locomotion may be modeled as an inverse optimal control problem. In this paradigm, the trajectories are assumed to be solutions of...
255
Voted
FAABS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...