471 search results - page 35 / 95 » Automatic Mutual Exclusion |
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents new filter bank design methods for subband adaptive beamforming. In this work, we design analysis and synthesis prototypes for modulated filter banks so as t...
DATE
2000
IEEE
14 years 27 days ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
AVBPA
2003
Springer
14 years 4 days ago
2003
Springer
Abstract. The accuracy of Automatic Fingerprint Identification Systems (AFIS) is dependent on many variables ranging from the quality of the friction skin surface itself, to the ab...
STACS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...