Sciweavers

29143 search results - page 301 / 5829
» A Sortation System Model
Sort
View
QEST
2007
IEEE
16 years 26 days ago
Model checking the probabilistic pi-calculus
Gethin Norman, Catuscia Palamidessi, David Parker,...
QEST
2007
IEEE
16 years 26 days ago
A framework to design and solve Markov Decision Well-formed Net models
Marco Beccuti, Daniele Codetta Raiteri, Giuliana F...
EUROPAR
2005
Springer
16 years 3 days ago
Performance Modeling: Understanding the Past and Predicting the Future
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
David H. Bailey, Allan Snavely
AUTOMATICA
1999
64views more  AUTOMATICA 1999»
15 years 6 months ago
Spatial balanced model reduction for flexible structures
This paper considers the problem of balanced model reduction for a class of distributed parameter systems. The system is assumed to have a finite-dimensional state vector as well ...
S. O. Reza Moheimani, Hemanshu Roy Pota, Ian R. Pe...