3119 search results - page 209 / 624 » General Default Logic |
126
Voted
GLVLSI
2010
IEEE
15 years 5 months ago
2010
IEEE
Researchers are looking for alternatives to overcome the upcoming limits of conventional hardware technologies. Reversible logic thereby established itself as a promising directio...
132
Voted
FSTTCS
1999
Springer
15 years 5 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
107
click to vote
ITC
1995
IEEE
15 years 4 months ago
1995
IEEE
A nalog circuit implementations of fuzzy logic are characterized by performing logical connectives of analog signals. They can be considered as generalization of digital circuits ...
121
Voted
ENTCS
2008
15 years 24 days ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
106
Voted
JAPLL
2008
15 years 22 days ago
2008
A circle graph is the intersection graph of a set of chords of a circle. If a circle graph is prime for the split (or join) decomposition defined by Cunnigham, it has a unique rep...