See this document in CiteSeerX!

An Approach to Interface Synthesis  (Make Corrections)  (26 citations)
Jan Madsen, Bjarne Hald



  Home/Search   Context   Related

Links:   ACM

 
View or download:
it.dtu.dk/~jan/Pub...isss95.paper.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  it.dtu.dk/~jan/Publications/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper present a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a channel to existing client/server modules, we consider the interface synthesis as part of the client/server module synthesis (which may contain the re-use of existing modules) . The interface synthesis approach describes the basic transformations needed to transform the server interface description into an interface... (Update)

Cited by:   More
Annotated Data Type Declarations for Bus Interface Synthesis - Gordon Cichon Institute (2000)   (Correct)
Design Automation for Embedded Systems, X, xx--xx (2000) - Interlanguage..   (Correct)
Protocol Selection and Interface Generation for HW-SW.. - Daveau, Marchioro.. (1997)   (Correct)

Active bibliography (related documents):   More   All
0.6:   LYCOS: the Lyngby Co-Synthesis System - Madsen, Grode, Knudsen, Petersen, .. (1997)   (Correct)
0.3:   A Flexible Architecture Representation for High Level Synthesis - Hald, Madsen (1994)   (Correct)
0.3:   Analysis of Different Protocol Descriptions Styles .. - Pirmez, Pedroza.. (1996)   (Correct)

Similar documents based on text:   More   All
0.1:   The wle Package - March Topics Documented   (Correct)
0.1:   Integrated Multi-Frequency Polarimetric And.. - Van Zyl, Chu.. (1997)   (Correct)
0.1:   The Kosterlitz-Thouless transition and one-sided.. - Kupferman, Chorin (1998)   (Correct)

Related documents from co-citation:   More   All
9:   Synthesis of concurrent system interface modules with automatic protocol convers.. - Lin, Vercauteren - 1994
8:   Specification and Design of Embedded Systems (context) - Gajski, Vahid et al. - 1994
8:   Interfacing incompatible protocols using interface process generation (context) - Narayan, Gajski - 1995

BibTeX entry:   (Update)

Jan Madsen, Bjarne Hald: "An Approach to Interface Synthesis". Proceedings of the 8th International Symposium of System Synthesis, ISSS'95. http://citeseer.ist.psu.edu/16819.html   More

@misc{ madsen-approach,
  author = "J. Madsen and B. Hald",
  title = "An Approach to Interface Synthesis",
  text = "Jan Madsen, Bjarne Hald: An Approach to Interface Synthesis. Proceedings
    of the 8th International Symposium of System Synthesis, ISSS'95.",
  url = "citeseer.ist.psu.edu/16819.html" }
Citations (may not include all citations):
18   Interface optimization for concurrent systems under timing c.. - Filo, Ku et al. - 1993
16   software cosynthesis for microcontrollers (context) - Ernst, Henkel et al. - 1993
16   software partitioning and minimizing memory interface traffi.. (context) - Jantsch, Ellervee et al. - 1994
9   Protocol generation for communication channels (context) - Narayan, Gajski - 1994  ACM   DBLP
4   Towards a theory for hardware/software codesign (context) - Voss, Ismail et al. - 1994
3   Amical: Architectural synthesis based on vhdl (context) - Park, O'Brien et al. - 1993  DBLP
2   A flexible architecture representation for high-level synthe.. - Hald, Madsen - 1994
1   local phase driven algorithme for the constrained hardware/s.. (context) - Kalavade, Lee et al. - 1994
1   Synthesis of interface transducer logic (context) - Boriello, Katz - 1987



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.it.dtu.dk/~jan/Publications/):   More
LYCOS: the Lyngby Co-Synthesis System - Madsen, Grode, Knudsen, Petersen, .. (1997)   (Correct)
PACE: A Dynamic Programming Algorithm for Hardware/Software.. - Knudsen, Madsen (1996)   (Correct)
A Codesign Case Study in Computer Graphics - Jens Brage (1994)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC