5085 search results - page 409 / 1017 » Multidimensional Design by Examples |
186
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
Binary Decision Diagrams (BDDs) often fail to exploit sharing between Boolean functions that differ only in their support variables. In a memory circuit, for example, the function...
217
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...
209
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
252
click to vote
KDD
2008
ACM
16 years 8 months ago
2008
ACM
We describe the design and implementation of a high performance cloud that we have used to archive, analyze and mine large distributed data sets. By a cloud, we mean an infrastruc...
160
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Self-calibrating designs are gaining momentum in both the computation and communication worlds. Instead of relying on the worst-case characterisation of design parameters, self-ca...