4451 search results - page 42 / 891 » On Random Ordering Constraints |
101
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
133
click to vote
COCOA
2008
Springer
15 years 1 months ago
2008
Springer
We introduce a new combinatorial optimization problem, which is a generalization of the Traveling Salesman Problem (TSP) and which we call Traveling Salesman Problem of Second Orde...
MJ
2006
14 years 11 months ago
2006
Surface relief formed by nanoimprinting and etching into a thermally grown SiO2 layer on Si was used to position the initial nuclei formed by chemically vapor deposited Si and Ge....
ASPDAC
2006
ACM
15 years 5 months ago
2006
ACM
Abstract— For scan-based testing, the high test power consumption may cause test power management problems, and the extra scan chain connections may cause routability degradation...
106
click to vote
ISQED
2008
IEEE
15 years 6 months ago
2008
IEEE
The effects of random variations during the manufacturing process on devices can be simulated as a variation of transistor parameters. Device degradation, due to temperature or vo...