{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:38Z","timestamp":1725486038577},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437840"},{"type":"electronic","value":"9783540480464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48046-3_7","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T20:48:07Z","timestamp":1181681287000},"page":"88-99","source":"Crossref","is-referenced-by-count":0,"title":["Language Issues of Compiling Ada to Hardware"],"prefix":"10.1007","author":[{"given":"Michael","family":"Ward","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neil C.","family":"Audsley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"7_CR1","unstructured":"Ada 95 Reference Manual. Intermetrics, January 1995."},{"key":"7_CR2","unstructured":"Ada Semantic Interface Specification (ASIS). Technical Report ISO\/IEC 15291, IEC, 1999."},{"key":"7_CR3","unstructured":"M. Bowen. Handel-C Language Reference Manual. Embedded Solutions Limited, 2.1 edition, 1998."},{"key":"7_CR4","unstructured":"A. Burns and A. Wellings. Real Time Systems and Programming Languages. Addison Wesley, 2nd edition, 1996."},{"issue":"4","key":"7_CR5","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/2.839323","volume":"33","author":"T. J. Callahan","year":"2000","unstructured":"T. J. Callahan, J. R. Hauser, and J. Wawrzynek. The garp architecture and c compiler. IEEE Computer, 33(4):62\u201369, 2000.","journal-title":"IEEE Computer"},{"key":"7_CR6","unstructured":"S. Franklid. Manual for VHDL++. Technical report, Dept. Information Technology, DTU Lyngby, 1999."},{"key":"7_CR7","unstructured":"D. Galloway. The Transmogrifier C Hardware Description Language and Compiler for FPGAs. In FPGAs for Custom Computing Machines, 1995."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"C. A. Healy, D. B. Whalley, and M. G. Harmon. Integrating the Timing Analysis of Pipelining and Instruction Caching. In Proceedings of the 16th Symposium on Real-Time Systems, pages 288\u2013297. IEEE, 1995.","DOI":"10.1109\/REAL.1995.495218"},{"key":"7_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/978-3-540-48302-1_40","volume-title":"Proceedings of the 9th International Workshop on Field-Programmable Logic and Applications","author":"S. Holmstrom","year":"1999","unstructured":"S. Holmstrom. SL-A Structural Hardware Design Language. In Proceedings of the 9th International Workshop on Field-Programmable Logic and Applications, volume 1673, pages 371\u2013376. LNCS, Springer-Verlag, 1999."},{"key":"7_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45352-0_4","volume-title":"Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"H. Jensen","year":"2000","unstructured":"H. Jensen, K. Larsen, and A. Skou. Scaling up UPPAAL-Automatic verification of real-time systems using compositionality and abstraction. In Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1926, pages 19\u201330. LNCS, Springer-Verlag, 2000."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Y.-T. S. Li and S. Malik. Performance Analysis of Real-Time Embedded Software. Klewer Academic, 1999.","DOI":"10.1007\/978-1-4615-5131-7"},{"key":"7_CR12","unstructured":"S.-S. Lim, J. H. Han, J. Kim, and S. L. Min. A Worst Case Timing Analysis Technique for Multiple-Issue Machines. In Proceedings of the 19th IEEE Symposium on Real-Time Systems, pages 334\u2013345, 1998."},{"key":"7_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BFb0055228","volume-title":"Proceedings of FPL\u2019 98","author":"W. Luk","year":"1998","unstructured":"W. Luk and S. McKeever. Pebble: A Language for Parametrised and Reconfigurable Hardware Design. In Proceedings of FPL\u2019 98, volume 1482, pages 9\u201318. LNCS, Springer-Verlag, 1998."},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"T. Lundqvist and P. Stenstrom. A method to improve the estimated worst-case performance of data caching. In Proc. of the 6th Int. Con. on Real-Time Computing Systems and Applications (RTCSA\u201999), pages 255\u2013262, December 1999.","DOI":"10.1109\/RTCSA.1999.811244"},{"key":"7_CR15","unstructured":"S. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997."},{"key":"7_CR16","first-page":"271","volume-title":"FPGAs","author":"I. Page","year":"1991","unstructured":"I. Page and W. Luk. Compiling Occam into FPGAs. In FPGAs, pages 271\u2013283. Abingdon EE&CS Books, Abingdon, UK, 1991."},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF01088696","volume":"5","author":"C. Y. Park","year":"1993","unstructured":"C. Y. Park. Predicting Program Execution Times by Analyzing Static and Dynamic Paths. Real-Time Systems, 5(1):31\u201362, 1993.","journal-title":"Real-Time Systems"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"P. Puschner and C. Koza. Calculating the Maximum Execution Time of Real-Time Programs. Real-Time Systems, 1(2):159\u2013176, 1989.","journal-title":"Real-Time Systems"},{"key":"7_CR19","unstructured":"VHDL Language Reference Manual. Technical Report 1076-1993, ANSI\/IEEE, 1993."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"M. Ward and N. C. Audsley. Hardware Compilation of Sequential Ada. In Proceedings of CASES 2001, pages 99\u2013107, 2001.","DOI":"10.1145\/502217.502233"},{"key":"7_CR21","unstructured":"Xilinx product information: \n                    http:\/\/www.xilinx.com\/products\n                    \n                  , 2001."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48046-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T04:46:40Z","timestamp":1550378800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48046-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437840","9783540480464"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48046-3_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}