122
click to vote
ICCS
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
149
Voted
ICCD
2000
IEEE
15 years 7 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
142
Voted
ICCAD
2000
IEEE
15 years 7 months ago
2000
IEEE
ct Static timing analysis has traditionally used the PERT method for identifying the critical path of a digital circuit. Due to the influence of the slope of a signal at a particul...
126
click to vote
ICC
2000
IEEE
15 years 7 months ago
2000
IEEE
Structurally distinct constellation labelings exist within both the Gray code and the set-partitioning paradigm. Different labeling choices within either paradigm can provide diffe...