Sciweavers

4440 search results - page 402 / 888
» The space of design
Sort
View
LISP
2007
112views more  LISP 2007»
15 years 7 months ago
The next 700 Krivine machines
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
Rémi Douence, Pascal Fradet
DSD
2010
IEEE
162views Hardware» more  DSD 2010»
15 years 5 months ago
A Parallel for Loop Memory Template for a High Level Synthesis Compiler
—We propose a parametrized memory template for applications with parallel for loops. The template’s parameters reflect important trade-offs made during system design. The temp...
Craig Moore, Wim Meeus, Harald Devos, Dirk Strooba...
CVPR
2011
IEEE
14 years 11 months ago
Wide-angle Micro Sensors for Vision on a Tight Budget
Achieving computer vision on micro-scale devices is a challenge. On these platforms, the power and mass constraints are severe enough for even the most common computations (matrix...
Sanjeev Koppal, Todd Zickler, Ioannis Gkioulekas
CHI
2011
ACM
14 years 10 months ago
Investigating Phicon feedback in non-visual tangible user interfaces
We investigated ways that users could interact with Phicons in non-visual tabletop tangible user interfaces (TUIs). We carried out a brainstorming and rapid prototyping session wi...
David K. McGookin, Stephen A. Brewster
CHES
2001
Springer
98views Cryptology» more  CHES 2001»
15 years 11 months ago
Attacks on Cryptoprocessor Transaction Sets
Attacks are presented on the IBM 4758 CCA and the Visa Security Module. Two new attack principles are demonstrated. Related key attacks use known or chosen differences between two...
Mike Bond