Sciweavers

970 search results - page 82 / 194
» Reliability Analysis of Concurrent Systems Using LTSA
Sort
View
116
Voted
IOLTS
2008
IEEE
117views Hardware» more  IOLTS 2008»
15 years 7 months ago
Verification and Analysis of Self-Checking Properties through ATPG
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...
Marc Hunger, Sybille Hellebrand
COORDINATION
2009
Springer
16 years 1 months ago
Multicore Scheduling for Lightweight Communicating Processes
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes
100
Voted
CONCURRENCY
2008
102views more  CONCURRENCY 2008»
15 years 19 days ago
Dynamic data replication in LCG 2008
To provide performant access to data from high energy physics experiments such as the Large Hadron Collider (LHC), controlled replication of files among grid sites is required. Dy...
Caitriana Nicholson, David G. Cameron, A. T. Doyle...
103
Voted
JAR
2008
88views more  JAR 2008»
15 years 16 days ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
SSIAI
2002
IEEE
15 years 5 months ago
Feature Extraction from Hyperspectral Images Compressed Using the JPEG-2000 Standard
We present results quantifying the exploitability of compressed remote sensing imagery. The performance of various feature extraction and classification tasks is measured on hype...
Mihaela D. Pal, Christopher M. Brislawn, Steven P....