32607 search results - page 6430 / 6522 » Supporting |
123
Voted
MICRO
2010
IEEE
15 years 21 days ago
2010
IEEE
Most Hardware Transactional Memory (HTM) implementations choose fixed version and conflict management policies at design time. While eager HTM systems store transactional state in-...
168
click to vote
OOPSLA
2010
Springer
15 years 21 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
138
Voted
OPODIS
2010
15 years 21 days ago
2010
The need for efficient decentralized recommender systems has been appreciated for some time, both for the intrinsic advantages of decentralization and the necessity of integrating...
146
Voted
PPDP
2010
Springer
15 years 20 days ago
2010
Springer
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
135
Voted
QEST
2010
IEEE
15 years 20 days ago
2010
IEEE
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...