8096 search results - page 387 / 1620 » Distributed performance testing using statistical modeling |
160
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Many performance problems observed in high end systems are actually caused by the runtime system and not the application code. Detecting these cases will require parallel performa...
149
click to vote
JSAC
2006
15 years 6 months ago
2006
The symbol error probability (SEP) performance of time-hopping (TH) ultra-wideband (UWB) systems in the presence of multiuser interference (MUI) and timing jitter is considered wit...
180
click to vote
NIPS
2000
15 years 8 months ago
2000
The product of experts learning procedure [1] can discover a set of stochastic binary features that constitute a non-linear generative model of handwritten images of digits. The q...
148
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
181
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...