3056 search results - page 150 / 612 » Compiling Embedded Languages |
95
Voted
PLILP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
CODES
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
80
Voted
FPL
2001
Springer
15 years 2 months ago
2001
Springer
This paper presents new achievements on the automatic mapping of algorithms, written in imperative software programming languages, to custom computing machines. The reconfigurable ...
63
Voted
AAAI
2008
15 years 15 days ago
2008
We extend the knowledge compilation map introduced by Darwiche and Marquis with three influential propositional fragments, the Krom CNF one (also known as the bijunctive fragment)...