906 search results - page 68 / 182 » Linking Theories of Concurrency |
153
click to vote
VMCAI
2009
Springer
16 years 29 days ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
162
click to vote
WDAG
2009
Springer
16 years 23 days ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
147
click to vote
ISAAC
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...
149
click to vote
ICDCS
2006
IEEE
16 years 7 days ago
2006
IEEE
In this paper, we explore a new form of dissemination called Flash Dissemination that involves dissemination of fixed, rich information to a large number of recipients in as shor...
189
click to vote
NOSSDAV
2005
Springer
15 years 11 months ago
2005
Springer
Multimedia applications today constitute a significant fraction of the workload running on portable devices such as mobile phones, PDAs and MP3 players. However, the processors i...