Sciweavers

972 search results - page 116 / 195
» presence 2007
Sort
View
POPL
2007
ACM
16 years 6 months ago
Lock allocation
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Ru...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Regression Test Selection for AspectJ Software
As aspect-oriented software development gains popularity, there is growing interest in using aspects to implement cross-cutting concerns in object-oriented systems. When aspect-or...
Guoqing Xu, Atanas Rountev
ICFP
2007
ACM
16 years 6 months ago
Type-safe higher-order channels in ML-like languages
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
Sungwoo Park
PERCOM
2007
ACM
16 years 5 months ago
A Capacitive Sensing Toolkit for Pervasive Activity Detection and Recognition
In this paper we present a toolkit for realizing capacitive sensing applications for human-computer interaction in pervasive computing systems. We argue that capacitive sensors - ...
Raphael Wimmer, Matthias Kranz, Sebastian Boring, ...
3DIM
2007
IEEE
16 years 10 days ago
Dual-Mode Deformable Models for Free-Viewpoint Video of Sports Events
Generating free-viewpoint video in outdoor sports environments is currently an unsolved problem due to difficulties in obtaining accurate background segmentation and camera calib...
Joe Kilner, Jonathan Starck, Adrian Hilton, Oliver...