3521 search results - page 49 / 705 » Algorithmic Control in Concurrent Computations |
117
click to vote
EXPCS
2007
15 years 5 months 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...
117
click to vote
ISSTA
1998
ACM
15 years 5 months 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...
114
click to vote
SPAA
2010
ACM
15 years 1 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...
123
click to vote
STOC
2006
ACM
15 years 7 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 ...
104
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes an optimized topology control scheme