3228 search results - page 10 / 646 » Basics of Compiler Design |
SAC
2003
ACM
15 years 2 months ago
2003
ACM
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into pa...
JOLLI
2008
14 years 9 months ago
2008
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive log...
HIPEAC
2005
Springer
15 years 3 months ago
2005
Springer
Increasingly tight energy design goals require processor architects to rethink the organizational structure of microarchitectural resources. In this paper, we examine a new multila...
AGI
2008
14 years 11 months ago
2008
One might imagine that AI systems with harmless goals will be harmless. This paper instead shows that intelligent systems will need to be carefully designed to prevent them from be...
ITC
2000
IEEE
15 years 2 months ago
2000
IEEE
—This paper presents Algorithm-level REcomputing with Shifted Operands (ARESO), which is a new register transfer (RT) level time redundancy-based concurrent error detection (CED)...