14244 search results - page 623 / 2849 » Modeling Program Predictability |
184
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
171
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Background modeling and subtraction is a core component in motion analysis. The central idea behind such module is to create a probabilistic representation of the static scene tha...
204
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Recent studies in signal detection theory suggest that the human responses to the stimuli on a visual display are nondeterministic. People may attend to different locations on the...
158
click to vote
CLUSTER
2007
IEEE
16 years 1 months ago
2007
IEEE
— Analytical communication performance models play an important role in prediction of the execution time of parallel applications on multiprocessors. Apart from designing such a ...
212
click to vote
CAINE
2007
15 years 8 months ago
2007
Biologically focused, agent-based models need many parameters in order to simulate system dynamics. It is often essential to explore the consequences of many parameter vectors bef...