1008 search results - page 107 / 202 » Canonicity! |
170
click to vote
GLVLSI
1996
IEEE
15 years 7 months ago
1996
IEEE
Inthispaperweintroduceanondeterministiccounterpart to Reduced, Ordered Binary Decision Diagrams for the representation and manipulation of logic functions. ROBDDs are conceptually...
113
click to vote
HPDC
1994
IEEE
15 years 7 months ago
1994
IEEE
Partitioning data parallel computations across a network of heterogeneous workstations is a dificult problem for the user: We have developed a runtime partitioning methodfor choos...
157
click to vote
ICCD
1996
IEEE
15 years 7 months ago
1996
IEEE
The Multi-Level Decomposition Diagrams (MLDDs) of this paper are a canonical representation of Boolean functions expliciting disjoint-support decompositions. MLDDs allow the reduc...
140
click to vote
ESOP
1994
Springer
15 years 7 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
117
Voted
RTA
1993
Springer
15 years 7 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ â...