8555 search results - page 125 / 1711 » Property Based Coordination |
SBMF
2010
Springer
13 years 3 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
We propose a new color filter array (CFA) with optimal characteristics for the acquisition of color scenes, since the luminance and chrominance information is encoded in the mosai...
IVC
2006
13 years 9 months ago
2006
This paper considers the optimisation of a nonlinear functional for image segmentation and noise reduction. Equations optimising this functional are derived and employed to detect...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
QSHINE
2005
IEEE
14 years 2 months ago
2005
IEEE
—A complete complementary code based direct sequence code division multiple access (CC/DS-CDMA) system has been proposed recently as a potential candidate for beyond third genera...