Sciweavers

5409 search results - page 331 / 1082
» Basic Observables for Processes
Sort
View
TON
2008
149views more  TON 2008»
15 years 6 months ago
Building heterogeneous peer-to-peer networks: protocol and analysis
In this paper, we propose a simple protocol for building heterogeneous unstructured peer-to-peer (P2P) networks. The protocol consists of two parts--the joining process and the reb...
Kin Wah Kwong, Danny H. K. Tsang
ICIP
2004
IEEE
16 years 8 months ago
Image coding with iterated contourlet and wavelet transforms
This paper presents a new coding technique based on a mixed contourlet and wavelet transform. The redundancy of the transform is controlled by using the contourlet at fine scales ...
Vivien Chappelier, Christine Guillemot, Slavica Ma...
ICASSP
2009
IEEE
16 years 1 months ago
A nonparametric test for stationarity based on local Fourier analysis
In this paper we propose a nonparametric hypothesis test for stationarity based on local Fourier analysis. We employ a test statistic that measures the variation of time-localized...
Prabahan Basu, Daniel Rudoy, Patrick J. Wolfe
TASE
2009
IEEE
16 years 1 months ago
State Visibility and Communication in Unifying Theories of Programming
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
Andrew Butterfield, Pawel Gancarski, Jim Woodcock
DATE
2008
IEEE
95views Hardware» more  DATE 2008»
16 years 1 months ago
Improving Constant-Coefficient Multiplier Verification by Partial Product Identification
Constant-coefficient multipliers are fundamental components in digital signal processing and arithmetic-based systems. Their verification, however, remains difficult and time-cons...
Chao-Yue Lai, Chung-Yang Huang, Kei-Yong Khoo