325 search results - page 50 / 65 » Structured Reachability Analysis for Markov Decision Process... |
118
click to vote
ICARCV
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
153
click to vote
DAC
2004
ACM
15 years 9 months ago
2004
ACM
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...
109
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
—A material handling (MH) system of a general assembly line dispatching parts from inventory to working buffers could be complicated and costly to operate. Generally it is extrem...
132
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— A novel cross-layer call admission control policy is proposed for a general CDMA beamforming system. In contrast to previously proposed call admission control (CAC) policies wh...
124
click to vote
EENERGY
2010
15 years 8 months ago
2010
Sleeping is an important method to reduce energy consumption in many information and communication systems. In this paper we focus on a typical server under dynamic load, where en...