|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Fifh IEEE International Symposium on High Performance Distributed Computing (HPDC-5 '96)
ALFred, a protocol compiler for the automated implementation of distributed applications
Syracuse, New York
August 06-August 09
ISBN: 0-8186-7582-9
| ASCII Text | x | ||
| T. Braun, I. Chrisment, C. Diot, F. Gagnon, L. Gautier, "ALFred, a protocol compiler for the automated implementation of distributed applications," High-Performance Distributed Computing, International Symposium on, pp. 450, Fifh IEEE International Symposium on High Performance Distributed Computing (HPDC-5 '96), 1996. | |||
| BibTex | x | ||
| @article{ 10.1109/HPDC.1996.546216, author = {T. Braun and I. Chrisment and C. Diot and F. Gagnon and L. Gautier}, title = {ALFred, a protocol compiler for the automated implementation of distributed applications}, journal ={High-Performance Distributed Computing, International Symposium on}, volume = {0}, year = {1996}, issn = {1082-8907}, pages = {450}, doi = {http://doi.ieeecomputersociety.org/10.1109/HPDC.1996.546216}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - High-Performance Distributed Computing, International Symposium on TI - ALFred, a protocol compiler for the automated implementation of distributed applications SN - 1082-8907 SP EP A1 - T. Braun, A1 - I. Chrisment, A1 - C. Diot, A1 - F. Gagnon, A1 - L. Gautier, PY - 1996 KW - program compilers; protocols; software prototyping; formal specification; specification languages; software performance evaluation; data handling; distributed processing; protocol compiler; ALFred; distributed applications; software prototyping; software design; formal specification; ESTEREL; end-to-end communication functions; high performance implementation; communication architecture; control compiler; ALF compiler; data manipulation compiler; ILP compiler; high performance communication architectures VL - 0 JA - High-Performance Distributed Computing, International Symposium on ER - | |||
This paper describes the design and the prototyping of a compiling tool for the automated implementation of distributed applications: ALFred. This compiler starts from the formal specification of an application written in ESTEREL and then integrates end-to-end communication functions tailored to the application characteristics (described in the specification); it finally produces a high performance implementation. The paper describes the communication architecture associated with the approach. The compiler consists of a control compiler, also called ALF compiler, and a data manipulation compiler (the ILP compiler) that combines data manipulation functions in an efficient way (the ILP loop). The ALFred compiler has been designed to allow the development and the analysis of non-layered high performance communication architectures based on ALF and ILP.
Index Terms:
program compilers; protocols; software prototyping; formal specification; specification languages; software performance evaluation; data handling; distributed processing; protocol compiler; ALFred; distributed applications; software prototyping; software design; formal specification; ESTEREL; end-to-end communication functions; high performance implementation; communication architecture; control compiler; ALF compiler; data manipulation compiler; ILP compiler; high performance communication architectures
Citation:
T. Braun, I. Chrisment, C. Diot, F. Gagnon, L. Gautier, "ALFred, a protocol compiler for the automated implementation of distributed applications," hpdc, pp.450, Fifh IEEE International Symposium on High Performance Distributed Computing (HPDC-5 '96), 1996
Usage of this product signifies your acceptance of the Terms of Use.