9842 search results - page 401 / 1969 » Compositional timing analysis |
166
click to vote
IJSYSC
2010
15 years 4 months ago
2010
— First order linear time invariant and time delayed dynamics of neutral type is taken into account with three rationally independent delays. There are two main contributions of ...
138
Voted
JOT
2010
15 years 4 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
185
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
162
Voted
MA
2011
Springer
15 years 1 months ago
2011
Springer
This paper suggests a new technique to construct first order Markov processes using products of copula functions, in the spirit of Darsow et al. (1992). The approach requires the...
140
Voted
ICIP
1994
IEEE
16 years 7 months ago
1994
IEEE
A wavelet-based image-encoding is described which, when used in conjunction with the Di erence Engine (a customdesigned VLSI display processor) allows us to reconstruct an image i...