| T. Braun, I. Chrisment, C. Diot, F. Gagnon, L. Gautier, "ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications", Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing (HPDC-5), p.450-459, 1996. |
....based on CSP formalisms, is used to construct a Petri net representation. Using the partial ordering information in the Petri net model, a static scheduled ordinary C program is synthesised (processlevel concurrency is also compiled statically) Other work on software synthesis is presented in [8] (Esterel to C) 7] and [10] Estelle to C) 11] Z to C ) and [12] Esterel to Java) 7] contains a comparison of different Estelle to C C compilers in terms of compile time run time optimisation and in terms of fairness of choices. It shows that some compilers do not allow distributed ....
....and fill in more details in a later stage. Data in POOSL is object oriented and typeless data objects interact by sending messages to each other. Upon reception of such a message, the receiving data object calls a corresponding data method. This method synthesis method [1] 2] 3] 4] 5] 6] 7] [8] [9] specification language LOTOS PSF C like, based on CSP formalisms Estelle Esterel Templated T LOTOS target language C extended C C C C C subset of source language yes yes yes uses OS yes yes no no no yes yes scheduling method static static, uses EDF algorithm to find ....
T. Braun, I. Chrisment, C. Diot, F. Gagnon, L. Gautier, "ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications", Proceedings of the Fifth IEEE International Symposium on High Performance Distributed Computing (HPDC-5), p.450-459, 1996.
....transmission control can be tailored to the characteristics of each ADU. Typically, ADUs are classified into different types corresponding to different transmission protocols. It has been shown that the performance of tailored protocols can be significantly better than that of general protocols [Braun96, Zitterbart93] ALF makes the adaptation of applications to network conditions simpler because of the close collaboration between the application and the transmission control protocols. This is clearly visible in the recently standardized RTP protocol [Rtp96] Because ADUs are independent ....
T. Braun, I. Chrisment, C. Diot, F. Gagnon, L. Gautier, "ALFred, a Protocol Compiler for the Automated Implementation of Distributed Applications", to be published in the proceedings of HPDC-5 symposium. IEEE press. Syracuse. August 6-9 1996.
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