233 search results - page 4 / 47 » Intelligent compilers |
ISCA
2011
IEEE
14 years 1 months ago
2011
IEEE
Blocked-execution multiprocessor architectures continuously run atomic blocks of instructions — also called Chunks. Such architectures can boost both performance and software pr...
AAAI
2010
14 years 11 months ago
2010
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical kn...
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
SARA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
IWEC
2004
14 years 11 months ago
2004
With the increase of computer capabilities, many learning systems have become complex simulators with advanced interfaces close to game quality. However, many games features have n...