Sciweavers

188 search results - page 8 / 38
» Developing a Hardware Evaluation Method for SHA-3 Candidates
Sort
View
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 1 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
DSD
2010
IEEE
121views Hardware» more  DSD 2010»
14 years 7 months ago
Physical Layer for Spectrum-Aware Reconfigurable OFDM on an FPGA
Orthogonal Frequency Division Multiplexing (OFDM) can provide a flexible usage of the spectrum by controlling individual subcarriers. Sets of subcarriers can be zero-modulated to a...
Adolfo Recio, Peter M. Athanas
TOG
2008
145views more  TOG 2008»
14 years 9 months ago
Real-time KD-tree construction on graphics hardware
We present an algorithm for constructing kd-trees on GPUs. This algorithm achieves real-time performance by exploiting the GPU's streaming architecture at all stages of kd-tr...
Kun Zhou, Qiming Hou, Rui Wang 0004, Baining Guo
RECOMB
2006
Springer
15 years 9 months ago
Improving Prediction of Zinc Binding Sites by Modeling the Linkage Between Residues Close in Sequence
Abstract. We describe and empirically evaluate machine learning methods for the prediction of zinc binding sites from protein sequences. We start by observing that a data set consi...
Sauro Menchetti, Andrea Passerini, Paolo Frasconi,...
DATE
2005
IEEE
100views Hardware» more  DATE 2005»
15 years 3 months ago
OS Debugging Method Using a Lightweight Virtual Machine Monitor
Demands for implementing original OSs that can achieve high I/O performance on PC/AT compatible hardware have recently been increasing, but conventional OS debugging environments ...
Tadashi Takeuchi