9210 search results - page 1347 / 1842 » Analyzing Real-Time Systems |
239
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
156
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents Kick Ass Kung-Fu, a martial arts game installation where the player fights virtual enemies with kicks and punches as well as acrobatic moves such as cartwheels...
154
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Many CSCW projects dealing with individual availability and interruption filtering achieve only limited success. Perhaps this is because designers of such systems have limited evi...
305
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
262
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...