Sciweavers

925 search results - page 81 / 185
» Connectivity on Complete Lattices
Sort
View
ASPDAC
2007
ACM
80views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Implementation of a Standby-Power-Free CAM Based on Complementary Ferroelectric-Capacitor Logic
Abstract-- A complementary ferroelectriccapacitor (CFC) logic-circuit style is proposed for a compact and standby-power-free content-addressable memory (CAM). Since the use of the ...
Shoun Matsunaga, Takahiro Hanyu, Hiromitsu Kimura,...
FCCM
2004
IEEE
102views VLSI» more  FCCM 2004»
15 years 10 months ago
Smart Camera Based on Reconfigurable Hardware Enables Diverse Real-Time Applications
We demonstrate the use of a "smart camera" to accelerate two very different image processing applications. The smart camera consists of a high quality video camera and f...
Miriam Leeser, Shawn Miller, Haiqian Yu
AAAI
2008
15 years 8 months ago
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...
Jia-Huai You, Guohua Liu
FLAIRS
2008
15 years 8 months ago
Modelling Uniformity and Control during Knowledge Acquisition
We develop a formal system dealing `spatially' with certain aspects of uniformity and control during knowledge acquisition. To this end, we study an appropriate modality, whi...
Bernhard Heinemann
ASPDAC
2008
ACM
100views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Routability driven modification method of monotonic via assignment for 2-layer Ball Grid Array packages
Ball Grid Array packages in which I/O pins are arranged in a grid array pattern realize a number of connections between chips and a printed circuit board, but it takes much time in...
Yoichi Tomioka, Atsushi Takahashi