2935 search results - page 500 / 587 » An Integrated Approach to High Integrity Software Verificati... |
141
click to vote
EGC
2005
Springer
15 years 11 months ago
2005
Springer
Grid systems offer high computing capabilities that are used in many scientific research fields and thus many applications are submitted to these powerful systems. Parallel applica...
171
click to vote
GCC
2005
Springer
15 years 11 months ago
2005
Springer
In the current Web, e-document has been the most common vehicle for delivering and exchanging information. As the amount of e-documents has grown enormously, effective classificati...
140
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...
175
click to vote
KDD
2005
ACM
15 years 11 months ago
2005
ACM
Outlier detection has recently become an important problem in many industrial and financial applications. In this paper, a novel feature bagging approach for detecting outliers in...
167
click to vote
DFT
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents an approach for integrating fault-tolerance techniques into microprocessors by utilizing instruction redundancy as well as time redundancy. Smaller and smaller...