Sciweavers

1744 search results - page 45 / 349
» A Similarity-Driven Transfer System
Sort
View
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
15 years 4 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
ICASSP
2011
IEEE
14 years 10 months ago
Analysis of adaptive feedback and echo cancelation algorithms in a general multiple-microphone and single-loudspeaker system
In this paper, we analyze a general multiple-microphone and singleloudspeaker system, where an adaptive algorithm is used to cancel acoustic feedback/echo and a beamformer process...
Meng Guo, Thomas Bo Elmedyb, Søren Holdt Je...
ESTIMEDIA
2009
Springer
15 years 4 months ago
Inter-kernel data reuse and pipelining on chip-multiprocessors for multimedia applications
The increasing demand for low power and high performance multimedia embedded systems has motivated the need for effective solutions to satisfy application bandwidth and latency req...
Luis Angel D. Bathen, Yongjin Ahn, Nikil D. Dutt, ...
ICUMT
2009
15 years 3 months ago
Effective buffer and storage management in DTN nodes
Current wired networks have been developed on the basis of the AIMD principle, which offers increased performance and fairness. Nevertheless, there is a vast spectrum of networks, ...
Stylianos Dimitriou, Vassilis Tsaoussidis
AMI
2010
Springer
15 years 5 months ago
A Distributed Many-Camera System for Multi-person Tracking
This article presents a modular, distributed and scalable many-camera system designed towards tracking multiple people simultaneously in a natural human-robot interaction scenario ...
Claus Lenz, Thorsten Röder, Martin Eggers, Si...