506 search results - page 27 / 102 » Constructor-based observational logic |
125
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a visualization tool called PLFire, which allows a user to observe the behavior of a Phased Logic (PL) circuit. Phased logic is a technique for realizing self-timed cir...
117
click to vote
ENTCS
2010
15 years 3 months ago
2010
Spartacus is a tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus is the first system to use pattern-based blocking...
142
click to vote
IJCAI
1989
15 years 5 months ago
1989
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
148
click to vote
ICS
2001
Tsinghua U.
15 years 8 months ago
2001
Tsinghua U.
The issue logic of dynamically scheduled superscalar processors is one of their most complex and power-consuming parts. In this paper we present alternative issue-logic designs th...
149
click to vote
CSREAESA
2004
15 years 5 months ago
2004
: In this paper we focus on the reduction of switching activity in combinational logic circuits. An algorithmic approach using k-map has been proposed which modifies the normal opt...