Sciweavers

1855 search results - page 123 / 371
» System Consequence
Sort
View
160
Voted
FPL
2006
Springer
147views Hardware» more  FPL 2006»
15 years 7 months ago
Efficient Automated Synthesis, Programing, and Implementation of Multi-Processor Platforms on FPGA Chips
Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...
Hristo Nikolov, Todor Stefanov, Ed F. Deprettere
154
Voted
SAT
2009
Springer
153views Hardware» more  SAT 2009»
15 years 10 months ago
Does Advice Help to Prove Propositional Tautologies?
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
Olaf Beyersdorff, Sebastian Müller
129
Voted
SASO
2010
IEEE
15 years 1 months ago
VCAE: A Virtualization and Consolidation Analysis Engine for Large Scale Data Centers
Server consolidation through virtualization is becoming an effective way to save power and space in enterprise data centers. However, it also brings additional operational risks f...
Haifeng Chen, Hui Kang, Guofei Jiang, Kenji Yoshih...
129
Voted
SIGIR
2006
ACM
15 years 9 months ago
Formal models for expert finding in enterprise corpora
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
Krisztian Balog, Leif Azzopardi, Maarten de Rijke
151
Voted
WCNC
2010
IEEE
15 years 7 months ago
Modelling Angle Spread Autocorrelations and the Impact on Multi-User Diversity Gains
—One way of modelling the wireless channel is in a statistical manner, based on a few parameters describing the characteristics of the environment. In most current wireless chann...
Niklas Jalden, Per Zetterberg, Björn E. Otter...