4536 search results - page 696 / 908 » Contention-Sensitive Data Structures and Algorithms |
102
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
129
click to vote
MCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we propose a cluster-based cumulative representation for cluster ensembles. Cluster labels are mapped to incrementally accumulated clusters, and a matching...
111
Voted
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present a new view on the data preparation in web usage mining. We concentrate on recovering individual usage behaviour from accessing records on web site. We de...
113
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...