416 search results - page 15 / 84 » A Programming Approach to the Design of Asynchronous Logic B... |
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
IFIP
1993
Springer
14 years 25 days ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
AIIA
1997
Springer
14 years 27 days ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
EUROGP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper we propose an approach to Genetic Programming based on code reuse and we test it in the design of combinational logic circuits at the gate-level. The circui...
CC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...