Sciweavers

3172 search results - page 31 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
CCCG
2009
13 years 8 months ago
On symmetric realizations of the simplicial complex of 3-crossing-free sets of diagonals of the octagon
Motivated by the question of the polytopal realizability of the simplicial complex n,k of (k + 1)-crossing-free sets of diagonals of the convex n-gon, we study the first open case...
Jürgen Bokowski, Vincent Pilaud
ISAAC
2007
Springer
131views Algorithms» more  ISAAC 2007»
14 years 5 months ago
On the Fault Testing for Reversible Circuits
This paper shows that it is NP-hard to generate a minimum complete test set for stuck-at faults on the wires of a reversible circuit. We also show non-trivial lower bounds for the ...
Satoshi Tayu, Shigeru Ito, Shuichi Ueno
FDL
2007
IEEE
14 years 5 months ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
DM
2002
101views more  DM 2002»
13 years 10 months ago
Pseudocomplements of closure operators on posets
Some recent results provide su cient conditions for complete lattices of closure operators on complete lattices, ordered pointwise, to be pseudocomplemented. This paper gives resu...
Francesco Ranzato
DM
1998
54views more  DM 1998»
13 years 10 months ago
On the structure of a random sum-free set of positive integers
Cameron introduced a natural probability measure on the set S of sum-free sets, and asked which sets of sum-free sets have a positive probability of occurring in this probability m...
Neil J. Calkin