29152 search results - page 399 / 5831 » A Model of Computation for MapReduce |
198
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
231
click to vote
VLSID
2004
IEEE
16 years 8 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
160
click to vote
PROVSEC
2009
Springer
16 years 2 months ago
2009
Springer
Secure set-intersection computation is one of important problems in secure multiparty computation with various applications. We propose a general construction for secure 2-party se...
223
click to vote
RSEISP
2007
Springer
16 years 1 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
232
click to vote
ACISICIS
2005
IEEE
16 years 1 months ago
2005
IEEE
Ubiquitous computing is viewed as a computing paradigm where minimal user intervention is necessitated emphasizing detection of environmental conditions and user behaviors in orde...