1727 search results - page 134 / 346 » A Technique for Large Automated Mechanism Design Problems |
141
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
167
click to vote
SIGADA
1999
Springer
15 years 10 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
212
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
179
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
176
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In many of embedded systems, particularly for those with high data computations, the delay of memory access is one of the major bottlenecks in the system's performance. It ha...