3806 search results - page 218 / 762 » The Power of Process |
172
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
168
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a compressive wide-band spectrum sensing scheme for cognitive radios. The received analog signal at the cognitive radio sensing receiver is transformed in to a digital ...
162
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern digital signal processing applications have an increasing demand for computational power while needing to preserve low power dissipation and high flexibility. For many appl...
142
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Image segmentation is a crucial part of image processing applications. Currently available approaches require significant computer power to handle large images. We present an effi...
185
click to vote
DBA
2006
15 years 8 months ago
2006
: Recursive queries are required in many object-oriented database applications. Among them we can mention Bill-Of-Material (BOM), stock market dependencies, various kinds of networ...