2989 search results - page 292 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
223
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
151
click to vote
FMCAD
2007
Springer
16 years 25 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
178
click to vote
WEBI
2005
Springer
16 years 4 days ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
160
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
179
click to vote
MEMOCODE
2007
IEEE
16 years 28 days ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...