4270 search results - page 524 / 854 » A Permutation Approach to Validation |
186
click to vote
JPDC
2010
15 years 5 months ago
2010
We consider optimal real-time scheduling of periodic tasks on multiprocessors—i.e., satisfying all task deadlines, when the total utilization demand does not exceed the ion capa...
188
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
141
click to vote
MICCAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Diffusion magnetic resonance imaging has led to active research in the analysis of anatomical connectivity in the brain. Many approaches have been proposed to model the ...
165
click to vote
MVA
2010
15 years 5 months ago
2010
An approach for rapid, automatic detection of plant roots in minirhizotron images is presented. The problem is modeled as a Gibbs point process with a modified Candy model, in wh...
193
click to vote
SOSYM
2010
15 years 5 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...