Sciweavers

2542 search results - page 206 / 509
» One step ahead
Sort
View
JPDC
2007
95views more  JPDC 2007»
13 years 10 months ago
Self-stabilizing algorithm for checkpointing in a distributed system
If the variables used for a checkpointing algorithm have data faults, the existing checkpointing and recovery algorithms may fail. In this paper, self-stabilizing data fault detec...
Partha Sarathi Mandal, Krishnendu Mukhopadhyaya
JSA
2007
84views more  JSA 2007»
13 years 10 months ago
Optimizing data structures at the modeling level in embedded multimedia
Traditional design techniques for embedded systems apply transformations on the source code to optimize hardwarerelated cost factors. Unfortunately, such transformations cannot ad...
Marijn Temmerman, Edgar G. Daylight, Francky Catth...
ARTMED
2002
92views more  ARTMED 2002»
13 years 10 months ago
Predicting glaucomatous visual field deterioration through short multivariate time series modelling
In bio-medical domains there are many applications involving the modelling of multivariate time series (MTS) data. One area that has been largely overlooked so far is the particul...
Stephen Swift, Xiaohui Liu
FAC
2000
124views more  FAC 2000»
13 years 10 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
MOC
2000
126views more  MOC 2000»
13 years 10 months ago
Adaptive multilevel methods in space and time for parabolic problems-the periodic case
The aim of this paper is to display numerical results that show the interest of some multilevel methods for problems of parabolic type. These schemes are based on multilevel spatia...
J. B. Burie, M. Marion