66 search results - page 1 / 14 » Intermediate Predicate Format for Design Automation Tools |
JNIT
2010
13 years 1 days ago
2010
IFM
2009
Springer
13 years 11 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, ...
SAMOS
2004
Springer
13 years 10 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...
RSP
2005
IEEE
13 years 10 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...
RTSS
1994
IEEE
13 years 9 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...