Sciweavers

4565 search results - page 323 / 913
» Time Optimal Self-Stabilizing Algorithms
Sort
View
TASE
2007
IEEE
15 years 9 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
VTC
2007
IEEE
192views Communications» more  VTC 2007»
15 years 9 months ago
Access Scheduling Based on Time Water-Filling for Next Generation Wireless LANs
Opportunistic user access scheduling enhances the capacity of wireless networks by exploiting the multi user diversity. When frame aggregation is used, opportunistic schemes are no...
Ertugrul Necdet Ciftcioglu, Özgür Gü...
EUROGP
2007
Springer
102views Optimization» more  EUROGP 2007»
15 years 9 months ago
Real-Time, Non-intrusive Evaluation of VoIP
Abstract. Speech quality, as perceived by the users of Voice over Internet Protocol (VoIP) telephony, is critically important to the uptake of this service. VoIP quality can be deg...
Adil Raja, R. Muhammad Atif Azad, Colin Flanagan, ...
FPL
2005
Springer
119views Hardware» more  FPL 2005»
15 years 8 months ago
Real-Time Feature Extraction for High Speed Networks
With the onset of Gigabit networks, current generation networking components will soon be insufficient for numerous reasons: most notably because existing methods cannot support h...
David Nguyen, Gokhan Memik, Seda Ogrenci Memik, Al...
ICCV
2003
IEEE
15 years 8 months ago
Information Theoretic Focal Length Selection for Real-Time Active 3-D Object Tracking
Active object tracking, for example, in surveillance tasks, becomes more and more important these days. Besides the tracking algorithms themselves methodologies have to be develop...
Joachim Denzler, Matthias Zobel, Heinrich Niemann