Sciweavers

6187 search results - page 312 / 1238
» Voices from the Interface
Sort
View
CSCW
2010
ACM
16 years 3 months ago
Lessons from thoughtswap-ing: increasing participants' coordinative agency in facilitated discussions
A successful collaborative tool designed to aid discussion must be flexible, maintain the user’s coordinative agency, and be appropriable in many contexts. We have developed a ...
Margaret Dickey-Kurdziolek, Matthew Schaefer, Debo...
ASPLOS
2010
ACM
16 years 1 months ago
Dynamically replicated memory: building reliable systems from nanoscale resistive memories
DRAM is facing severe scalability challenges in sub-45nm technology nodes due to precise charge placement and sensing hurdles in deep-submicron geometries. Resistive memories, suc...
Engin Ipek, Jeremy Condit, Edmund B. Nightingale, ...
FM
2009
Springer
110views Formal Methods» more  FM 2009»
16 years 1 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
MHCI
2009
Springer
16 years 1 months ago
Exploring the urban environment with a camera phone: lessons from a user study
We present a study investigating two novel mobile services supporting querying for information in the urban environment using camera equipped smart phones as well as two different...
Norman Höller, Arjan Geven, Manfred Tscheligi...
GROUP
2009
ACM
16 years 1 months ago
Emergent team coordination: from fire emergency response practice to a non-mimetic simulation game
We take the work practices of fire emergency responders as the basis for developing simulations to teach team coordination. We introduce non-mimetic simulation: economic operation...
Zachary O. Toups, Andruid Kerne, William A. Hamilt...