Sciweavers

9186 search results - page 1266 / 1838
» A Module System for Scheme
Sort
View
SPAA
1998
ACM
15 years 9 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...
151
Voted
LATINCRYPT
2010
15 years 3 months ago
Cryptanalysis of the Hidden Matrix Cryptosystem
Abstract. In this paper, we present an efficient cryptanalysis of the socalled HM cryptosystem which was published at Asiacrypt’1999, and one perturbed version of HM. Until now, ...
Jean-Charles Faugère, Antoine Joux, Ludovic...
ISCA
2012
IEEE
260views Hardware» more  ISCA 2012»
13 years 7 months ago
A case for exploiting subarray-level parallelism (SALP) in DRAM
Modern DRAMs have multiple banks to serve multiple memory requests in parallel. However, when two requests go to the same bank, they have to be served serially, exacerbating the h...
Yoongu Kim, Vivek Seshadri, Donghyuk Lee, Jamie Li...

Publication
350views
16 years 10 months ago
Programmable Aperture Photography: Multiplexed Light Field Acquisition
In this paper, we present a system including a novel component called programmable aperture and two associated post-processing algorithms for high-quality light field acquisition. ...
Chia-Kai Liang and Tai-Hsu Lin and Bing-Yi Wong a...
ICCV
1999
IEEE
16 years 7 months ago
Higher Order Statistical Learning for Vehicle Detection in Images
The paper describes a scheme for detecting vehicles in images. The proposed method approximately models the unknown distribution of the images of vehicles by learning higher order...
A. N. Rajagopalan, Philippe Burlina, Rama Chellapp...
« Prev « First page 1266 / 1838 Last » Next »