9739 search results - page 313 / 1948 » Object-Oriented Analysis and Design |
167
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
206
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Design space exploration of multiprocessors on chip requires both automatic performance analysis techniques and efficient multiprocessors configuration performance evaluation. Pr...
171
click to vote
CEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Mining is an important industry in Australia, contributing billions of dollars to the economy. The performance of a processing plant has a large impact on the profitability of a m...
218
click to vote
RSP
2003
IEEE
16 years 20 days ago
2003
IEEE
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...
216
click to vote
DATE
2002
IEEE
16 years 11 days ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...