Sciweavers

439 search results - page 8 / 88
» Tabling for transaction logic
Sort
View
ISMVL
1998
IEEE
113views Hardware» more  ISMVL 1998»
14 years 3 months ago
Look-up Tables (LUTs) for Multiple-Valued, Combinational Logic
The use of Look-Up Tables (LUTs) is extended from binary to multiple-valued logic (MVL) circuits. A multiplevalued LUT can be implemented using both current-mode and voltage-mode ...
Ali Sheikholeslami, R. Yoshimura, P. Glenn Gulak
ASPDAC
2006
ACM
95views Hardware» more  ASPDAC 2006»
14 years 4 months ago
A fast logic simulator using a look up table cascade emulator
— This paper shows a new type of a cycle-based logic simulation method using a Look-Up Table (LUT) cascade emulator. The method first transforms a given circuit into LUT cascade...
Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura
ICCAD
2002
IEEE
160views Hardware» more  ICCAD 2002»
14 years 3 months ago
Folding of logic functions and its application to look up table compaction
The paper describes the folding method of logic functions to reduce the size of memories for keeping the functions. The folding is based on the relation of fractions of logic func...
Shinji Kimura, Takashi Horiyama, Masaki Nakanishi,...
AKA
2004
14 years 8 days ago
On Transaction Design for UML Components
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
Sten Loecher
LOPSTR
1997
Springer
14 years 3 months ago
Preserving Termination of Tabled Logic Programs While Unfolding
Michael Leuschel, Bern Martens, Konstantinos F. Sa...