3521 search results - page 40 / 705 » Algorithmic Control in Concurrent Computations |
169
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
160
click to vote
WDAG
2009
Springer
16 years 14 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...
124
click to vote
SAC
2002
ACM
15 years 5 months ago
2002
ACM
We will describe a simulator and simulated teamwork among a number of Personal Satellite Assistants (PSA) onboard the simulated space station patrolling for problem detection and ...
180
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Monitoring network status such as end-to-end delay, jitter, and available bandwidth is important to support QoS-sensitive applications and timely detection of network anomalies li...
147
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...