Configurable logic : a dynamically programmable cellular architecture and its VLSI implementation
At present there are two main paradigms for computation : interpretation of a data stream representing a program by a processing unit (software) and an interconnection of active logic elements (hardware). While both systems can (given reasonable definitions) be shown to be equivalent in terms of whi...
Main Author: | Kean, Thomas Andrew |
---|---|
Published: |
University of Edinburgh
1989
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561614 |
Similar Items
-
Extensions and applications of dynamic epistemic logic
by: Economou, Penelope
Published: (2009) -
The logic of trust
by: Harwood, William
Published: (2012) -
Hoare logic and VDM : machine-checked soundness and completeness proofs
by: Kleymann, Thomas
Published: (1998) -
Compositional logic programming
by: McPhee, Richard
Published: (2000) -
Abstract hoare logic
by: Mathiesen, Erik Arne
Published: (2007)