66 search results - page 1 / 14 » Intermediate Predicate Format for Design Automation Tools |
65
Voted
JNIT
2010
14 years 10 months ago
2010
116
Voted
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
166
Voted
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
129
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
118
click to vote
RTSS
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...