Sciweavers

3171 search results - page 152 / 635
» Application of Reduce Order Modeling to Time Parallelization
Sort
View
ICASSP
2008
IEEE
16 years 27 days 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...
WSCG
2003
151views more  WSCG 2003»
15 years 7 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
RTCSA
1999
IEEE
15 years 10 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
CJ
2006
84views more  CJ 2006»
15 years 6 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 7 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