1136 search results - page 128 / 228 » Functional Validation in Grid Computing |
83
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Characterizing setup/hold times of latches and registers, a crucial component for achieving timing closure of large digital designs, typically occupies months of computation in in...
86
Voted
MFCS
1994
Springer
15 years 4 months ago
1994
Springer
We show that the wavefront approach to Voronoi diagrams (a deterministic line sweep algorithm that does not use geometric transform) can be generalized to distance measures more g...
100
click to vote
BICOB
2009
Springer
15 years 4 months ago
2009
Springer
Protein-protein interaction plays critical roles in cellular functions. In this work, we propose a computational method to predict protein-protein interaction by using support vec...
123
Voted
HUMO
2007
Springer
15 years 4 months ago
2007
Springer
We propose a method to find candidate 2D articulated model configurations by searching for locally optimal configurations under a weak but computationally manageable fitness functi...
79
Voted
PPSN
2000
Springer
15 years 4 months ago
2000
Springer
Domain knowledge is essential for successful problem solving and optimization. This paper introduces a framework in which a form of automatic domain knowledge extraction can be im...