286 search results - page 49 / 58 » A Loop-Aware Search Strategy for Automated Performance Analy... |
DAC
2003
ACM
14 years 8 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
CIKM
2011
Springer
12 years 7 months ago
2011
Springer
Modern computing systems generate large amounts of log data. System administrators or domain experts utilize the log data to understand and optimize system behaviors. Most system ...
NDSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Kernel rootkits can provide user level-malware programs with the additional capabilities of hiding their malicious activities by altering the legitimate kernel behavior of an oper...
CIVR
2004
Springer
14 years 27 days ago
2004
Springer
There has been a concerted effort from the Video Retrieval community to develop tools that automate the annotation process of Sports video. In this paper, we provide an in-depth i...
CASES
2003
ACM
14 years 23 days ago
2003
ACM
Focusing on embedded applications, scratchpad memories (SPMs) look like a best-compromise solution when taking into account performance, energy consumption and die area. The main ...