929 search results - page 76 / 186 » Computer assistance for model definition |
167
Voted
ISCAPDCS
2008
15 years 5 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...
130
Voted
IEEEPACT
2003
IEEE
15 years 9 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...
132
Voted
BIOINFORMATICS
2012
13 years 6 months 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...
119
Voted
SIGGRAPH
1999
ACM
15 years 8 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 ï¬...
136
Voted
CGF
2006
15 years 3 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...