{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:36:47Z","timestamp":1725557807693},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135491"},{"type":"electronic","value":"9783642135507"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13550-7_15","type":"book-chapter","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T15:14:12Z","timestamp":1276614852000},"page":"208-221","source":"Crossref","is-referenced-by-count":4,"title":["AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada\u00a02005"],"prefix":"10.1007","author":[{"given":"Gingun","family":"Hong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kirak","family":"Hong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Burgstaller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johann","family":"Blieberger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"AdaStreams Web Site, http:\/\/elc.yonsei.ac.kr"},{"issue":"2","key":"15_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MM.2006.45","volume":"26","author":"J. Andrews","year":"2006","unstructured":"Andrews, J., Baker, N.: Xbox 360 System Architecture. IEEE Micro\u00a026(2), 25\u201337 (2006)","journal-title":"IEEE Micro"},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jsco.2001.0494","volume":"33","author":"C. Bauer","year":"2002","unstructured":"Bauer, C., Frink, A., Kreckel, R.: Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language. J. Symb. Comput.\u00a033(1), 1\u201312 (2002)","journal-title":"J. Symb. Comput."},{"key":"15_CR4","first-page":"311","volume":"16","author":"F. Belina","year":"1989","unstructured":"Belina, F., Hogrefe, D.: The CCITT-Specification and Description Language SDL. Computer Networks\u00a016, 311\u2013341 (1989)","journal-title":"Computer Networks"},{"issue":"2","key":"15_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program.\u00a019(2), 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"key":"15_CR6","volume-title":"Computer Systems: A Programmer\u2019s Perspective","author":"R.E. Bryant","year":"2003","unstructured":"Bryant, R.E., O\u2019Halloran, D.R.: Computer Systems: A Programmer\u2019s Perspective. Prentice-Hall, Englewood Cliffs (2003)"},{"key":"15_CR7","volume-title":"PThreads Programming","author":"D. Buttlar","year":"1996","unstructured":"Buttlar, D., Farrell, J., Nichols, B.: PThreads Programming. O\u2019Reilly, Sebastopol (1996)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: Lustre: A Declarative Language for Programming Synchronous Systems. In: POPL 1987, pp. 178\u2013188 (1987)","DOI":"10.1145\/41625.41641"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Hong, G., Hong, K., Burgstaller, B., Blieberger, J.: AdaStreams: A Type-based Programming Extension for Stream-Parallelism with Ada 2005. Technical Report TR-0003, ELC Lab, Dept.\u00a0of Computer Science, Yonsei University, Seoul, Korea (March 2010), http:\/\/elc.yonsei.ac.kr","DOI":"10.1007\/978-3-642-13550-7_15"},{"key":"15_CR10","unstructured":"Google. The Go Programming Language Specification, http:\/\/golang.org (retrieved November 2009)"},{"key":"15_CR11","volume-title":"The Art of Multiprocessor Programming","author":"M. Herlihy","year":"2008","unstructured":"Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming. Morgan Kaufmann, San Francisco (2008)"},{"key":"15_CR12","unstructured":"IBM Redbooks. Programming the Cell Broadband Engine Architecture: Examples and Best Practices (August 2008), http:\/\/www.redbooks.ibm.com"},{"key":"15_CR13","unstructured":"IDC. PC Semiconductor Market Briefing: Re-Architecting the PC and the Migration of Value (June 2008), http:\/\/www.idc.com"},{"key":"15_CR14","unstructured":"ISO\/IEC 8652:2007. Ada Reference Manual, 3rd edition (2006)"},{"key":"15_CR15","first-page":"471","volume-title":"Information Processing","author":"G. Kahn","year":"1974","unstructured":"Kahn, G.: The Semantics of a Simple Language for Parallel Programming. In: Rosenfeld, J.L. (ed.) Information Processing, Stockholm, Sweden, August 1974, pp. 471\u2013475. North Holland, Amsterdam (1974)"},{"issue":"7","key":"15_CR16","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/780731.780747","volume":"38","author":"M. Karczmarek","year":"2003","unstructured":"Karczmarek, M., Thies, W., Amarasinghe, S.: Phased Scheduling of Stream Programs. SIGPLAN Not.\u00a038(7), 103\u2013112 (2003)","journal-title":"SIGPLAN Not."},{"issue":"1","key":"15_CR17","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"36","author":"E.A. Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing. IEEE Trans. Comput.\u00a036(1), 24\u201335 (1987)","journal-title":"IEEE Trans. Comput."},{"key":"15_CR18","unstructured":"Leung, M.-K., Liu, I., Zou, J.: Code Generation for Process Network Models onto Parallel Architectures. Technical Report UCB\/EECS-2008-139, EECS Department, University of California, Berkeley (October 2008)"},{"key":"15_CR19","volume-title":"Principles of Parallel Programming","author":"C. Lin","year":"2008","unstructured":"Lin, C., Snyder, L.: Principles of Parallel Programming. Addison Wesley, Reading (2008)"},{"key":"15_CR20","unstructured":"Mattson, T.G., Sanders, B.A., Massingill, B.L.: Patterns for Parallel Programming. Addison Wesley, Reading (2007) (3rd printing)"},{"key":"15_CR21","volume-title":"Intel Threading Building Blocks","author":"J. Reinders","year":"2007","unstructured":"Reinders, J.: Intel Threading Building Blocks. O\u2019Reilly, Sebastopol (2007)"},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s002360050095","volume":"34","author":"R. Stephens","year":"1997","unstructured":"Stephens, R.: A Survey of Stream Processing. Acta Informatica\u00a034, 491\u2013541 (1997)","journal-title":"Acta Informatica"},{"key":"15_CR23","unstructured":"Thies, W.: Language and Compiler Support for Stream Programs. PhD thesis, Massachusetts Institute of Technology (February 2009)"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/3-540-45937-5_14","volume-title":"Compiler Construction","author":"W. Thies","year":"2002","unstructured":"Thies, W., Karczmarek, M., Amarasinghe, S.P.: StreamIt: A Language for Streaming Applications. In: Horspool, R.N. (ed.) CC 2002. LNCS, vol.\u00a02304, pp. 179\u2013196. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologiey \u2013 Ada-Europe 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13550-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:39:54Z","timestamp":1606185594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13550-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135491","9783642135507"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13550-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}