974 search results - page 159 / 195 » Hardware Synthesis from Term Rewriting Systems |
EUROSYS
2009
ACM
14 years 7 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
HRI
2006
ACM
14 years 4 months ago
2006
ACM
This paper reports on a study of human participants with a robot designed to participate in a collaborative conversation with a human. The purpose of the study was to investigate ...
GLVLSI
2003
IEEE
14 years 3 months ago
2003
IEEE
We propose an approach for reducing the energy consumption of address buses that targets both the switching and the crosstalk components of power dissipation. The method is based ...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
During the last few years, GPUs have evolved from simple devices for the display signal preparation into powerful coprocessors that do not only support typical computer graphics t...
UIST
2010
ACM
13 years 7 months ago
2010
ACM
We present a system for the actuation of tangible magnetic widgets (Madgets) on interactive tabletops. Our system combines electromagnetic actuation with fiber optic tracking to m...