{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:09:14Z","timestamp":1725538154888},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042836"},{"type":"electronic","value":"9783642042843"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04284-3_8","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T17:55:48Z","timestamp":1252950948000},"page":"77-88","source":"Crossref","is-referenced-by-count":3,"title":["Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices"],"prefix":"10.1007","author":[{"given":"Amal","family":"Banerjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Gerstlauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/BFb0084804","volume-title":"CONCUR \u201992","author":"H.B. Weinberg","year":"1992","unstructured":"Weinberg, H.B., Zuck, L.D.: Timed Ethernet: Real-Time Formal Specification of Ethernet. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, pp. 370\u2013385. Springer, Heidelberg (1992)"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","volume":"28","author":"G. Bochmann","year":"1980","unstructured":"Bochmann, G., Sunshine, C.: Formal Methods in Communication Protocol Design. IEEE Transactions on Communications\u00a028(4), 624\u2013631 (1980)","journal-title":"IEEE Transactions on Communications"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-30494-4_5","volume-title":"Formal Methods in Computer-Aided Design","author":"J. Schmaltz","year":"2004","unstructured":"Schmaltz, J., Borrione, D.: A Functional Approach to the Formal Specification of Networks on Chip. In: Hu, A.J., Martin, A.K. (eds.) FMCAD 2004. LNCS, vol.\u00a03312, pp. 52\u201366. Springer, Heidelberg (2004)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Georges, J.-P., Rondeau, E., Divoux, T.: Evaluation of Switched Ethernet in an Industrial Context using Network Calculus. In: 4th IEEE International Workshop on Factory Communication Systems, Vasteras, Sweden (August 2002)","DOI":"10.1109\/WFCS.2002.1159696"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-540-31966-5_11","volume-title":"Passive and Active Network Measurement","author":"S. Shalunov","year":"2005","unstructured":"Shalunov, S., Carlson, R.: Detecting Duplex Mismatch on Ethernet. In: Dovrolis, C. (ed.) PAM 2005. LNCS, vol.\u00a03431, pp. 135\u2013148. Springer, Heidelberg (2005)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Cai, L., Gajski, D.: Transaction Level Modeling: An Overview. In: Proceedings of the 1st International Conference on Hardware\/Software Codesign and System Synthesis (2003)","DOI":"10.1145\/944645.944651"},{"key":"8_CR7","unstructured":"Moussa, I., Grellier, T., Nguyen, G.: Exploring SW Performance using SoC Transaction-Level Modeling. In: Design, Automation and Test in Europe (2003)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Klingauf, W., G\u00fcnzel, R., Bringmann, O., Partfuntseu, P., Burton, M.: GreenBus: A Generic Interconnect Framework for Transaction Level Modeling. In: Design Automation Conference (2006)","DOI":"10.1109\/DAC.2006.229410"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Wieferink, A., Kogel, T., Leupers, R., Ascheid, G., Meyr, H., Braun, G., Nohl, A.: A System Level Processor\/Communication Co-Exploration Methodology for Multiprocessor System-on-Chip Platforms. In: Design, Automation and Test in Europe (2004)","DOI":"10.1049\/ip-cdt:20045058"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Schirner, G., Doemer, R.: Fast and Accurate Transaction Level Models using Result Oriented Modeling. In: International Conference on Computer Aided Design (2006)","DOI":"10.1109\/ICCAD.2006.320059"},{"issue":"7","key":"8_CR11","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1145\/360248.360253","volume":"19","author":"R.M. Metcalfe","year":"1976","unstructured":"Metcalfe, R.M., Boggs, D.R.: Ethernet: Distributed Packet Switching for Local Computer Networks. Communications of the ACM\u00a019(7), 395\u2013404 (1976)","journal-title":"Communications of the ACM"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Floyd, S. and Jacobson, V.: Random Early Detection Gateways for Congestion Avoidance. IEEE\/ACM Transaction on Networking, 1993.","DOI":"10.1109\/90.251892"},{"issue":"7","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1203","DOI":"10.1109\/26.935161","volume":"49","author":"A. Karasaridis","year":"2001","unstructured":"Karasaridis, A., Hatzinakos, D.: Network Heavy Traffic Modeling using Alpha-Stable Self-Similar Processes. IEEE Transactions on Communications\u00a049(7), 1203\u20131214 (2001)","journal-title":"IEEE Transactions on Communications"},{"key":"8_CR14","unstructured":"Caldari, M., Conti, M., Coppola, M., Curaba, S., Pieralisi, L., Turchetti, C.: Transaction Level Models for AMBA Bus Architecture Using SystemC. In: Design, Automation and Test in Europe: Designers\u2019 Forum (2003)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Schirner, G., Doemer, R.: Quantitative Analysis of Transaction Level Models for the AMBA Bus. In: Design, Automation and Test in Europe (2006)","DOI":"10.1109\/DATE.2006.244108"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Pasricha, S., Dutt, N., Ben-Romdhane, M.: Extending the Transaction Level Modeling Approach for Fast Communicating Architecture Exploration. In: Design Automation Conference (2004)","DOI":"10.1145\/996566.996603"},{"key":"8_CR17","unstructured":"Xu, S., And Pollit-Smith, H.: A TLM Platform for System-on-Chip Simulation and Verification. In: VLSI Design, Automation and Test (April 2005)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Bombieri, N., Fummi, F., Quaglia, D.: TLM\/Network Design Space Exploration for Networked Embedded Systems. In: International Conference on Hardware\/Software Codesign and System Synthesis (2006)","DOI":"10.1145\/1176254.1176271"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Andrews, M., Kumaran, K., Ramanan, K., Stolyar, A., Whiting, P., Vijaykumar, R.: Providing Quality of Service Over Shared Wireless Link. IEEE Communications (February 2001)","DOI":"10.1109\/35.900644"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Bonivento, A., Carloni, L., Sangiovanni-Vincentelli, A.: Platform-Based Design for Wireless Sensor Networks. Mobile Networks and Applications\u00a011(4) (August 2006)","DOI":"10.1007\/s11036-006-7194-1"},{"key":"8_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6","volume-title":"SpecC: Specification Language and Methdology","author":"D. Gajski","year":"2000","unstructured":"Gajski, D., Zhu, J., Doemer, R., Gerstlauer, A., Zhao, S.: SpecC: Specification Language and Methdology. Kluwer, Dordrecht (2000)"},{"key":"8_CR22","unstructured":"The Network Simulator ns-2, http:\/\/www.isi.edu\/nsnam\/ns"},{"key":"8_CR23","unstructured":"OPNET Technologies, Inc.: OPNET Modeler, http:\/\/www.opnet.com"},{"key":"8_CR24","unstructured":"OMNet++, http:\/\/www.omnetpp.org"}],"container-title":["IFIP Advances in Information and Communication Technology","Analysis, Architectures and Modelling of Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04284-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:20:06Z","timestamp":1558538406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04284-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042836","9783642042843"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04284-3_8","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2009]]}}}