{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:51:36Z","timestamp":1725573096922},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540262862"},{"type":"electronic","value":"9783540316664"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11499909_21","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T16:56:28Z","timestamp":1292864188000},"page":"260-271","source":"Crossref","is-referenced-by-count":1,"title":["The ESA Ravenscar Benchmark"],"prefix":"10.1007","author":[{"given":"Romain","family":"Berrendonner","sequence":"first","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Guitton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Ada Core Technologies. GNAT User\u2019s guide, 5.02a1 edn., http:\/\/www.adacore.com\/"},{"key":"21_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/10722060_4","volume-title":"Reliable Software Technologies Ada-Europe 2000","author":"J.A. Puente de la","year":"2000","unstructured":"de la Puente, J.A., Ruiz, J.F., Zamorano, J.: An open Ravenscar real-time kernel for GNAT. In: Keller, H.B., Pl\u00f6dereder, E. (eds.) Ada-Europe 2000. LNCS, vol.\u00a01845, pp. 5\u201315. Springer, Heidelberg (2000), http:\/\/wwww.dit.upm.es\/ork\/"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Chen, G., et al.: Pennbench: A benchmark suite for embedded java. In: 5th Workshop on Workload Characterization (WWC5) (2002), http:\/\/www.cse.psu.edu\/~gchen\/papers\/wwc5.pdf","DOI":"10.1109\/WWC.2002.1226495"},{"key":"21_CR4","unstructured":"Guthaus, M.R., Ringenberg, J.S., Austin, D.E.T.M., Mudge, T., Brown, R.B.: Mibench: A free, commercially representative embedded benchmark suite. In: IEEE 4th Annual Workshop on Workload Characterization (2001), http:\/\/www.eecs.umich.edu\/mibench"},{"key":"21_CR5","unstructured":"High Order Language Control Facility USAF. Ada Compiler Evaluation system Reader\u2019s Guide for Version 2.1 (February 1996), http:\/\/www.adaic.org\/compilers\/aces\/aces-intro.html"},{"key":"21_CR6","unstructured":"EEMBC Certification Laboratories. The EEMBC Benchmark, http:\/\/ebenchmarks.com\/"},{"key":"21_CR7","unstructured":"McVoy, L.W., Staelin, C.: Lmbench: Portable tools for performance analysis. In: USENIX Annual Technical Conference, pp. 279\u2013294 (1996)"},{"key":"21_CR8","unstructured":"Performance Issues Working\u00a0Group (PIWG). The piwg benchmark (1993), http:\/\/unicoi.kennesaw.edu\/ase\/support\/cardcatx\/piwg.htm"},{"key":"21_CR9","unstructured":"RTEMS. The Real-Time Operating System for Multiprocessor Systems, v4.6.1 edn., http:\/\/www.rtems.com\/"},{"key":"21_CR10","unstructured":"The Standard Performance Evaluation Corporation. SPEC CPU 2004 (2004), http:\/\/www.spechbench.org\/"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45340-7","volume-title":"Consolidated Ada Reference Manual. Language and Standard Libraries","author":"S.T. Taft","year":"2001","unstructured":"Taft, S.T., Duff, R.A., Ploederer, E.: Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol.\u00a02219. Springer, Heidelberg (2001), http:\/\/www.adaic.org\/standards\/95lrm\/html\/RM-TTL.html"},{"key":"21_CR12","unstructured":"VALGRIND. Valgrind - a GPL\u2019d system for debugging and profiling x86-Linux programs, http:\/\/www.valgrind.kde.org\/"},{"key":"21_CR13","unstructured":"WG9. Ravenscar profile for high-integrity systems (March 2003), http:\/\/www.ada-auth.org\/cgi-bin\/cvsweb.cgi\/AIs\/AI-00249.TXT"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technology \u2013 Ada-Europe 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11499909_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:02Z","timestamp":1605643322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11499909_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540262862","9783540316664"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11499909_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}