2 search results - page 1 / 1 » A Refinement Relation Supporting the Transition from Unbound... |
MPC
1995
Springer
13 years 8 months ago
1995
Springer
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
ITC
1998
IEEE
13 years 9 months ago
1998
IEEE
A method for measuring inter-symbol interference, duty cycle distortion, random jitter and periodic jitter is described. The Blackman-Tukey method of signal analysis is used. This...