25041 search results - page 4928 / 5009 » Algorithms for Clustering Data |
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...
SENSYS
2003
ACM
14 years 2 months ago
2003
ACM
We present a technique for compression of shortest paths routing tables for wireless ad hoc networks. The main characteristic of such networks is that geographic location of nodes...
SENSYS
2003
ACM
14 years 2 months ago
2003
ACM
Event-driven sensor networks operate under an idle or light load and then suddenly become active in response to a detected or monitored event. The transport of event impulses is l...
SIGECOM
2003
ACM
14 years 2 months ago
2003
ACM
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...