{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T14:29:21Z","timestamp":1673101761776},"reference-count":29,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1016\/s1389-1286(02)00455-3","type":"journal-article","created":{"date-parts":[[2003,2,17]],"date-time":"2003-02-17T18:07:53Z","timestamp":1045505273000},"page":"667-684","source":"Crossref","is-referenced-by-count":11,"title":["Performance modelling of a network processor using POOSL"],"prefix":"10.1016","volume":"41","author":[{"given":"B.D.","family":"Theelen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.P.M.","family":"Voeten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.D.J.","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(02)00455-3_BIB1","unstructured":"G. Berry, The Esterel Language Primer (Version 5.20, Release 2.0), Ecole des Mines and INRIA, Sophia-Antipolis, France, 1999"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB2","unstructured":"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"},{"issue":"9","key":"10.1016\/S1389-1286(02)00455-3_BIB3","doi-asserted-by":"crossref","first-page":"1293","DOI":"10.1109\/5.97299","article-title":"The Esterel language","volume":"79","author":"Boussinot","year":"1991","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB4","doi-asserted-by":"crossref","unstructured":"M. B\u00fctow, 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\u2013228","DOI":"10.1007\/978-0-387-35079-0_13"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB5","unstructured":"M.C.W. Geilen, Formal techniques for verification of complex real-time systems. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2002"},{"issue":"3","key":"10.1016\/S1389-1286(02)00455-3_BIB6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0096-0551(01)00014-5","article-title":"Object-oriented modelling and specification using SHE","volume":"27","author":"Geilen","year":"2001","journal-title":"Journal of Computer Languages"},{"issue":"1","key":"10.1016\/S1389-1286(02)00455-3_BIB7","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/6.901145","article-title":"The new chips on the block","volume":"38","author":"Geppert","year":"2001","journal-title":"IEEE Spectrum"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB8","unstructured":"J. He, M.B. Josephs, C.A.R. Hoare, A theory of synchrony and asynchrony, in: M. Broy, C.B. Jones (Eds.), Proceedings of the IFIP Working Conference on Programming Concepts and Methods (Sea of Galilee, Israel, April 2\u20135), North-Holland, Amsterdam, 1990, pp. 459\u2013478"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB9","unstructured":"IBM, Blue Logic ASIC Cores. From: http:\/\/www.chips.ibm.com\/products\/asics\/producst\/cores"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB10","unstructured":"IBM, The CoreConnect Bus Architecture. From: http:\/\/www.chips.ibm.com\/products\/coreconnect, 1999. White paper"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB11","unstructured":"IBM, On-chip Peripheral Bus; Architecture Specifications. From: http:\/\/www-3.ibm.com\/chips\/techlib\/techlib.nsf\/productfamilies\/CoreConnect_Bus_Architecture 2001. Document SA-14-2528-02"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB12","series-title":"Simulation Modeling and Analysis","author":"Law","year":"2000"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB13","series-title":"Protocol Specification, Testing and Verification XV","first-page":"19","article-title":"Specifying real-time requirements for SDL specifications\u2013\u2013a temporal logic-based approach","author":"Leue","year":"1997"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB14","doi-asserted-by":"crossref","unstructured":"M. Malek, PerfSDL: interface to protocol performance analysis by means of simulation, in: R. Dssoul, G.V. Bochman, Y. Lahav (Eds.), Proceedings of SDL\u201999 (Montreal, Canada, June 21\u201325), Elsevier Science, Amsterdam, 1999, pp. 441\u2013455","DOI":"10.1016\/B978-044450228-5\/50029-1"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB15","doi-asserted-by":"crossref","unstructured":"W. M\u00fcller, J. Ruf, D. Hoffman, J. Gerlach, T. Kropf, W. Rosenstiehl, The simulation semantics of SystemC, in: Proceedings of the DATE 2001 Conference on Design Automation and Test in Europe (Munich, Germany, March 13\u201316), IEEE Computer Society, Los Alamitos, CA, 2001, pp. 64\u201370","DOI":"10.1109\/DATE.2001.915002"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB16","unstructured":"K. Narfelt, SYSDAX: an object-oriented design methodology based on SDL, in: R. Saracco, P. Tilanus (Eds.), Proceedings of SDL\u201987: State of the Art and Future Trends, North-Holland, Amsterdam, 1987, pp. 247\u2013254"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB17","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, An overview and synthesis on timed process algebras, in: K. Larsen, A. Skou, (Eds.), Proceeding of the 3rd International Workshop on Computer Aided Verification (CAV\u201991) (\u00c5lborg, Denmark, July 1\u20134), Springer, Berlin, 1991, pp. 376\u2013398","DOI":"10.1007\/3-540-55179-4_36"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB18","doi-asserted-by":"crossref","unstructured":"P.R. Panda, SystemC\u2013\u2013a modeling platform supporting multiple design abstractions, in: Proceedings of the International Symposium on System Synthesis 2001 (ISSS\u201901) (Montr\u00e9al, Qu\u00e9., Canada, October 1\u20133), ACM Press, New York, 2001, pp. 75\u201380","DOI":"10.1109\/ISSS.2001.957916"},{"issue":"1","key":"10.1016\/S1389-1286(02)00455-3_BIB19","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1109\/35.978060","article-title":"On credability of simulation studies of telecommunication networks","volume":"40","author":"Pawlikowski","year":"2002","journal-title":"IEEE Communications Magazine"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB20","unstructured":"P.H.A. van der Putten, J.P.M. Voeten, Specification of reactive hardware\/software systems, PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 1997"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB21","series-title":"Real-Time Object-Oriented Modelling","author":"Selic","year":"1994"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB22","unstructured":"B.D. Theelen, P.H.A. van der Putten, J.P.M. Voeten, Using the SHE method for UML-based performance modelling, in: Proceedings of the Forum on Specification and Design Language 2002 (FDL\u201902) (Marseille, France, September 24\u201327), ECSI, Gieres, France, 2002"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB23","unstructured":"B.D. Theelen, J.P.M. Voeten, L.J. van Bokhoven, P.H.A. van der Putten, A.M.M. Niemegeers, G.G. Jong, Performance modeling in the large: a case study, in: N. Giambiasi, C. Frydman (Eds.), Proceedings of the 13th European Simulation Symposium (ESS\u201901) (Marseille, France, October 18\u201321), SCS-Europe, Ghent, Belgium, 2001, pp. 174\u2013181"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB24","unstructured":"B.D. Theelen, J.P.M. Voeten, Y. Pribadi, Accuracy analysis of long-run average performance metrics, in: F. Karelse (Ed.), Proceedings of PROGRESS\u201901 (Veldhoven, The Netherlands, October 18), STW Technology Foundation, Utrecht, The Netherlands, 2001, pp. 261\u2013269"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB25","series-title":"Stochastic Models; An Algorithmic Approach","author":"Tijms","year":"1994"},{"issue":"12","key":"10.1016\/S1389-1286(02)00455-3_BIB26","doi-asserted-by":"crossref","first-page":"1533","DOI":"10.1016\/S0967-0661(99)00127-6","article-title":"Performance evaluation of a multithreaded RTS using a synchronous reactive model","volume":"7","author":"Velderruten","year":"1999","journal-title":"Control Engineering Practice"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB27","doi-asserted-by":"crossref","unstructured":"M. Verhappen, P.H.A. van der Putten, J.P.M. Voeten, On the fundamental design gap in terabit per second packet switching, in: M. Edwards (Ed.), Proceedings of the Euromicro Symposium on Digital System Design (DSD) 2002 (Dortmund, Germany, September 4\u20136), IEEE Computer Society, Los Alamitos, CA, 2002, pp. 371\u2013378","DOI":"10.1109\/DSD.2002.1115394"},{"issue":"2\/3","key":"10.1016\/S1389-1286(02)00455-3_BIB28","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0166-5316(02)00105-0","article-title":"Performance evaluation with temporal rewards","volume":"50","author":"Voeten","year":"2002","journal-title":"Performance Evaluation"},{"key":"10.1016\/S1389-1286(02)00455-3_BIB29","unstructured":"ITU-T Recommendation Z.100, Specification and Description Language (SDL), November 1999"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128602004553?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128602004553?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,12]],"date-time":"2020-03-12T06:47:57Z","timestamp":1583995677000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128602004553"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["S1389128602004553"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(02)00455-3","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}