19798 search results - page 3656 / 3960 » Is Structural Subtyping Useful |
154
click to vote
CF
2009
ACM
15 years 11 months ago
2009
ACM
Chip Multiprocessor (CMP) memory systems suffer from the effects of destructive thread interference. This interference reduces performance predictability because it depends heavil...
183
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
164
click to vote
HT
2009
ACM
15 years 11 months ago
2009
ACM
The early Web was hailed for being easy to use, and what is more important, giving people a chance to participate in its growth. The Web3D was believed to have potential to be the...
173
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
141
click to vote
RECSYS
2009
ACM
15 years 11 months ago
2009
ACM
We present an incentive-based architecture for providing recommendations in a social network. We maintain a distinct reputation system for each individual and we rely on users to ...