Sciweavers

657 search results - page 23 / 132
» Assessment of E-Business Transformation Using Simulation Mod...
Sort
View
QEST
2009
IEEE
15 years 10 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
98
Voted
WSC
2004
15 years 4 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
DAC
1996
ACM
15 years 7 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
119
Voted
DAC
2002
ACM
16 years 4 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...
ICASSP
2011
IEEE
14 years 7 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