3056 search results - page 294 / 612 » Compiling Embedded Languages |
AUSAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
ISOLA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
106
click to vote
CSREAESA
2006
15 years 17 days ago
2006
The performance of software executed on a microprocessor is adversely affected by the basic fetchexecute cycle. A further performance penalty results from the load-execute-store p...
MT
2002
14 years 10 months ago
2002
This paper describes Expedition, an environment designed to facilitate the quick ramp-up of MT systems from practically any alphabetic language (L) into English. The central compon...
PADL
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...