96 search results - page 12 / 20 » Needed: foundations for transactional memory |
IJSTM
2006
13 years 8 months ago
2006
: The emergence of new electronic procurement applications and the rise of existing ones to their full potential have been revolutionising the disciplines of procurement and suppli...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
We consider the problem of collectively approximating a set of sensor signals using the least amount of space so that any individual signal can be efficiently reconstructed within...
CAV
2009
Springer
14 years 3 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
KDD
2000
ACM
14 years 8 days ago
2000
ACM
Data--call records, internet packet headers, or other transaction records--are coming down a pipe at a ferocious rate, and we need to monitor statistics of the data. There is no r...