Sciweavers

6941 search results - page 562 / 1389
» Testing as a Certification Approach
Sort
View
CAISE
2003
Springer
16 years 9 days ago
Evaluation of the SRA Tool Using Data Mining Techniques
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
Andreas Gregoriades, Alistair G. Sutcliffe, Harala...
182
Voted
EMO
2003
Springer
136views Optimization» more  EMO 2003»
16 years 9 days ago
Solving Multi-criteria Optimization Problems with Population-Based ACO
In this paper a Population-based Ant Colony Optimization approach is proposed to solve multi-criteria optimization problems where the population of solutions is chosen from the set...
Michael Guntsch, Martin Middendorf
ISHPC
2003
Springer
16 years 8 days ago
Online Remote Trace Analysis of Parallel Applications on High-Performance Clusters
The paper presents the design and development of an online remote trace measurement and analysis system. The work combines the strengths of the TAU performance system with that of ...
Holger Brunst, Allen D. Malony, Sameer Shende, Rob...
165
Voted
ASYNC
2002
IEEE
114views Hardware» more  ASYNC 2002»
16 years 1 days ago
Checking Delay-Insensitivity: 104 Gates and Beyond
Wire and gate delays are accounted to have equal, or nearly equal, effect on circuit behavior in modern design techniques. This paper introduces a new approach to verify circuits ...
Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl...
ATS
2002
IEEE
95views Hardware» more  ATS 2002»
16 years 1 days ago
Effective Error Diagnosis for RTL Designs in HDLs
We propose an effective approach to diagnose multiple design errors in HDL designs with only one erroneous test case. Error candidates will be greatly reduced while ensuring that ...
Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou