Sciweavers

4306 search results - page 230 / 862
» Timed Testing with TorX
Sort
View
WORDS
2003
IEEE
15 years 6 months ago
Timing Analysis of Optimised Code
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
Raimund Kirner, Peter P. Puschner
102
Voted
SCALESPACE
2001
Springer
15 years 5 months ago
Selection of Optimal Stopping Time for Nonlinear Diffusion Filtering
We develop a novel time-selection strategy for iterative image restoration techniques: the stopping time is chosen so that the correlation of signal and noise in the filtered imag...
Pavel Mrázek
ECRTS
1999
IEEE
15 years 5 months ago
Timed automaton models for simple programmable logic controllers
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
Angelika Mader, Hanno Wupper
106
Voted
TNN
2008
95views more  TNN 2008»
15 years 5 days ago
Minimizing the Effect of Process Mismatch in a Neuromorphic System Using Spike-Timing-Dependent Adaptation
Abstract--This paper investigates whether spike-timing-dependent plasticity (STDP) can minimize the effect of mismatch within the context of a depth-from-motion algorithm. To impro...
Katherine Cameron, Alan Murray
MICCAI
2007
Springer
16 years 1 months ago
Towards an Identification of Tumor Growth Parameters from Time Series of Images
In cancer treatment, understanding the aggressiveness of the tumor is essential in therapy planning and patient follow-up. In this article, we present a novel method for quantifyin...
Ender Konukoglu, Olivier Clatz, Pierre-Yves Bondia...