{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:36:48Z","timestamp":1725557808045},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_9","type":"book-chapter","created":{"date-parts":[[2010,6,15]],"date-time":"2010-06-15T15:14:12Z","timestamp":1276614852000},"page":"125-138","source":"Crossref","is-referenced-by-count":0,"title":["Using Hardware Support for Scheduling with Ada"],"prefix":"10.1007","author":[{"given":"Rod","family":"White","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/IITA.2008.461","volume-title":"IITA 2008: Proceedings of the 2008 Second International Symposium on Intelligent Information Technology Application","author":"H. He","year":"2008","unstructured":"He, H., Guo, H.: The realization of FFT algorithm based on FPGA co-processor. In: IITA 2008: Proceedings of the 2008 Second International Symposium on Intelligent Information Technology Application, Washington, DC, USA, pp. 239\u2013243. IEEE Computer Society, Los Alamitos (2008)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/800053.801923","volume-title":"ISCA 1980: Proceedings of the 7th annual symposium on Computer Architecture","author":"J. Palmer","year":"1980","unstructured":"Palmer, J.: The Intel\u00ae8087 numeric data processor. In: ISCA 1980: Proceedings of the 7th annual symposium on Computer Architecture, pp. 174\u2013181. ACM, New York (1980)"},{"key":"9_CR3","volume-title":"Real-Time systems and Programming languages","author":"A. Burns","year":"2001","unstructured":"Burns, A., Wellings, A.: Real-Time systems and Programming languages, 3rd edn. Addison-Wesley, Reading (2001)","edition":"3"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"N\u00e1cul, A.C., Regazzoni, F., Lajolo, M.: Hardware scheduling support in smp architectures. In: DATE 2007: Proceedings of the conference on Design, automation and test in Europe, San Jose, CA, USA, pp. 642\u2013647. EDA Consortium (2007)","DOI":"10.1109\/DATE.2007.364666"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/TRON.1995.494740","volume-title":"TRON 1995: Proceedings of the The 12th TRON Project International Symposium","author":"T. Nakano","year":"1995","unstructured":"Nakano, T., Utama, A., Itabashi, M., Shiomi, A., Imai, M.: Hardware implementation of a real-time operating system. In: TRON 1995: Proceedings of the The 12th TRON Project International Symposium, Washington, DC, USA, pp. 34\u201342. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"9_CR6","unstructured":"Lai, B.C.C., Schaumont, P., Verbauwhede, I.: A light-weight cooperative multi-threading with hardware supported thread-management on an embedded multi-processor system. In: Proceedings of Asilomar Conference on Signals, Systems, and Computers (2005)"},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/68182.68198","volume":"17","author":"J. Roos","year":"1989","unstructured":"Roos, J.: A real-time support processor for ada tasking. SIGARCH Comput. Archit. News\u00a017(2), 162\u2013171 (1989)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"9_CR8","unstructured":"Runner, D., Warshawsky, E.: Synthesizing Ada\u2019s ideal machine mate. VLSI Systems Design, 30\u201339 (October 1988)"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1109\/HICSS.1988.11766","volume-title":"Proceedings of the Twenty-First Annual Hawaii International Conference on Architecture Track","author":"A. Ard\u00f6","year":"1988","unstructured":"Ard\u00f6, A.: Hardware support for efficient execution of ada tasking. In: Proceedings of the Twenty-First Annual Hawaii International Conference on Architecture Track, pp. 194\u2013202. IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"9_CR10","unstructured":"Campbell, E.R., Simpson, H.R.: Integrated circuits for multi-tasking support in single or multiple processor networks. Patent 6971099 (November 2005)"},{"key":"9_CR11","unstructured":"Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P. (eds.): Ada 2005 Reference Manual. Language and Standard Libraries, International Standard ISO\/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1. Springer (2006)"},{"key":"9_CR12","unstructured":"ISO\/WG9 Ada Rapporteur Group: Ravenscar profile for high integrity systems. Technical report (2007)"},{"key":"9_CR13","unstructured":"RTCA: Software considerations in airborne systems and equipment certification. Radio Technical Commission for Aeronautics (RTCA), European Organization for Civil Aviation Electronics (EUROCAE), DO178-B (1992)"},{"key":"9_CR14","unstructured":"UK Ministry of Defence: Defence standard 00-56: Safety management requirements for defence systems \u2013 issue 4. Technical report (2007)"},{"key":"9_CR15","unstructured":"AI05-0166-1: Yield for non-preemptive dispatching (2009)"}],"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_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:07:15Z","timestamp":1619784435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13550-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135491","9783642135507"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13550-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}