Sciweavers

2129 search results - page 84 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
JCM
2008
86views more  JCM 2008»
14 years 9 months ago
Channel Correlation Properties in OFDM by using Time-Varying Cyclic Delay Diversity
This paper analyzes the influence of time-varying cyclic delay diversity (TV-CDD) on the channel fading correlation properties in orthogonal frequency division multiplexing (OFDM) ...
Simon Plass, Armin Dammann, Gerd Richter, Martin B...
DATE
2009
IEEE
107views Hardware» more  DATE 2009»
15 years 4 months ago
Learning early-stage platform dimensioning from late-stage timing verification
— Today's innovations in the automotive sector are, to a great extent, based on electronics. The increasing integration complexity and stringent cost reduction goals turn E/...
Kai Richter, Marek Jersak, Rolf Ernst
SAC
2003
ACM
15 years 3 months ago
Real-Time Monitoring of Large Scientific Simulations
We present a distributed framework that enables real-time streaming and visualization of data generated by large remote simulations. We address issues arising from distributed cli...
Valerio Pascucci, Daniel E. Laney, Ray J. Frank, F...
CAIP
2003
Springer
244views Image Analysis» more  CAIP 2003»
15 years 3 months ago
Real-Time Optic Flow Computation with Variational Methods
Abstract. Variational methods for optic flow computation have the reputation of producing good results at the expense of being too slow for real-time applications. We show that re...
Andrés Bruhn, Joachim Weickert, Christian F...
ICFEM
2010
Springer
14 years 8 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...