17840 search results - page 3182 / 3568 » Heterogeneous Parallel Computing |
182
Voted
CHI
2008
ACM
16 years 7 months ago
2008
ACM
We present data from detailed observations of CityWall, a large multi-touch display installed in a central location in Helsinki, Finland. During eight days of installation, 1199 p...
180
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The design of applications using mobile devices needs a different quality assessment than those known for desktop applications. Of the many aspects that have to be taken into acco...
159
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
In this paper we present work toward a new method of evaluation for Reality-Based Interaction Styles that we call Cognitive Description and Evaluation of Interaction (CoDeIn). Thi...
183
Voted
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Today, VLSI systems for computationally demanding applications are being built as Systems-on-Chip (SoCs) with a distributed memory sub-system which is shared by a large number of ...
157
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...