| Jan Vytopil - 1991 - 636 דפים
...Gautier. Signal: A data flow oriented language for signal processing. IEEE-ASSP, 34(2):362-374, 1986. [13] P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire....applications with SIGNAL. Proceedings of the IEEE, Special Issue on Synchronous Programming. To appear, 1991. [14] J. Plaice. Nested clocks: The LUSTRE... | |
| Baudouin LeCharlier - 1994 - 474 דפים
...[Kar76] M. Karr. Affine relationships among variables of a program. Acta Informatica, 6:133-151, 1976. [LGLL91] P. LeGuernic, T. Gautier, M. LeBorgne, and...Proceedings of the IEEE, 79(9):13211336, September 1991. [Mar92] F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions.... | |
| Alan J. Hu - 1998 - 568 דפים
...Development. FZI-Publikation 940001, ISSN 0944-3037, Forschungszentrum Informatik, Karlsruhe, 1994. [LGLL91] P. LeGuernic, T. Gautier, M. LeBorgne, and...Proceedings of the IEEE, 79(9):13211336, September 1991. [LHR97] D. Lesens, N. Halbwachs, and P. Raymond. Automatic verification of parameterized linear networks... | |
| |