Sciweavers

688 search results - page 40 / 138
» Synthesis of Reversible Logic
Sort
View
TVLSI
2010
14 years 11 months ago
A Reverse-Encoding-Based On-Chip Bus Tracer for Efficient Circular-Buffer Utilization
Hardware debuggers and logic analyzers must be able to record a continuous trace of data. Since the trace data are tremendous, to save space, these traces are often compressed. The...
Fu-Ching Yang, Cheng-Lung Chiang, Ing-Jer Huang
GLVLSI
2007
IEEE
139views VLSI» more  GLVLSI 2007»
15 years 11 months ago
Synthesis of irregular combinational functions with large don't care sets
A special logic synthesis problem is considered for Boolean functions which have large don’t care sets and are irregular. Here, a function is considered as irregular if the inpu...
Valentin Gherman, Hans-Joachim Wunderlich, R. D. M...
MCU
1998
154views Hardware» more  MCU 1998»
15 years 6 months ago
A computation-universal two-dimensional 8-state triangular reversible cellular automaton
A reversible cellular automaton (RCA) is a cellular automaton (CA) whose global function is injective and every configuration has at most one predecessor. Margolus showed that the...
Katsunobu Imai, Kenichi Morita
COLING
1996
15 years 6 months ago
Reversible delayed lexical choice in a bidirectional framework
We describe a bidirectional framework for natural language parsing and generation, using a typedfeatureformalismand an HPSG-based grammar with a parser and generator derived from ...
Graham Wilcock, Yuji Matsumoto
130
Voted
CADE
2002
Springer
16 years 5 months ago
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description
Bernd Fischer 0002, Johann Schumann, Michael W. Wh...