121 search results - page 1 / 25 » Synchronous equivalence for embedded systems: a tool for des... |
ICCAD
1999
IEEE
13 years 9 months ago
1999
IEEE
CONCUR
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
ECBS
2000
IEEE
13 years 10 months ago
2000
IEEE
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
DAC
1999
ACM
13 years 9 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...