1617 search results - page 174 / 324 » Modeling and evaluation of hardware software designs |
163
click to vote
CODES
2008
IEEE
16 years 29 days ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
178
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Data quality is critical for many information-intensive applications. One of the best opportunities to improve data quality is during entry. USHER provides a theoretical, data-dri...
204
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
156
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents an equation-based resource utilization model for automatically generated discrete Fourier transform (DFT) soft core IPs. The parameterized DFT IP generator all...
190
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...