6014 search results - page 87 / 1203 » Parametric Analysis of Computer Systems |
166
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
113
click to vote
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—This paper examines the economics of cloud computing charging from the perspective of a supercomputing resource provider offering its own resources. To evaluate the comp...
115
Voted
HPDC
1999
IEEE
15 years 6 months ago
1999
IEEE
While there have been several proposals of high performance global computing systems, scheduling schemes for the systems have not been well investigated. The reason is difficultie...
109
Voted
MFCS
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...