6111 search results - page 221 / 1223 » Time, Hardware, and Uniformity |
120
click to vote
RSA
2000
15 years 15 days ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
113
Voted
ISSS
1995
IEEE
15 years 4 months ago
1995
IEEE
Automation of the Hardware/Software Codesign methodology brings with it the need to develop sophisticated high-level profiling tools. This paper presents a profiling tool which us...
110
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
107
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
— Statistical static timing analysis deals with the increasing variations in manufacturing processes to reduce the pessimism in the worst case timing analysis. Because of the cor...
133
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...