26 search results - page 1 / 6 » Symbolic circuit-noise analysis and modeling with determinan... |
ASPDAC
2000
ACM
13 years 9 months ago
2000
ACM
ICCAD
1997
IEEE
13 years 9 months ago
1997
IEEE
VOSS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
VLC
2011
12 years 12 months ago
2011
Constraint diagrams were introduced by Kent, in 1997, as an alternative to the OCL for placing formal constraints on software models. Since their introduction, constraint diagrams...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
A new method is presented to model symbolically strongly nonlinear circuits, characterized by Piece-Wise Linear (PWL) functions. The method follows the idea of Bokhoven and Leenae...