7109 search results - page 196 / 1422 » Process Algebra with Combinators |
112
click to vote
JPDC
2010
15 years 2 months ago
2010
This paper shows that shared coin algorithms can be combined to optimize several complexity measures, even in the presence of a strong adversary. By combining shared coins of Brac...
174
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
139
click to vote
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
We present a very simple and effective method for eliminating the degeneracy inherent in a planar scene, and demonstrate its performance in a useful application -- that of binocul...
106
Voted
HIPEAC
2010
Springer
16 years 24 days ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
118
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
A new algorithm is presented that combines performance and variation objectives in a behavioural model for a given analogue circuit topology and process. The tradeoffs between per...