Sciweavers

7200 search results - page 408 / 1440
» On the Computational Power of Winner-Take-All
Sort
View
149
Voted
DFN
2004
15 years 8 months ago
OpenGL Vizserver 3.1
: The OpenGL Vizserver computing solution is one of the key enabling technologies in a Visual Area Network (VAN). These solutions distribute the interactive graphics generated by p...
Michael Brown, Yochai Shefi-Simchon, Allan Commike
205
Voted
DAGSTUHL
2001
15 years 8 months ago
Extended Static Checking: A Ten-Year Perspective
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
K. Rustan M. Leino
CORR
2010
Springer
72views Education» more  CORR 2010»
15 years 7 months ago
Porting Decision Tree Algorithms to Multicore using FastFlow
The whole computer hardware industry embraced multicores. For these machines, the extreme optimisation of sequential algorithms is no longer sufficient to squeeze the real machine ...
Marco Aldinucci, Salvatore Ruggieri, Massimo Torqu...
158
Voted
CORR
2007
Springer
108views Education» more  CORR 2007»
15 years 6 months ago
Error Probability Analysis of Peaky Signaling over Fading Channels
Abstract— In this paper, the performance of signaling strategies with high peak-to-average power ratio is analyzed in both coherent and noncoherent fading channels Two recently p...
Mustafa Cenk Gursoy
CPC
2004
76views more  CPC 2004»
15 years 6 months ago
On Some Parameters in Heap Ordered Trees
Heap ordered trees are planted plane trees, labelled in such a way that the labels always increase from the root to a leaf. We study two parameters, assuming that p of the n nodes ...
Kate Morris, Alois Panholzer, Helmut Prodinger