929 search results - page 76 / 186 » Computer assistance for model definition |
119
click to vote
ISCAPDCS
2008
14 years 11 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
IEEEPACT
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
BIOINFORMATICS
2012
13 years 8 days ago
2012
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...
SIGGRAPH
1999
ACM
15 years 2 months ago
1999
ACM
Building animation tools for fluid-like motions is an important and challenging problem with many applications in computer graphics. The use of physics-based models for fluid ï¬...
CGF
2006
14 years 10 months ago
2006
Surface representation and processing is one of the key topics in computer graphics and geometric modeling, since it greatly affects the range of possible applications. In this pa...