3310 search results - page 641 / 662 » Aspect-aware operating system development |
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Users find it hard to delete unimportant personal information which often results in cluttered workspaces. We present a full design cycle for GrayArea, a novel interface that allo...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
We are currently working on a museum guide robot with an emphasis on "friendly" human-robot interaction displayed through nonverbal behaviors. In this paper, we focus on...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Editing speech data is currently time-consuming and errorprone. Speech editors rely on acoustic waveform representations, which force users to repeatedly sample the underlying spe...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Snapshot isolation (SI) provides significantly improved concurrency over 2PL, allowing reads to be non-blocking. Unfortunately, it can also lead to non-serializable executions in ...