3719 search results - page 244 / 744 » order 2010 |
152
click to vote
PPOPP
2010
ACM
16 years 3 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...
149
click to vote
PADL
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
156
click to vote
PADL
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
164
click to vote
IUI
2010
ACM
16 years 2 months ago
2010
ACM
Being aware of the relationships that exist between objects of interest is crucial in many situations. The RelFinder user interface helps to get an overview: Even large amounts of...
169
click to vote
CSCW
2010
ACM
16 years 2 months ago
2010
ACM
Employee blogging has benefits both for individuals and the organization. In order to inspire the creation of blog posts, we developed a novel topic suggestion system that connect...