Sciweavers

657 search results - page 23 / 132
» Assessment of E-Business Transformation Using Simulation Mod...
Sort
View
QEST
2009
IEEE
15 years 4 months ago
Simulation-Based CTMC Model Checking: An Empirical Evaluation
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
Joost-Pieter Katoen, Ivan S. Zapreev
WSC
2004
14 years 11 months ago
Developing Federation Object Models Using Ontologies
The reuse of existing simulations in multiple federations is an important goal of distributed simulation frameworks. However, in order to reuse a federate, its simulation code oft...
Tarun Rathnam, Christiaan J. J. Paredis
60
Voted
DAC
1996
ACM
15 years 1 months ago
Efficient Full-Wave Electromagnetic Analysis via Model-Order Reduction of Fast Integral Transforms
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
Joel R. Philips, Eli Chiprout, David D. Ling
DAC
2002
ACM
15 years 10 months ago
Guaranteed passive balancing transformations for model order reduction
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
Joel R. Phillips, Luca Daniel, Luis Miguel Silveir...
70
Voted
ICASSP
2011
IEEE
14 years 1 months ago
Function of Phase-Distortion for glottal model estimation
In voice analysis, the parameters estimation of a glottal model, an analytic description of the deterministic component of the glottal source, is a challenging question to assess ...
Gilles Degottex, Axel Röbel, Xavier Rodet