Sciweavers

3736 search results - page 520 / 748
» Generative Programming
Sort
View
ERSA
2010
187views Hardware» more  ERSA 2010»
15 years 4 months ago
An Open Source Circuit Library with Benchmarking Facilities
In this paper, we introduce the open-source PivPav backend tool for reconfigurable computing. Essentially, PivPav provides an interface to a library of digital circuits that are ke...
Mariusz Grad, Christian Plessl
IGARSS
2010
15 years 1 months ago
Modeling and measurement of optical polarimetric image phenomenology in a complex urban environment
Polarimetric scene phenomenology yields a remote sensing modality that can be used in tandem with or alternative to panchromatic, multispectral, hyperspectral, or infrared intensi...
Michael D. Presnar, John P. Kerekes
ASPLOS
2009
ACM
16 years 7 months ago
Understanding software approaches for GPGPU reliability
Even though graphics processors (GPUs) are becoming increasingly popular for general purpose computing, current (and likely near future) generations of GPUs do not provide hardwar...
Martin Dimitrov, Mike Mantor, Huiyang Zhou
POPL
2008
ACM
16 years 7 months ago
Boomerang: resourceful lenses for string data
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pier...
TCC
2010
Springer
188views Cryptology» more  TCC 2010»
16 years 1 months ago
Founding Cryptography on Tamper-Proof Hardware Tokens
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...
Vipul Goyal, Yuval Ishai, Amit Sahai, Ramarathnam ...