3521 search results - page 49 / 705 » Algorithmic Control in Concurrent Computations |
EXPCS
2007
14 years 17 days ago
2007
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
ISSTA
1998
ACM
14 years 27 days ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
SPAA
2010
ACM
13 years 8 months ago
2010
ACM
We present a scheduling algorithm of stream programs for multi-core architectures called team scheduling. Compared to previous multi-core stream scheduling algorithms, team schedu...
STOC
2006
ACM
14 years 2 months ago
2006
ACM
We investigate the question of whether security of protocols in the information-theoretic setting (where the adversary is computationally unbounded) implies the security of these ...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
This paper proposes an optimized topology control scheme