5189 search results - page 419 / 1038 » Modeling architectural patterns using architectural primitiv... |
143
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
158
click to vote
SC
2005
ACM
15 years 10 months ago
2005
ACM
Performance prediction across platforms is increasingly important as developers can choose from a wide range of execution platforms. The main challenge remains to perform accurate...
119
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
123
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
167
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...