2989 search results - page 349 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
135
click to vote
HPCA
2002
IEEE
16 years 6 months ago
2002
IEEE
Several studies of speculative execution based on values have reported promising performance potential. However, virtually all microarchitectures in these studies were described i...
187
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
165
click to vote
CONCUR
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
171
click to vote
IDA
2005
Springer
16 years 12 hour ago
2005
Springer
Clustering or bi-clustering techniques have been proved quite useful in many application domains. A weakness of these techniques remains the poor support for grouping characterizat...
163
click to vote
PKDD
1999
Springer
15 years 10 months ago
1999
Springer
: For many KDD applications finding the outliers, i.e. the rare events, is more interesting and useful than finding the common cases, e.g. detecting criminal activities in E-commer...