619 search results - page 90 / 124 » The Design and Implementation of a Certifying Compiler |
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
When we have multiple users compiling a single message, including shared contents, metadata, policy, and so on, the integrity of the contents created by individual users needs to ...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
This paper presents Lancet, a multi-platform software visualization tool that enables the inspection of programs at the binary code level. Implemented on top of the linktime rewri...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...