606 search results - page 54 / 122 » Discrete Time Process Algebra |
CORR
2011
Springer
13 years 3 months ago
2011
Springer
This paper studies left invertibility of discrete-time linear output-quantized systems. Quantized outputs are generated according to a given partition of the state-space, while inp...
ICIP
1998
IEEE
14 years 10 months ago
1998
IEEE
Many rendering or image-analysis systems require calculation of versions of an image at lesser resolutions than the original. Because the filtering required to perform such calcul...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Current audio coding standards employ the modified discrete cosine transform (MDCT) where overlapped frames of audio are windowed and transformed to the frequency domain. Encodin...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
Statistical Static Timing Analysis has received wide attention recently and emerged as a viable technique for manufacturability analysis. To be useful, however, it is important th...