Sciweavers

2050 search results - page 286 / 410
» constraints 2010
Sort
View
ASPLOS
2010
ACM
14 years 3 months ago
A randomized scheduler with probabilistic guarantees of finding bugs
This paper presents a randomized scheduler for finding concurrency bugs. Like current stress-testing methods, it repeatedly runs a given test program with supplied inputs. Howeve...
Sebastian Burckhardt, Pravesh Kothari, Madanlal Mu...
CHI
2010
ACM
14 years 3 months ago
Exploring mobile technologies for the urban homeless
My research examines the practical and social impact of technology on the urban homeless. To accomplish this, I have conducted interviews with the homeless to understand how techn...
Christopher A. Le Dantec
CHI
2010
ACM
14 years 3 months ago
Bridging the gap: moving from contextual analysis to design
A typical product development lifecycle for interactive systems starts with contextual analysis to guide system design. The challenge however is in transitioning from findings abo...
Tejinder K. Judge, Carman Neustaedter, Anthony Tan...
SI3D
2010
ACM
14 years 3 months ago
Interactive fluid-particle simulation using translating Eulerian grids
We describe an interactive system featuring fluid-driven animation that responds to moving objects. Our system includes a GPUaccelerated Eulerian fluid solver that is suited for...
Jonathan M. Cohen, Sarah Tariq, Simon Green
TEI
2010
ACM
156views Hardware» more  TEI 2010»
14 years 3 months ago
Captain electric and battery boy: prototypes for wearable power-generating artifacts
“Captain Electric and Battery Boy” refers to an ongoing research project that aims to develop electronic garments and wearable artifacts that harness power from the body and u...
Joanna Berzowska, Marc Beaulieu, Vincent Leclerc, ...