606 search results - page 113 / 122 » A Comparative Study of Industrial Static Analysis Tools |
DICTAP
2011
13 years 10 months ago
2011
This paper focuses on an approach to build ontology for home energy management domain which is compatible with Suggested Upper Merged Ontology (SUMO). Our starting point in doing s...
DAC
2003
ACM
15 years 11 months ago
2003
ACM
A binary decoder is a common component of software development tools such as instruction set simulators, disassemblers and debuggers. The efficiency of the decoder can have a sign...
ASPLOS
2010
ACM
15 years 5 months ago
2010
ACM
Contention for shared resources on multicore processors remains an unsolved problem in existing systems despite significant research efforts dedicated to this problem in the past...
BMCBI
2006
14 years 10 months ago
2006
Background: Microarray technology has made it possible to simultaneously measure the expression levels of large numbers of genes in a short time. Gene expression data is informati...
104
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...