Sciweavers

11484 search results - page 499 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
SPIN
1999
Springer
15 years 11 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang
ACAL
2009
Springer
15 years 11 months ago
Emergent Societal Effects of Crimino-Social Forces in an Animat Agent Model
Societal behaviour can be studied at a causal level by perturbing a stable multi-agent model with new microscopic behaviours and observing the statistical response over an ensembl...
Chris Scogings, Kenneth A. Hawick
ASPDAC
2007
ACM
116views Hardware» more  ASPDAC 2007»
15 years 11 months ago
Frequency Selective Model Order Reduction via Spectral Zero Projection
As process technology continues to scale into the nanoscale regime, interconnect plays an ever increasing role in determining VLSI system performance. As the complexity of these sy...
Mehboob Alam, Arthur Nieuwoudt, Yehia Massoud
149
Voted
ASPDAC
2005
ACM
94views Hardware» more  ASPDAC 2005»
15 years 9 months ago
Probabilistic congestion model considering shielding for crosstalk reduction
We extend an existing probabilistic congestion model to consider shielding for crosstalk reduction. We then develop a multilevel router to study the impact of various congestion m...
Jinjun Xiong, Lei He
ECAI
2010
Springer
15 years 8 months ago
Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs Sampling
Abstract. There is currently a large interest in relational probabilistic models. While the concept of context-specific independence (CSI) has been well-studied for models such as ...
Daan Fierens