618 search results - page 4 / 124 » Reducibility and TT-Lifting for Computation Types |
PCM
2005
Springer
14 years 2 months ago
2005
Springer
Transcoding is an important technique for reducing the bit rate or spatial resolution to meet the constrained transmission bandwidths and terminal capabilities. In this paper, we p...
RTA
2010
Springer
14 years 14 days ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
ICDCS
2011
IEEE
12 years 8 months ago
2011
IEEE
— MapReduce has become an effective approach to big data analytics in large cluster systems, where SQL-like queries play important roles to interface between users and systems. H...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
We demonstrate how to use placement to ameliorate the predicted repeater explosion problem caused by poor interconnect scaling. We achieve repeater count reduction by dynamically ...
SCP
2008
13 years 8 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...