5550 search results - page 967 / 1110 » Different Approaches to Proof Systems |
169
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a highly efficient MBRP parallel algorithm for H.264 encoder, which is based on the analysis of data dependencies in H.264 encoder. In the algorithm, the video ...
188
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- This paper concerns the multiple access performance of spreading codes used in the downlink of multicarrier code-division multiple-access (MC-CDMA). Complex-valued sprea...
138
click to vote
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we propose a general and abstract formal setting for argumentative dialogue protocols. We identify a minimal set of basic parameters that characterize dial...
223
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
165
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
The advent of networking technologies and high performance transport protocols facilitates the service of storage over networks. However, they pose challenges in integration and i...