10707 search results - page 82 / 2142 » Designing executable abstractions |
119
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
144
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
131
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Retargetable C compilers are key components of today’s embedded processor design platforms for quickly obtaining compiler support and performing early processor architecture exp...
130
click to vote
ISSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Decreasing the program size has become an important goal in the design of embedded systems target to mass production. This problem has led to a number of efforts aimed at designin...
116
click to vote
ISCA
1998
IEEE
15 years 7 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...