425 search results - page 42 / 85 » On the additive constant of the k-server Work Function Algor... |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
ISCI
2007
13 years 7 months ago
2007
As a follow-up to the work of [4] and [5], this paper continues to explore the relationship between wealth share dynamics and risk preferences in the context of an agent-based mul...
ICCAD
2001
IEEE
14 years 4 months ago
2001
IEEE
In this work, we present an algorithm for simultaneous template generation and matching. The algorithm profiles the graph and iteratively contracts edges to create the templates. ...
BIBE
2006
IEEE
14 years 1 months ago
2006
IEEE
Ribonucleic acid (RNA) molecules contain the genetic information that regulates the functions of organisms. Given two different molecules, a preserved function corresponds to a pr...
APPROX
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study tolerant linearity testing under general distributions. Given groups G and H, a distribution µ on G, and oracle access to a function f : G → H, we consider th...