5241 search results - page 809 / 1049 » Embedded Programming with C |
139
click to vote
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
150
click to vote
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
101
click to vote
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
Program execution traces are frequently used in industry and academia. Yet, most trace-compression algorithms have to be re-implemented every time the trace format is changed, whi...
123
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
114
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
The Self Distributing Virtual Machine (SDVM) is a parallel computing machine which consists of a cluster of customary computers. The participating machines may have different comp...