141 search results - page 25 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
PPOPP
2009
ACM
16 years 6 days ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
126
Voted
DEXA
2009
Springer
15 years 6 months ago
2009
Springer
Metric access methods (MAMs) serve as a tool for speeding similarity queries. However, all MAMs developed so far are index-based; they need to build an index on a given database. T...
104
click to vote
MSN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Gossiping is a lightweight and simple technique for information dissemination in many application domains, be it in Wireless Sensor Networks (WSNs), Mobile Ad-hoc Network...
TROB
2008
14 years 11 months ago
2008
Abstract--We evaluate a technique that uses an embedded network deployed pervasively throughout an environment to aid robots in navigation. The embedded nodes do not know their abs...