6740 search results - page 998 / 1348 » Using Classification as a Programming Language |
174
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...
162
click to vote
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
We propose a concurrent relaxed balance AVL tree algorithm that is fast, scales well, and tolerates contention. It is based on optimistic techniques adapted from software transact...
177
click to vote
EUROSYS
2009
ACM
16 years 3 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
185
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
181
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Temperature is a dominant factor in the performance, reliability, and leakage power consumption of modern processors. As a result, increasing numbers of researchers evaluate therm...