1548 search results - page 198 / 310 » Estimating Software Vulnerabilities |
132
click to vote
SIGOPS
2010
14 years 6 months ago
2010
Modern chip-level multiprocessors (CMPs) contain multiple processor cores sharing a common last-level cache, memory interconnects, and other hardware resources. Workloads running ...
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
ICIAP
2007
ACM
15 years 11 months ago
2007
ACM
This paper presents a novel user interaction concept for document image scanning with mobile phones. A high resolution mosaic image is constructed in two main stages. Firstly, onl...
117
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique ...