{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:15Z","timestamp":1725664935558},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631149"},{"type":"electronic","value":"9783540691501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63114-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:06:24Z","timestamp":1330297584000},"page":"46-55","source":"Crossref","is-referenced-by-count":0,"title":["The SPIF project"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Dupouy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Hainque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Tardieu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","unstructured":"J. Lehoczky B. Sprunt, L. Sha. Aperiodic task scheduling for hard-real-time systems. The Journal of Real-Time Systems, 1989."},{"key":"5_CR2","unstructured":"A. Burns and A. Wellings. Real-time systems and their programming languages. Addisson-Wesley Publishing, 1989."},{"key":"5_CR3","unstructured":"T.P. Baker E.W. Giering, F. Mueller. Implementing Ada 9x features using POSIX threads: Design issues."},{"key":"5_CR4","unstructured":"Florida State University Franck Mueller. Pthreads library interface, 1995."},{"key":"5_CR5","unstructured":"IEEE. P1003.1c POSIX Draft \u2014 Part 1: System Application Program Interface, 1994."},{"key":"5_CR6","unstructured":"Motorola. MC68302 Integrated Multiprotocol Processor User's Manual, 2nd edition, 1991."},{"key":"5_CR7","unstructured":"S. J. Mullender. Distributed Systems. ACM Press, 1994."},{"key":"5_CR8","unstructured":"Online Applications Research Corp. RTEMS \u2014 C Applications Users' Guide, January 1996."},{"key":"5_CR9","unstructured":"Online Applications Research Corp. RTEMS \u2014 Motorola MC68xxx C Applications Supplement, January 1996."},{"key":"5_CR10","unstructured":"M. Johannes P. Acuff, R. O'Guin and J. Sherril. A Reusable Ada Real-Time Multiprocessing Executive for Military Systems. Online Applications Research Corp., 1994."},{"key":"5_CR11","unstructured":"J. Stankovic and K. Ramamritham. Advances in Real-time Systems. IEEE Computer Society Press, 1993."},{"key":"5_CR12","unstructured":"L. Pautet Y. Kermarrec and E. Schonberg. Design document for the implementation of the distributed annex of Ada9x in GNAT. Technical report, NYU, 1995."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"L. Pautet Y. Kermarrec and S. Tardieu. Garlic: generic Ada reusable library for interpartitions communication. Proceedung of the TriAda conference, Anaheim, 1995.","DOI":"10.1145\/376503.376591"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe '97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63114-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:37Z","timestamp":1605647737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63114-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631149","9783540691501"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63114-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}