674 search results - page 29 / 135 » Resource Bound Certification |
SAC
2006
ACM
14 years 9 months ago
2006
ACM
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
—We consider connection-level models of resource allocation in the Internet, where files arrive into the network according to a Poisson process and the size of each file is exp...
INFOCOM
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract— Scalability concerns of QoS implementations have stipulated service architectures where QoS is not provisioned separately to each flow, but instead to aggregates of ...
ASIAN
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...
SAINT
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents a case study to effectively run a parallel branch and bound application on the Grid. The application discussed in this paper is a fine-grain application and is...