1720 search results - page 131 / 344 » Unranking Combinations in Parallel |
147
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
143
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
134
click to vote
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A number of recently proposed mobile sensor network architectures rely on uncontrolled, or weakly-controlled mobility to achieve sensing coverage over time at low cost, a...
113
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
We explore different prefetch distance-degree combinations and very simple, low-cost adaptive policies on a superscalar core with a high bandwidth, high capacity on-chip memory hie...
131
Voted
IPCO
2007
15 years 5 months ago
2007
Erd˝os, Purdy, and Straus conjectured that the number of distinct (nonzero) areas of the triangles determined by n noncollinear points in the plane is at least n−1 2 , which is...