Login / Signup
Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications.
Willem C. Mallon
Jan Tijmen Udding
Published in:
ASYNC (1997)
Keyphrases
</>
delay insensitive
asynchronous circuits
logical rules
genetic algorithm
low power
quantitative measures
neural network
association rules
information systems
theorem prover
data sets
decision trees
programming language
decision rules
linear logic
proof theoretic