12289 search results - page 848 / 2458 » computing 2006 |
176
click to vote
SPAA
2006
ACM
16 years 1 months ago
2006
ACM
We present a technique for analyzing the number of cache misses incurred by multithreaded cache oblivious algorithms on an idealized parallel machine in which each processor has a...
212
click to vote
CRYPTO
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
203
click to vote
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
189
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we propose a new approach to web visualisation with VRML based on a function-based shape modelling, which unifies different types of mathematical functions in order ...
163
click to vote
VLSID
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper, a new realization for logic functions, namely Reversible Programmable Logic Array (RPLA), has been proposed. The proposed realization has the advantage of regularit...