Synchronization of periodic clocks

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 339-342

  Cohen, Albert ^a   Pagetti, Claire ^a   Duranton, Marc ^b   Plateau, Florence ^c   Eisenbeis, Christine ^a   Pouzet, Marc ^c  

^a INRIA   (France)

^b Pilips Research Laboratories   (Netherlands)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Correctness by construction; High performance video streaming; Synchronous language; Type inference and sub typing

Indexed keywords

BUFFER STORAGE; COMPUTER PROGRAMMING; DATA ACQUISITION; HIGH DEFINITION TELEVISION; MATHEMATICAL MODELS; VIDEO SIGNAL PROCESSING;

CORRECTNESS BY CONSTRUCTION; HIGH-PERFORMANCE VIDEO STREAMING; SYNCHRONOUS LANGUAGE; TYPE INFERENCE AND SUB-TYPING;

SYNCHRONIZATION;

EID: 29244450155     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086289     Document Type: Conference Paper

References (13)

1. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The Synchronous Languages Twelve Years Later. Proceedings of the IEEE. 91(1):64-83, 2003.
2. J.-Y. Brunel, W. M. Kruijtzer, H. J. H. N. Renter, F. Pétrot, L. Pasquier, E. A. de Kock, and W. J. M. Smits. Cosy communication IP's. In 37th Design Automation Conference (DAC2000), pages 406-409, Los Angeles, CA. June 2000.
3. J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A framework for simulating and prototyping heterogenous systems. Int. Journal in Computer Simulation, 4(2): 155-182, 1994.
4. Z.S. Chamski, M. Duranton, A. Cohen, C. Eisenbeis, P. Feautrier, and D. Genius. Application-domain-driven system design for pervasive video processing. Ambient intelligence: impact on embedded system design, pages 251-270, 2003.
5. A. Cohen, M. Duranton, C. Eisenbeis, C. Pagetti, and M. Pouzet. Synchronizing periodic clocks in kahn networks. Technical Report 5603, INRIA, June 2005. http://www.inria.fr/rrrt/rr-5603.html.
6. J.-L. Colaço, A. Girault, G. Hamon, and M. Pouzet. Towards a Higher-order Synchronous Data-flov Language. In EMSOFT'04, Pisa, Italy, September 2004.
7. J.-L. Colaço and M. Pouzet. Clocks as first class abstract types. In Rajeev Alur and Insup Lee, editors, EMSOFT'03, volume 2855 of Lecture Notes in Computer Science, pages 134-155. Springer, 2003.
8. E. A. de Kock, G. Essink, W. J. M. Smits, P. van der Wolf, J.-Y. Brunel, W. M. Kruijtzer, P. Lieverse, and K. A. Vissers. Yapi: Application modeling for signal processing systems. In 37th Design Automation Conference, Los Angeles, CA, June 2000. ACM Press.
9. K. Goossens, G. Prakash, J. Röver, and A. P. Niranjan. Interconnect and memory organization in SOCs for advanced set-top boxes and TV evolution, analysis, and trends. In Jari Nurmi, Hannu Tenhunen, Jouni Isoaho, and Axel Jantsch, editors, Interconnect-Centric Design for Advanced SoC and NoC, chapter 15, pages 399-423. Kluwer, April 2004.
10. G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information processing, pages 471-475, Stockholm, Sweden, Aug 1974. North Holland, Amsterdam.
11. A.J.M. Moonen, M. Bekooij, and J. van Meerbergen. Timing analysis model for network based multiprocessor systems. In proceedings of ProRISC, 15th annual Workshop of Circuits, System and Signal Processing, pages pages 91 - 99, Veldhoven, The Netherlands, November 2004. ISBN: 90-73461-43-X.
12. B.C. Pierce. Types and Programming Languages. MIT Press, 2002.
13. J. E. Vuillemin. On circuits and numbers. IEEE Trans. Comput., 43(8):868-879, 1994.