1150 search results - page 37 / 230 » Tackling Large State Spaces in Performance Modelling |
MICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
ENTCS
2010
13 years 6 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— We consider a ring topology with limited or full switching capability as deployed in high bandwidth metro optical networks and develop a model to estimate the probability of bl...
CCR
2005
13 years 8 months ago
2005
We describe and analyse in details the various factors that influence the convergence time of intradomain link state routing protocols. This convergence time reflects the time req...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
We study key issues related to multilingual acoustic modeling for automatic speech recognition (ASR) through a series of large-scale ASR experiments. Our study explores shared str...