6800 search results - page 115 / 1360 » Testing with Functions as Specifications |
DSD
2010
IEEE
13 years 8 months ago
2010
IEEE
—Periodic on-chip scan-based tests have to be applied to a many-core processor SoC to improve its dependability. An infrastructural IP module has been designed and incorporated i...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
We present in this paper a new multi-class Bayes classifier that permits using separate feature vectors, chosen specifically for each class. This technique extends previous work o...
WSC
2007
13 years 10 months ago
2007
Commercial simulation environments offer model developers the ability to compose simulation models using generic or domain specific model constructs. Most simulation environments ...
HICSS
1995
IEEE
13 years 11 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
DSN
2008
IEEE
13 years 9 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...