Sciweavers

2076 search results - page 173 / 416
» Functional logic overloading
Sort
View
88
Voted
ISMVL
1993
IEEE
90views Hardware» more  ISMVL 1993»
15 years 7 months ago
Current-Mode CMOS Galois Field Circuits
Use of current-mode CMOS circuitsfor implementation of multiple-valued logic (MVL)functions has been considered in a number of recent papers. In this paper, we present an applicat...
Zeljko Zilic, Zvonko G. Vranesic
153
Voted
CORR
2004
Springer
97views Education» more  CORR 2004»
15 years 3 months ago
Quantum typing
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...
Benoît Valiron
159
Voted
AAMAS
2011
Springer
14 years 7 months ago
Declarative programming for agent applications
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
John W. Lloyd, Kee Siong Ng
126
Voted
GLVLSI
2007
IEEE
171views VLSI» more  GLVLSI 2007»
15 years 9 months ago
Combinational equivalence checking for threshold logic circuits
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...
Tejaswi Gowda, Sarma B. K. Vrudhula, Goran Konjevo...
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
15 years 7 months ago
Aristotle and object-oriented programming: why modern students need traditional logic
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Derek Rayside, Gerard T. Campbell