Sciweavers

9504 search results - page 311 / 1901
» Dynamic Substitution Model
Sort
View
SAC
2010
ACM
16 years 2 months ago
Dynamic optimization of power and performance for virtualized server clusters
In this paper we present an optimization solution for power and performance management in a platform running multiple independent applications. Our approach assumes a virtualized ...
Vinicius Petrucci, Orlando Loques, Daniel Moss&eac...
KBSE
2008
IEEE
16 years 1 months ago
Program Analysis with Dynamic Precision Adjustment
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
CLUSTER
2007
IEEE
16 years 1 months ago
Optimal synchronization frequency for dynamic pipelined computations on heterogeneous systems
— In this paper we give a theoretical model for determining the synchronization frequency that minimizes the parallel execution time of loops with uniform dependencies dynamicall...
Florina M. Ciorba, Ioannis Riakiotakis, Theodore A...
CP
2005
Springer
16 years 23 days ago
Encoding HTN Planning as a Dynamic CSP
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
Pavel Surynek, Roman Barták
GRAPHITE
2003
ACM
16 years 15 days ago
A framework for a dynamic interactive 3D GIS for non-expert users
Many substantial geographic information systems (GIS) have been designed for use by expert users. As a result, nonexpert users often find them difficult to use. This paper present...
Arron R. Walker, Binh Pham, Anthony J. Maeder