751 search results - page 65 / 151 » Consistency techniques for interprocedural test data generat... |
ICCTA
2007
IEEE
13 years 12 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
KDD
2008
ACM
14 years 8 months ago
2008
ACM
We propose a new method for detecting patterns of anomalies in categorical datasets. We assume that anomalies are generated by some underlying process which affects only a particu...
IPCCC
2007
IEEE
14 years 2 months ago
2007
IEEE
The success of any spyware is determined by its ability to evade detection. Although traditional detection methodologies employing signature and anomaly based systems have had rea...
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
VISUALIZATION
1998
IEEE
14 years 6 days ago
1998
IEEE
This paper describes some fundamental issues for robust implementations of progressively refined tetrahedralizations generated through sequences of edge collapses. We address the ...