5309 search results - page 827 / 1062 » A high performance Erlang system |
192
click to vote
TCSV
2008
15 years 6 months ago
2008
Abstract--In contrast to the macroblock-based in-loop deblocking filters, the filters of VC-1 perform all horizontal edges (for in-loop filtering) or vertical edges (for overlap sm...
247
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
Abstract-- Mobile devices are becoming increasingly powerful with regards to processing speed, networking capabilities, storage capacity etc. While these improvements open up new p...
183
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...
153
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...
171
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...