Sciweavers

576 search results - page 76 / 116
» Synchronization of Some DFA
Sort
View
ICSE
2008
IEEE-ACM
14 years 9 months ago
Dynamic detection of atomic-set-serializability violations
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...
Christian Hammer, Julian Dolby, Mandana Vaziri, Fr...
PLDI
2009
ACM
14 years 9 months ago
Chameleon: adaptive selection of collections
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
Ohad Shacham, Martin T. Vechev, Eran Yahav
CHI
2009
ACM
14 years 9 months ago
Measuring the impact of third place attachment on the adoption of a place-based community technology
CoCollage is a placed-based community technology that leverages the power of online social networking to facilitate awareness and face-to-face interactions in a third place. We ad...
Shelly Farnham, Joseph F. McCarthy, Yagnesh Patel,...
CHI
2007
ACM
14 years 9 months ago
Watching together: integrating text chat with video
Watching video online is becoming increasingly popular, and new video streaming technologies have the potential to transform video watching from a passive, isolating experience in...
Justin D. Weisz, Sara B. Kiesler, Hui Zhang, Yuqin...
CHI
2004
ACM
14 years 9 months ago
Exploring PC-telephone convergence with the enhanced telephony prototype
Industry trends suggest that the PC and telephone user experiences will converge over the next several years. This convergence raises important questions for the HCI community: ho...
Jonathan J. Cadiz, Attila Narin, Gavin Jancke, Ano...