Sciweavers

15421 search results - page 187 / 3085
» Dependability
Sort
View
DATE
2008
IEEE
90views Hardware» more  DATE 2008»
15 years 10 months ago
Computation of Buffer Capacities for Throughput Constrained and Data Dependent Inter-Task Communication
Abstract - Streaming applications are often implemented as task graphs. Currently, techniques exist to derive buffer capacities that guarantee satisfaction of a throughput constrai...
Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit
ICAS
2008
IEEE
145views Robotics» more  ICAS 2008»
15 years 10 months ago
Task Dependency of User Perceived Utility in Autonomic VoIP Systems
The transmission of voice-over-Internet protocol (VoIP) network traffic is used in an increasing variety of applications and settings. Many of these applications involve communic...
Edward Stehle, Maxim Shevertalov, Paul deGrandis, ...
PIMRC
2008
IEEE
15 years 10 months ago
Carrier frequency dependent throughput analysis for impaired OFDM links under user mobility
—In this paper we present an analytical approach to evaluate the M-QAM bit error rate and carrier frequency dependent throughput of OFDM systems subject to various receiver impai...
Marco Krondorf, Gerhard Fettweis
TPHOL
2008
IEEE
15 years 10 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
GLOBECOM
2007
IEEE
15 years 10 months ago
Output Traffic Characterization of Policers and Shapers with Long-Range Dependent Input Traffic
 Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects network queuing. An approach for guaranteeing performance requirements is...
Stefano Bregni, Paolo Giacomazzi, Gabriella Saddem...