121 search results - page 1 / 25 » Synchronous equivalence for embedded systems: a tool for des... |
48
Voted
ICCAD
1999
IEEE
15 years 1 months ago
1999
IEEE
CONCUR
2003
Springer
15 years 2 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...
77
Voted
ECBS
2000
IEEE
15 years 1 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...
76
Voted
ISOLA
2010
Springer
14 years 7 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...
83
Voted
DAC
1999
ACM
15 years 1 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...