4421 search results - page 415 / 885 » Libraries |
136
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Prior work has shown dramatic acceleration for various database operations on GPUs, but only using primitives that are not part of conventional database languages such as SQL. Thi...
126
click to vote
TEI
2010
ACM
15 years 11 months ago
2010
ACM
This workshop will explore the use of low-cost materials and tools to build textile-based interfaces. We will introduce a range methods for handcrafting textile sensors and circui...
116
click to vote
TEI
2010
ACM
15 years 11 months ago
2010
ACM
We have developed an interactive pop-up book called Electronic Popables to explore paper-based computing. Our book integrates traditional pop-up mechanisms with thin, flexible, pa...
236
Voted
ICDCN
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we report our parallel implementations of the Lanczos sparse linear system solving algorithm over large prime fields, on a multi-core platform. We employ several lo...
112
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...