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