496 search results - page 37 / 100 » Model reduction of periodic systems: a lifting approach |
QEST
2007
IEEE
14 years 2 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 ...
ANSS
2000
IEEE
14 years 27 days ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
CCE
2004
13 years 8 months ago
2004
Multiproduct pipelines permit to transport large volumes of a wide range of refined petroleum products from major supply sources to distribution centers near market areas. Batches...
CSREAESA
2008
13 years 10 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
ICASSP
2011
IEEE
13 years 6 days ago
2011
IEEE
This paper proposes a feature extraction for speaker characterization by exploring the relationship between the two distinct components of the speech signal, one is harmonics acco...