4359 search results - page 737 / 872 » Automated Pipeline Design |
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
DAGM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...
ECSQARU
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we describe an approach to classifying objects in a domain where classifications are uncertain using a novel combination of argumentation and data mining. Classific...
GPCE
2007
Springer
15 years 4 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...