3771 search results - page 307 / 755 » Subobject Transformation Systems |
170
click to vote
WADT
2004
Springer
15 years 9 months ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...
122
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
Presynthesis optimizations transform a behavioral HDL description into an optimized HDL description that results in improved synthesis results. In this paper we introduce the decom...
123
click to vote
MFCS
1993
Springer
15 years 8 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
118
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
182
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...