Sciweavers

62 search results - page 3 / 13
» Universal Codes as a Basis for Time Series Testing
Sort
View
CN
1999
100views more  CN 1999»
13 years 6 months ago
Testing protocols modeled as FSMs with timing parameters
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...
M. Ümit Uyar, Mariusz A. Fecko, Adarshpal S. ...
RTSS
2003
IEEE
14 years 4 days ago
Experimental Evaluation of Code Properties for WCET Analysis
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
Antoine Colin, Stefan M. Petters
ICIP
1998
IEEE
14 years 8 months ago
Adaptive Wavelet Packet Image Coding using an Estimation-Quantization Framework
In this paper, we extend the statistical model-based Estimation-Quantization (EQ) wavelet image coding algorithm introduced in [?] to include an adaptive transform component. For ...
Kannan Ramchandran, Mehmet Kivanç Mih&ccedi...
ACIVS
2006
Springer
13 years 8 months ago
A Real-Time Content Adaptation Framework for Exploiting ROI Scalability in H.264/AVC
In many application scenarios, the use of Regions of Interest (ROIs) within video sequences is a useful concept. It is shown in this paper how Flexible Macroblock Ordering (FMO), d...
Peter Lambert, Davy De Schrijver, Davy Van Deursen...
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
14 years 4 days ago
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...