2473 search results - page 253 / 495 » The Logic of Communication Graphs |
171
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
172
click to vote
ICDM
2003
IEEE
15 years 12 months ago
2003
IEEE
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have compl...
164
click to vote
ASPDAC
2000
ACM
15 years 11 months ago
2000
ACM
Abstract— Clock-gating techniques are very effective in the reduction of the switching activity in sequential logic circuits. In particular, recent work has shown that significa...
181
click to vote
AGP
1994
IEEE
15 years 10 months ago
1994
IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
205
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
In this paper, we consider the problem of calculating the signal and transition probabilities of the internal nodes of the combinational logic part of a nite state machine (FSM). ...