2766 search results - page 44 / 554 » Hybridizing a Logical Framework |
DAC
2006
ACM
14 years 11 months ago
2006
ACM
In this paper, we propose a new linear programming based timing driven placement framework for high performance designs. Our LP framework is mainly net-based, but it takes advanta...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
— The paper introduces novel field programmable gate array (FPGA) circuits based on hybrid CMOS/resistive switching device (memristor) technology and explores several logic archi...
AMR
2005
Springer
14 years 3 months ago
2005
Springer
Large multimedia repositories can be used more effectively by providing a hybrid environment for accomplishing common tasks, such as searching, browsing, presenting and indexing o...
FPGA
1999
ACM
14 years 2 months ago
1999
ACM
The Embedded System Block (ESB) of the APEX20K programmable logic device family from Altera Corporation includes the capability of implementing product term macrocells in addition...