2119 search results - page 108 / 424 » Structure-Preserving Model Reduction |
126
click to vote
QEST
2007
IEEE
15 years 9 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
100
click to vote
ICCAD
2002
IEEE
15 years 12 months ago
2002
IEEE
A novel circuit topology for inductive coupling between interconnecting wires is presented. The model is local, i.e., only coupling between neighboring wires is explicitly modeled...
121
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
143
click to vote
PATMOS
2007
Springer
15 years 9 months ago
2007
Springer
—Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the...
128
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
The Gaussian process latent variable model (GP-LVM) is a powerful approach for probabilistic modelling of high dimensional data through dimensional reduction. In this paper we ext...