762 search results - page 129 / 153 » A study of the uniqueness of source code |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
DSN
2002
IEEE
14 years 2 months ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
ICDCSW
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper, several enhanced sufficient conditions are given for minimal routing in 2-dimensional (2-D) meshes with faulty nodes contained in a set of disjoint faulty blocks. ...
ICPP
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper a sufficient condition is given for minimal routing in n-dimensional (n-D) meshes with faulty nodes contained in a set of disjoint fault regions. It is based on an ...
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
ng the Accessor Classification Approach to Detect Abstract Data Types icle presents an approach to identify abstract data types (ADTs) in source code. For each structured type de...