6709 search results - page 50 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
HVC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
RTCSA
2007
IEEE
14 years 3 months ago
2007
IEEE
— To use the tremendous hardware resources available in next generation MultiProcessor Systems-on-Chip (MPSoC) efficiently, rapid and accurate design space exploration (DSE) met...
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
We describe a method for learning statistical models of images using a second-order hidden Markov mesh model. First, an image can be segmented in a way that best matches its stati...
ICASSP
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper considers the estimation of shooter locations using a sensor network where each sensor measures the time difference between receptions of a firearm's muzzle blast ...
SIGMETRICS
1996
ACM
14 years 1 months ago
1996
ACM
A large and increasing gap exists between processor and memory speeds in scalable cache-coherent multiprocessors. To cope with this situation, programmers and compiler writers mus...