113 search results - page 6 / 23 » Computationally efficient flux variability analysis |
105
click to vote
DAC
2007
ACM
16 years 20 days ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
111
click to vote
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
190
Voted
ECOOP
2009
Springer
16 years 9 days ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
69
Voted
FLAIRS
2001
15 years 1 months ago
2001
Wereviewand extendthe qualitative relationships about the informational relevanceof variables in graphical decision modelsbased on conditional independenciesrevealedthroughgraphic...
112
Voted
ACSC
2001
IEEE
15 years 3 months ago
2001
IEEE
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...