4155 search results - page 44 / 831 » External Memory Algorithms |
ENTCS
2008
13 years 9 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
Email was originally designed as a tool for asynchronous communication. However, its current usage goes far beyond that. One of the most commonly performed activities in email is ...
COSIT
1999
Springer
14 years 1 months ago
1999
Springer
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...
IPL
2002
13 years 8 months ago
2002
We present a new data structure for Huffman coding in which in addition to sending symbols in order of their appearance in the Huffman tree one needs to send codes of all circular...
PPOPP
2010
ACM
14 years 6 months ago
2010
ACM
Transactional memory promises to make parallel programming easier than with fine-grained locking, while performing just as well. This performance claim is not always borne out bec...