7580 search results - page 1153 / 1516 » Prometheus design tool |
163
click to vote
ISPD
2005
ACM
16 years 7 days ago
2005
ACM
As thermal problems become more evident, new physical design paradigms and tools are needed to alleviate them. Incorporating thermal vias into integrated circuits (ICs) is a promi...
174
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
202
click to vote
MM
2004
ACM
16 years 2 days ago
2004
ACM
The interactive system which interacts human with computer has been recognized as one direction of computer development for a long time. For example, in cinema, a person gets info...
177
click to vote
PLDI
2004
ACM
16 years 2 days 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...
158
click to vote
SIGECOM
2004
ACM
16 years 2 days ago
2004
ACM
The revelation principle is a cornerstone tool in mechanism design. It states that one can restrict attention, without loss in the designer’s objective, to mechanisms in which A...