Sciweavers

106 search results - page 14 / 22
» Automated data analysis solutions to silicon debug
Sort
View
SCAM
2007
IEEE
14 years 1 months ago
Finding Inputs that Reach a Target Expression
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
Matthew Naylor, Colin Runciman
AUSDM
2007
Springer
84views Data Mining» more  AUSDM 2007»
14 years 27 days ago
Detecting Anomalous Longitudinal Associations Through Higher Order Mining
The detection of unusual or anomalous data is an important function in automated data analysis or data mining. However, the diversity of anomaly detection algorithms shows that it...
Ping Liang, John F. Roddick
CASES
2006
ACM
14 years 21 days ago
A network agent for diagnosis and analysis of real-time Ethernet networks
Within the field of automation technology the use of Industrial Ethernet is rising. This in turn demands devices capable of precisely recording, analyzing, and manipulating commu...
Hans-Peter Löb, Rainer Buchty, Wolfgang Karl
SIGSOFT
2010
ACM
13 years 4 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
ACSW
2007
13 years 8 months ago
Determining Pattern Element Contribution in Medical Datasets
Presented are two novel solutions addressing issues in the application of automated data analysis techniques in the medical domain. The primary aim of our work is to provide medic...
Anna Shillabeer, Darius Pfitzner