7597 search results - page 123 / 1520 » On the design of metric relations |
130
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Current design automation methodologies are becoming incapable of achieving design closure especially in the presence of deep submicron effects. This paper addresses the issue of ...
170
click to vote
PLDI
2004
ACM
15 years 12 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
130
click to vote
METRICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Design patterns are recognized, named solutions to common design problems. The use of the most commonly referenced design patterns should promote adaptable and reusable program co...
173
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
165
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract – This paper considers a design of signal constellations for trans-modulation (constellation rearrangement: CoRe) in a relay system with the multiple links in which the ...