Sciweavers

5012 search results - page 319 / 1003
» Distributed Error Correction
Sort
View
RTSS
2005
IEEE
16 years 6 days ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland
PCM
2004
Springer
106views Multimedia» more  PCM 2004»
15 years 12 months ago
Adaptive FEC Control for Reliable High-Speed UDP-Based Media Transport
In this paper, we propose a reliable high-speed UDP-based media transport with an adaptive FEC (forward error correction) error control. The proposed adaptive transport scheme cont...
Young-Woo Kwon, Hyeyoung Chang, Jongwon Kim
ESTIMEDIA
2003
Springer
15 years 12 months ago
A Component Oriented Simulator for HW/SW Co-Designs
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
Alexander Paar, Haitao Du, Nader Bagherzadeh
ICPR
2002
IEEE
15 years 11 months ago
Tree Pruning for Output Coded Ensembles
Output Coding is a method of converting a multiclass problem into several binary subproblems and gives an ensemble of binary classifiers. Like other ensemble methods, its perform...
Terry Windeatt, Gholamreza Ardeshir
COMPSAC
2009
IEEE
15 years 10 months ago
GUI-Based Testing of Boundary Overflow Vulnerability
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
Tugkan Tuglular, Can A. Muftuoglu, Özgür...