770 search results - page 145 / 154 » Dinatural Terms in System F |
ISSTA
2004
ACM
14 years 1 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
MM
2004
ACM
14 years 1 months ago
2004
ACM
Most current image retrieval systems and commercial search engines use mainly text annotations to index and retrieve WWW images. This research explores the use of machine learning...
MOBICOM
2004
ACM
14 years 1 months ago
2004
ACM
A new modeling framework is introduced for the analytical study of medium access control (MAC) protocols operating in multihop ad hoc networks. The model takes into account the eļ...
MSWIM
2004
ACM
14 years 1 months ago
2004
ACM
A fundamental issue in the design of a wireless sensor network is to devise mechanisms to make eļ¬cient use of its energy, and thus, extend its lifetime. Due to the paramount imp...
SIGCOMM
2004
ACM
14 years 1 months ago
2004
ACM
While application end-point architectures have proven to be viable solutions for large-scale distributed applications such as distributed computing and ļ¬le-sharing, there is lit...