268 search results - page 39 / 54 » Experimental Evaluation of Code Properties for WCET Analysis |
KDD
2003
ACM
15 years 9 months ago
2003
ACM
Large and complex graphs representing relationships among sets of entities are an increasingly common focus of interest in data analysis--examples include social networks, Web gra...
MIR
2004
ACM
15 years 2 months ago
2004
ACM
Although digital images indexing and querying techniques have extensively been studied for the last years, few systems are dedicated to medical images today while the need for con...
77
Voted
PR
2006
14 years 9 months ago
2006
Clustering algorithms are routinely used in biomedical disciplines, and are a basic tool in bioinformatics. Depending on the task at hand, there are two most popular options, the ...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
ISSTA
2004
ACM
15 years 2 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...