2503 search results - page 285 / 501 » A study of 3-arc graphs |
145
click to vote
SOFSEM
2007
Springer
16 years 7 days 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 ...
165
Voted
ISSRE
2006
IEEE
16 years 4 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
175
click to vote
LICS
2006
IEEE
16 years 4 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
141
click to vote
ASPDAC
2006
ACM
16 years 3 days ago
2006
ACM
- Reducing the yield loss due to via failure is one of the important problems in design for manufacturability. A well known and highly recommended method to improve via yield/relia...
168
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...