1413 search results - page 176 / 283 » A new condensation principle |
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
GLOBECOM
2009
IEEE
14 years 5 months ago
2009
IEEE
—In 3G wireless technologies, competitive operators are assigned a fixed part of the spectrum from long-term auctions. This is known to lead to utilization inefficiencies becau...
INFOCOM
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—The highly stochastic nature of wireless environments makes it desirable to monitor link loss rates in wireless sensor networks. In this paper, we study the loss inferen...
IPPS
2009
IEEE
14 years 4 months ago
2009
IEEE
A metascalable (or “design once, scale on new architectures”) parallel computing framework has been developed for large spatiotemporal-scale atomistic simulations of materials...
AGILE
2009
Springer
14 years 4 months ago
2009
Springer
The problem of line simplification is a recurrent problem in cartography. The purpose is to remove irrelevant details while emphasising the main features of the line. Most of the ...