4983 search results - page 16 / 997 » order 2008 |
TALG
2010
14 years 10 months ago
2010
TODS
2010
14 years 10 months ago
2010
77
Voted
DM
1999
14 years 11 months ago
1999
Abstract. Given a partially ordered set P = (X; P ), a function F which assigns to each x 2 X a set F (x) so that x y in P if and only if F (x) F (y) is called an inclusion represe...
ISCA
2008
IEEE
15 years 6 months ago
2008
IEEE
There is still much performance to be gained by out-of-order processors with wider issue widths. However, traditional methods of increasing issue width do not scale; that is, they...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...