3901 search results - page 409 / 781 » software 2008 |
174
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
168
click to vote
MOMPES
2008
IEEE
16 years 1 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
175
Voted
CC
2008
Springer
15 years 8 months ago
2008
Springer
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
150
Voted
CGO
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a new instruction, branch-on-random, that is like a standard conditional branch, except rather than specifying the condition on which the branch should be taken, it spe...
179
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...