1136 search results - page 140 / 228 » Functional Validation in Grid Computing |
JLP
2006
15 years 10 days ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
RECOMB
2002
Springer
16 years 20 days ago
2002
Springer
We present a new statistically optimal approach to estimate transcript levels and ratios from one or more gene array experiments. The Bayesian Estimation of Array Measurements (BE...
108
click to vote
DAC
2006
ACM
15 years 6 months ago
2006
ACM
Several emerging Design-for-Debug (DFD) methodologies are addressing silicon debug by making internal signal values and other data observable. Most of these methodologies require ...
99
Voted
SCA
2007
15 years 2 months ago
2007
Current approaches to skeleton generation are based on topological and geometrical information only; this can be insufficient for realistic character animation, since the location...
118
click to vote
STOC
2006
ACM
16 years 20 days ago
2006
ACM
Local Search problem, which finds a local minimum of a black-box function on a given graph, is of both practical and theoretical importance to combinatorial optimization, complexi...