4636 search results - page 446 / 928 » Modelling and Validation with VipTool |
186
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
200
click to vote
IWNAS
2008
IEEE
16 years 1 months ago
2008
IEEE
We study parallel job scheduling, where each job may be scheduled on any number of available processors in a given parallel system. We propose a mathematical model to estimate a j...
267
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
We present a discriminative model that casts appearance modeling and visual matching into a single objective for visual tracking. Most previous discriminative models for visual tra...
178
click to vote
ISCA
1992
IEEE
15 years 11 months ago
1992
IEEE
As multiprocessor sizes scale and computer architects turn to interconnection networks with non-uniform communication latencies, the lure of exploiting communication locality to i...
220
click to vote
BIS
2007
15 years 8 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...