388 search results - page 56 / 78 » Program Analysis Using Symbolic Ranges |
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
— Leveraging the power of scratchpad memories (SPMs) available in most embedded systems today is crucial to extract maximum performance from application programs. While regular a...
101
Voted
ICDAR
2009
IEEE
14 years 7 months ago
2009
IEEE
MATLAB provides a powerful environment for rapid prototyping of research methods and techniques. Across the wide range of on-line pen computing applications there exists a series ...
107
Voted
WCRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...
AMAI
2007
Springer
14 years 9 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
105
Voted
SEKE
2010
Springer
14 years 8 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...