Sciweavers

4100 search results - page 631 / 820
» General Linear Cameras
Sort
View
SAC
2006
ACM
16 years 1 months ago
Building the functional performance model of a processor
In this paper, we present an efficient procedure for building a piecewise linear function approximation of the speed function of a processor with hierarchical memory structure. Th...
Alexey L. Lastovetsky, Ravi Reddy, Robert Higgins
SIGECOM
2006
ACM
125views ECommerce» more  SIGECOM 2006»
16 years 1 months ago
Minimum payments that reward honest reputation feedback
Online reputation mechanisms need honest feedback to function effectively. Self interested agents report the truth only when explicit rewards offset the cost of reporting and th...
Radu Jurca, Boi Faltings
SIGSOFT
2006
ACM
16 years 1 months ago
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba
VALUETOOLS
2006
ACM
125views Hardware» more  VALUETOOLS 2006»
16 years 1 months ago
An approximative method for calculating performance measures of Markov processes
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
Juha Leino, Jorma T. Virtamo
VALUETOOLS
2006
ACM
176views Hardware» more  VALUETOOLS 2006»
16 years 1 months ago
How to solve large scale deterministic games with mean payoff by policy iteration
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...
Vishesh Dhingra, Stephane Gaubert