Performance modelling of a network processor using POOSL-Reference-Cited by-同舟云学术

Performance modelling of a network processor using POOSL

Published:2003-04 Issue:5 Volume:41 Page:667-684
ISSN:1389-1286
Container-title:Computer Networks
language:en
Short-container-title:Computer Networks

Author:

Theelen B.D.,Voeten J.P.M.,Kramer R.D.J.

Publisher

Elsevier BV

Subject

Computer Networks and Communications

Reference29 articles.

1. G. Berry, The Esterel Language Primer (Version 5.20, Release 2.0), Ecole des Mines and INRIA, Sophia-Antipolis, France, 1999

2. L.J. van Bokhoven, Contructive tool design for formal languages: from semantics to executing models, PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2002

3. The Esterel language;Boussinot;Proceedings of the IEEE,1991

4. M. Bütow, M. Mestern, C. Schapiro, P.S. Kritzinger, Performance modelling with the formal specification language SDL, in: R. Gotzhein, J. Bredereke (Eds.), Proceedings of the International Conference on Formal Description Techniques; Theory, Application and Tools, Chapman and Hall, London, 1996, pp. 213–228

5. M.C.W. Geilen, Formal techniques for verification of complex real-time systems. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2002

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Performance Evaluation for Collision Prevention Based on a Domain Specific Language;Computer Performance Engineering;2013

2. Software/Hardware Engineering with the Parallel Object-Oriented Specification Language;2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007);2007-05

3. Predictable real-time software synthesis;Real-Time Systems;2007-03-28

4. Predictability in Real-Time System Development;Advances in Design and Specification Languages for SoCs;2005

5. Platform-Independent Design for Embedded Real-Time Systems;Languages for System Specification;2004