4359 search results - page 737 / 872 » Automated Pipeline Design |
127
click to vote
TPHOL
2007
IEEE
15 years 11 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...
151
click to vote
CCS
2007
ACM
15 years 11 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, ...
137
click to vote
DAGM
2007
Springer
15 years 11 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...
151
click to vote
ECSQARU
2007
Springer
15 years 11 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...
159
click to vote
GPCE
2007
Springer
15 years 11 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...