{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T10:44:07Z","timestamp":1648809847775},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,7,1]],"date-time":"1995-07-01T00:00:00Z","timestamp":804556800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1995,7]]},"DOI":"10.1007\/bf01094171","type":"journal-article","created":{"date-parts":[[2005,2,5]],"date-time":"2005-02-05T09:31:21Z","timestamp":1107595881000},"page":"5-29","source":"Crossref","is-referenced-by-count":3,"title":["Increasing processor utilization in hard-real-time systems with checkpoints"],"prefix":"10.1007","volume":"9","author":[{"given":"Alan A.","family":"Bertossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Bonometto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi V.","family":"Mancini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF00365392","volume":"3","author":"R. Agne","year":"1991","unstructured":"Agne, R. 1991. Global cyclic scheduling: a method to guarantee the timing behaviour of distributed real-time systems.Real-Time Systems 3: 45?66.","journal-title":"Real-Time Systems"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Balaji, S., et al. 1989. Workload redistribution for fault-tolerance in a hard real-time distributed computing system.FTCS-19 Chicago, Illinois, pp. 366?373.","DOI":"10.1109\/FTCS.1989.105594"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Bertossi, A. A., and Mancini, L. V. 1994. Scheduling algorithms for fault-tolerance in hard-real-time systems.Real-Time Systems, Special Issue on Responsive Computer Systems.","DOI":"10.1007\/978-1-4615-2786-2_2"},{"issue":"1","key":"CR4","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/32.67577","volume":"17","author":"B. B. Blake","year":"1991","unstructured":"Blake, B. B., and Schwan, K. 1991. Experimental evaluation of a real-time scheduler for multiprocessor system.IEEE Trans. Soft. Eng 17(1): 34?44.","journal-title":"IEEE Trans. Soft. Eng"},{"key":"CR5","volume-title":"Computer and Job-Shop Scheduling Theory","year":"1976","unstructured":"Coffman, E. G. Jr. (ed.). 1976.Computer and Job-Shop Scheduling Theory. New York: Wiley."},{"key":"CR6","unstructured":"Davari, S., and Dhall, S. K. 1986. An on line algorithm for real time tasks allocation.IEEE Int. Real-Time System Symposium 194?200."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1287\/opre.26.1.127","volume":"26","author":"S. K. Dhall","year":"1978","unstructured":"Dhall, S. K., and Liu, C. L. 1978. On a real time scheduling problem.Operations Research 26: 127?140.","journal-title":"Operations Research"},{"issue":"12","key":"CR8","doi-asserted-by":"crossref","first-page":"1497","DOI":"10.1109\/32.58762","volume":"15","author":"M. L. Dertouzos","year":"1989","unstructured":"Dertouzos, M. L., and Mok, A. K. 1989. Multiprocessor on-line scheduling of hard-real-time tasks.IEEE Trans. Soft. Eng 15(12): 1497?1506.","journal-title":"IEEE Trans. Soft. Eng"},{"issue":"5","key":"CR9","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1109\/TC.1986.1676787","volume":"35","author":"C. M. Krishna","year":"1986","unstructured":"Krishna, C. M., and Shin, K. G. 1986. On scheduling tasks with a quick recovery from failure.IEEE Trans. on Computers 35(5): 448?454.","journal-title":"IEEE Trans. on Computers"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0020-0190(81)90066-1","volume":"12","author":"E. L. Lawler","year":"1981","unstructured":"Lawler, E. L., et al. 1981. Scheduling periodically occurring tasks on multiple processors.Inform. Proc. Lett. 12: 9?12.","journal-title":"Inform. Proc. Lett."},{"issue":"11","key":"CR11","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/TSE.1986.6312999","volume":"12","author":"A. L. Liestman","year":"1986","unstructured":"Liestman, A. L., and Campbell, R. H. 1986. A fault-tolerant scheduling problem.IEEE Trans. Soft. Eng 12(11): 1089?1095.","journal-title":"IEEE Trans. Soft. Eng"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"Liu, C. L., and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment.Journal ACM 20: 46?61.","journal-title":"Journal ACM"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0020-0190(80)90123-4","volume":"11","author":"J.Y.-T. Leung","year":"1980","unstructured":"Leung, J.Y.-T., and Merrill, M. L. 1980. A note on preemptive scheduling periodic real-time tasks.Inform. Proc. Lett. 11: 115?118.","journal-title":"Inform. Proc. Lett."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Lehoczky, J. P., Sha, L., and Ding, Y. 1989. The rate monotonic scheduling algorithm: exact characterization and average case behavior.Proc. IEEE Real-Time Systems Symposium.","DOI":"10.1109\/REAL.1989.63567"},{"key":"CR15","unstructured":"Lehoczky, J. P., Sprunt, B., and Sha, L. 1988. Aperiodic task scheduling for hard-real-time systems.Proc. IEEE Real-Time Systems Symposium."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"McNaughton, R. 1959. Scheduling with deadlines and loss functions.Management Science 12(7).","DOI":"10.1287\/mnsc.6.1.1"},{"issue":"2","key":"CR17","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/356725.356729","volume":"10","author":"B. Randell","year":"1978","unstructured":"Randell, B., Lee, P. A., and Treleaven, P. C. 1978. Reliability issues in computing system design.ACM Computing Surveys 10(2): 123?166.","journal-title":"ACM Computing Surveys"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Ramamritham, K., and Stankovic, J. A. 1991. Scheduling strategies adopted in SPRING: an overview.Found. of Real-Time Computing.","DOI":"10.1007\/978-1-4615-3956-8_10"},{"issue":"3","key":"CR19","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1109\/12.21121","volume":"38","author":"J. A. Stankovic","year":"1989","unstructured":"Stankovic, J. A. 1989. Decentralized decision making for task reallocation in hard real-time systems.IEEE Trans. on Computers 38(3): 341?355.","journal-title":"IEEE Trans. on Computers"},{"issue":"12","key":"CR20","doi-asserted-by":"crossref","first-page":"1130","DOI":"10.1109\/TC.1985.6312211","volume":"34","author":"J. A. Stankovic","year":"1985","unstructured":"Stankovic, J. A., et al. 1985. Evaluation of a flexible task scheduling algorithm for distributed hard real-time systems.IEEE Trans. on Computers 34(12): 1130?1143.","journal-title":"IEEE Trans. on Computers"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01094171.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01094171\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01094171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T16:01:00Z","timestamp":1586102460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01094171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["BF01094171"],"URL":"https:\/\/doi.org\/10.1007\/bf01094171","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}