175 search results - page 1 / 35 » Certification Support for Automatically Generated Programs |
HICSS
2003
IEEE
13 years 9 months ago
2003
IEEE
POPL
2000
ACM
13 years 8 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
FOAL
2008
ACM
13 years 6 months ago
2008
ACM
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
SAMOS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
RIAO
2007
13 years 5 months ago
2007
Although techniques to automatically generate metadata have been steadily refined over the past decade, archive professionals at radio broadcasters continue to use conventional au...