Sciweavers

5012 search results - page 130 / 1003
» Distributed Error Correction
Sort
View
IPMI
1999
Springer
16 years 5 months ago
Spectral Factor Analysis for Multi-isotope Imaging in Nuclear Medicine
In nuclear medicine, simultaneous dual-isotope imaging is used to determine the distribution of two radiotracers from a single acquisition and for emission/transmission (E/T) imagi...
Irène Buvat, S. Hapdey, Habib Benali, Andre...
137
Voted
ICCD
2002
IEEE
122views Hardware» more  ICCD 2002»
16 years 1 months ago
Using Offline and Online BIST to Improve System Dependability - The TTPC-C Example
Fault-tolerant distributed real-time systems are presently facing a lot of new challenges. Although many techniques provide effective masking of node failures on the architectural...
Andreas Steininger, Johann Vilanek
B
2007
Springer
15 years 11 months ago
Modelling and Proof Analysis of Interrupt Driven Scheduling
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
Bill Stoddart, Dominique Cansell, Frank Zeyda
OTM
2007
Springer
15 years 11 months ago
Semantically Resolving Type Mismatches in Scientific Workflows
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
Kheiredine Derouiche, Denis A. Nicole
SETA
2004
Springer
81views Mathematics» more  SETA 2004»
15 years 10 months ago
Univariate and Multivariate Merit Factors
Abstract. Merit factor of a binary sequence is reviewed, and constructions are described that appear to satisfy an asymptotic merit factor of 6.3421 . . . Multivariate merit factor...
Matthew G. Parker