97 search results - page 18 / 20 » The Higher-Order Recursive Path Ordering |
141
Voted
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...
146
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Trellis codes based on linear congruential recursions have recently been introduced as powerful source codes. For a modest computational complexity they offer excellent rate di...
151
Voted
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
161
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
134
click to vote
CC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...