2515 search results - page 147 / 503 » Interval Availability Distribution Computation |
128
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Instruction scheduling methods based on the construction of state diagrams (or automata) have been used for architectures involving deeply pipelined function units. However, the s...
128
click to vote
CONCUR
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
130
click to vote
ICDCS
1995
IEEE
15 years 8 months ago
1995
IEEE
Protocols that provide reliable communicationon top of a network that can lose packets rely on periodically retransmitting packets. The choice of retransmission timeout critically...
145
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
149
click to vote
CCGRID
2010
IEEE
15 years 5 months ago
2010
IEEE
Exploiting the graphics processing unit (GPU) is useful to obtain higher performance with a less number of host machines in grid systems. One problem in GPU-accelerated grid system...