3820 search results - page 633 / 764 » Bounded Model Debugging |
117
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper addresses the problem of fine-grained data replication in large distributed systems, such as the Internet, so as to minimize the user access delays. With fine-grained d...
126
click to vote
ITRE
2005
IEEE
15 years 8 months ago
2005
IEEE
— Wireless networks are characterized by bursty and location-dependent errors. Although many fair scheduling methods have been proposed to address these issues, most of them assu...
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
117
click to vote
QSHINE
2005
IEEE
15 years 7 months ago
2005
IEEE
Despite its support of prioritized services, the IEEE 802.11e Enhanced Distributed Channel Access (EDCA) cannot guarantee strict QoS required by real-time services such as voice a...
SEFM
2005
IEEE
15 years 7 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...