8825 search results - page 120 / 1765 » All for one or one for all |
SOFSEM
2007
Springer
15 years 7 months ago
2007
Springer
We study two aspects of a generalization of the Tower of Hanoi puzzle. In 1981, D. Wood suggested its variant, where a bigger disk may be placed higher than a smaller one if their ...
108
click to vote
SSS
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
WG
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The computation of all minimal transversals of a given hypergraph in output-polynomial time is a long standing open question known as the transversal hypergraph generatio...
100
click to vote
CCECE
2006
IEEE
15 years 7 months ago
2006
IEEE
— In this paper, we study a cooperative network with one source-destination pair and a relay assisting their communication. All terminals have multiple antennas, which enables th...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...