Sciweavers

8022 search results - page 243 / 1605
» Predictability in Critical Systems
Sort
View
PASTE
2004
ACM
16 years 1 days ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
VIP
2003
15 years 8 months ago
Optimal Selection of Image Segmentation Algorithms Based on Performance Prediction
Using different algorithms to segment different images is a quite straightforward strategy for automated image segmentation. But the difficulty of the optimal algorithm selection ...
Yong Xia, David Dagan Feng, Rongchun Zhao
TROB
2010
129views more  TROB 2010»
15 years 5 months ago
A Probabilistic Particle-Control Approximation of Chance-Constrained Stochastic Predictive Control
—Robotic systems need to be able to plan control actions that are robust to the inherent uncertainty in the real world. This uncertainty arises due to uncertain state estimation,...
Lars Blackmore, Masahiro Ono, Askar Bektassov, Bri...
184
Voted
PAKDD
2004
ACM
127views Data Mining» more  PAKDD 2004»
15 years 12 months ago
Exploiting Recurring Usage Patterns to Enhance Filesystem and Memory Subsystem Performance
In many cases, normal uses of a system form patterns that will repeat. The most common patterns can be collected into a prediction model which will essentially predict that usage p...
Benjamin Rutt, Srinivasan Parthasarathy
ICIP
1999
IEEE
16 years 8 months ago
Lossless/Lossy Progressive Coding Based on Reversible Wavelet and Lossless Multi-Channel Prediction
In this report, a digital image data compression method which has two modes ? "losslesss" mode and "lossy" mode ? and also "progressive" functionalit...
Masahiro Iwahashi, Shinji Fukuma, Somchart Chokcha...