Sciweavers

3171 search results - page 152 / 635
» Application of Reduce Order Modeling to Time Parallelization
Sort
View
153
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Temporal masking for bit-rate reduction in audio codec based on Frequency Domain Linear Prediction
Audio coding based on Frequency Domain Linear Prediction (FDLP) uses auto-regressive model to approximate Hilbert envelopes in frequency sub-bands for relatively long temporal seg...
Sriram Ganapathy, Petr Motlícek, Hynek Herm...
159
Voted
WSCG
2003
151views more  WSCG 2003»
15 years 4 months ago
Large Model Visualization: Techniques and Applications
The visual representation of complex data has always been a major motivation for computer graphics. However, there have always been computer graphics scenes which were too complex...
Dirk Bartz
147
Voted
RTCSA
1999
IEEE
15 years 7 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
148
Voted
CJ
2006
84views more  CJ 2006»
15 years 3 months ago
Instruction Level Parallelism through Microthreading - A Scalable Approach to Chip Multiprocessors
Most microprocessor chips today use an out-of-order instruction execution mechanism. This mechanism allows superscalar processors to extract reasonably high levels of instruction ...
Kostas Bousias, Nabil Hasasneh, Chris R. Jesshope
WISES
2003
15 years 4 months ago
Function Test Framework for Testing IO-Blocks in a Model-Based Rapid Prototyping Development Environment for Embedded Control Ap
— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
Stefan Pitzek, Peter P. Puschner