2555 search results - page 342 / 511 » Quantifiers and Working Memory |
123
click to vote
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
We present parallel algorithms for union, intersection and difference on ordered sets using random balanced binary trees (treaps [26]). For two sets of size n and m (m ≤ n) the...
133
click to vote
ISCOPE
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we present a parallel runtime substrate that supports a global addressing scheme, object mobility, and automatic message forwarding required for the implementation o...
140
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
152
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
: This paper reports ongoing work towards a dynamically reconfigurable System-on-Chip (SoC) platform for video signal processing. It consists of dedicated, statically and dynamical...
136
Voted
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Motivated by the problem of protecting cryptographic hardware, we continue the investigation of private circuits initiated in [16]. In this work, our aim is to construct ...