2689 search results - page 190 / 538 » ParalleX: A Study of A New Parallel Computation Model |
194
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
186
Voted
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
142
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
204
click to vote
NETWORKING
2011
14 years 9 months ago
2011
Networking Named Content (NNC) was recently proposed as a new networking paradigm to realise Content Centric Networks (CCNs). The new paradigm changes much about the current Intern...
178
click to vote
DCOSS
2009
Springer
15 years 11 months ago
2009
Springer
We study the problem of computing a family of connected dominating sets in wireless sensor networks (WSN) in a distributed manner. A WSN is modelled as a unit disk graph G = (V, E)...