Sciweavers

5506 search results - page 100 / 1102
» Minimal Logic Programs
Sort
View
97
Voted
ISMVL
2010
IEEE
174views Hardware» more  ISMVL 2010»
15 years 5 months ago
Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits
—Fixed-point multiplication architectures are designed and evaluated using a set of logic cells based on a radix-4, quaternary number system. The library of logic circuits is bas...
Satyendra R. Datla, Mitchell A. Thornton
105
Voted
ICCAD
1999
IEEE
96views Hardware» more  ICCAD 1999»
15 years 5 months ago
Implication graph based domino logic synthesis
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
Ki-Wook Kim, C. L. Liu, Sung-Mo Kang
189
Voted
POPL
2009
ACM
16 years 1 months ago
A foundation for flow-based program matching: using temporal logic and model checking
Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...
IEEESCC
2005
IEEE
15 years 6 months ago
Abacus: A Service-Oriented Programming Language for Grid Applications
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...
Xiaoning Wang, Lijuan Xiao, Wei Li, Zhiwei Xu
96
Voted
AAAI
2004
15 years 2 months ago
On Odd and Even Cycles in Normal Logic Programs
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
Fangzhen Lin, Xishun Zhao