Sciweavers

1998 search results - page 167 / 400
» A Hardware Implementation of PRAM and Its Performance Evalua...
Sort
View
MOBICOM
2006
ACM
15 years 4 months ago
Using packet probes for available bandwidth estimation: a wireless testbed experience
Evaluating available bandwidth estimation methods requires a malleable MAC protocol implementation, precise MAC layer packet timing measurements, and the ability to create control...
Mesut Ali Ergin, Marco Gruteser
ISCA
2007
IEEE
114views Hardware» more  ISCA 2007»
15 years 4 months ago
Matrix scheduler reloaded
From multiprocessor scale-up to cache sizes to the number of reorder-buffer entries, microarchitects wish to reap the benefits of more computing resources while staying within po...
Peter G. Sassone, Jeff Rupley, Edward Brekelbaum, ...
67
Voted
DSD
2006
IEEE
98views Hardware» more  DSD 2006»
15 years 1 months ago
Profiling Bluetooth and Linux on the Xilinx Virtex II Pro
In this paper, we present profiling results of the Bluetooth standard implemented on the Xilinx Virtex II Pro device. The investigation is performed in two stages. First, we solel...
Filipa Duarte, Stephan Wong
97
Voted
FSE
1997
Springer
280views Cryptology» more  FSE 1997»
15 years 2 months ago
New Block Encryption Algorithm MISTY
We propose secret-key cryptosystems MISTY1 and MISTY2, which are block ciphers with a 128-bit key, a 64-bit block and a variable number of rounds. MISTY is a generic name for MISTY...
Mitsuru Matsui
CACM
2010
120views more  CACM 2010»
14 years 10 months ago
seL4: formal verification of an operating-system kernel
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
Gerwin Klein, June Andronick, Kevin Elphinstone, G...