Sciweavers

1316 search results - page 120 / 264
» Analytic performance models for bounded queueing systems
Sort
View
WSC
1997
15 years 2 months ago
Selective Rerouting Using Simulated Steady State System Data
Effective operational control of a manufacturing system that has routing flexibility is dependent upon being able to make informed real-time decisions in the event of a system dis...
Catherine M. Harmonosky, Robert H. Farr, Ming-Chua...
HPCA
2009
IEEE
16 years 2 months ago
A first-order fine-grained multithreaded throughput model
Analytical modeling is an alternative to detailed performance simulation with the potential to shorten the development cycle and provide additional insights. This paper proposes a...
Xi E. Chen, Tor M. Aamodt
GLOBECOM
2008
IEEE
15 years 8 months ago
Throughput/Delay Measurements of Limited Feedback Beamforming in Indoor Wireless Networks
—This paper investigates the tradeoff between throughput and feedback delay of limited feedback beamforming in indoor wireless channels with a practical MIMO-OFDM prototype. Past...
Robert C. Daniels, Ketan Mandke, Kien T. Truong, S...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 1 days ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
WSC
2000
15 years 2 months ago
Product-mix analysis with Discrete Event Simulation
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
Raid Al-Aomar