Sciweavers

11484 search results - page 87 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
SFM
2007
Springer
16 years 12 days ago
Tackling Large State Spaces in Performance Modelling
Stochastic performance models provide a powerful way of capturing and analysing the behaviour of complex concurrent systems. Traditionally, performance measures for these models ar...
William J. Knottenbelt, Jeremy T. Bradley
NSDI
2004
15 years 7 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
IJPRAI
2000
83views more  IJPRAI 2000»
15 years 6 months ago
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
Yanping Xiang, Kristian G. Olesen, Finn Verner Jen...
VTC
2010
IEEE
132views Communications» more  VTC 2010»
15 years 4 months ago
Large Scale Parameter for the WINNER II Channel Model at 2.53 GHz in Urban Macro Cell
— This paper presents results of wide band channel measurements at 2.53 GHz for a representative urban macro cell environment in Ilmenau, Germany. The extensive channel sounding ...
Christian Schneider, Milan Narandzic, Martin K&aum...
SIAMSC
2010
159views more  SIAMSC 2010»
15 years 4 months ago
Parameter and State Model Reduction for Large-Scale Statistical Inverse Problems
A greedy algorithm for the construction of a reduced model with reduction in both parameter and state is developed for efficient solution of statistical inverse problems governed b...
Chad Lieberman, Karen Willcox, Omar Ghattas