2435 search results - page 19 / 487 » System Exploration of SystemC Designs |
158
click to vote
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
174
click to vote
EDBT
2010
ACM
16 years 21 days ago
2010
ACM
In line with the insight that “one size” of databases will not fit all application needs [19], the database community is currently exploring various alternatives to commodity...
158
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...
140
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
SystemC is emerging as a de-facto standard for system design but it still lacks support for continuous-time models of computation and multi-domain systems. This becomes an issue a...
204
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...