53 search results - page 10 / 11 » A Tool Supporting Evaluation of Non-markovian Fault Trees |
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
GRID
2004
Springer
13 years 10 months ago
2004
Springer
A comprehensive study of the whole petabyte-scale archival data of astronomical observatories has a possibility of new science and new knowledge in the field, while it was not fe...
SC
2009
ACM
13 years 11 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
SIGSOFT
2006
ACM
14 years 5 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
AAAI
2007
13 years 7 months ago
2007
The exponential growth and reliability of Wikipedia have made it a promising data source for intelligent systems. The first challenge of Wikipedia is to make the encyclopedia mac...