21430 search results - page 417 / 4286 » Abstract Effective Models |
172
click to vote
FORMATS
2004
Springer
16 years 5 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
173
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
164
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
be regarded as an abstraction of the underlying effective network connectivity, i.e. its functional connectivity. Although similar functional connectivity models have been describe...
229
click to vote
SCOPES
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
177
click to vote
BMAS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a novel modeling methodology for electrothermal effects in large mixed-signal circuits. It is accomplished by developing analog event-driven electrothermal an...