{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:10:00Z","timestamp":1736115000955,"version":"3.32.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1996,3,1]],"date-time":"1996-03-01T00:00:00Z","timestamp":825638400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems Integration"],"published-print":{"date-parts":[[1996,3]]},"DOI":"10.1007\/bf02262751","type":"journal-article","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:31:21Z","timestamp":1132738281000},"page":"41-72","source":"Crossref","is-referenced-by-count":1,"title":["Real-time scheduling for software prototyping"],"prefix":"10.1007","volume":"6","author":[{"family":"Luoi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Shing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02262751_CR1","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00940812","volume":"45","author":"V. Cerny","year":"1985","unstructured":"V. Cerny, \u201cA thermodynamical approach to the traveling salesman problem: An efficient simulation algorithm.\u201dJournal of Optimization Theory and Application 45, pp. 41\u201345, 1985.","journal-title":"Journal of Optimization Theory and Application"},{"key":"BF02262751_CR2","series-title":"Computer Science","volume-title":"An optimal static scheduling algorithm for hard real-time systems specified in a prototyping language","author":"J. Cervantes","year":"1989","unstructured":"J. Cervantes, \u201cAn optimal static scheduling algorithm for hard real-time systems specified in a prototyping language\u201d, Master's Thesis, Computer Science, Naval Postgraduate School Monterey, CA, Dec. 1989."},{"key":"BF02262751_CR3","series-title":"Computer Science","volume-title":"Static scheduler for hard real-time tasks on multiprocesosr systems","author":"T. Chang","year":"1989","unstructured":"T. Chang, \u201cStatic scheduler for hard real-time tasks on multiprocesosr systems,\u201d Master's Thesis, Computer Science, Naval Postgraduate School, Monterey, CA, Dec. 1989."},{"key":"BF02262751_CR4","series-title":"Computer Science","doi-asserted-by":"crossref","DOI":"10.21236\/ADA297563","volume-title":"Distributed hard real-time scheduling for a software prototyping environment","author":"M. Cordeiro","year":"1995","unstructured":"M. Cordeiro, \u201cDistributed hard real-time scheduling for a software prototyping environment\u201d, Doctoral Dissertation, Computer Science, Naval Postgraduate School, Monterey CA, March 1995."},{"key":"BF02262751_CR5","series-title":"Computer Science","volume-title":"Evaluations of some scheduling algorithms for hard real-time systems","author":"B. Fan","year":"1992","unstructured":"B. Fan, \u201cEvaluations of some scheduling algorithms for hard real-time systems,\u201d Master's Thesis, Computer Science, Naval Postgraduate School, Monterey, CA, September 1992."},{"key":"BF02262751_CR6","volume-title":"Numerical Recipes in C\u2014The Art of Scientific Computing","author":"B. Flannery","year":"1984","unstructured":"B. Flannery, 1984.Numerical Recipes in C\u2014The Art of Scientific Computing. Cambridge University Press: New York, NY."},{"key":"BF02262751_CR7","series-title":"Computer Science","volume-title":"Multiprocessor scheduling for hard real-time software","author":"L. Hsu","year":"1990","unstructured":"L. Hsu, \u201cMultiprocessor scheduling for hard real-time software\u201d, Master's Thesis, Computer Science, Naval Postgraduate School, Monterey, CA, June 1990."},{"key":"BF02262751_CR8","doi-asserted-by":"crossref","first-page":"865","DOI":"10.1287\/opre.37.6.865","volume":"37","author":"D. Johnson","year":"1989","unstructured":"D. Johnson, C. Aragon, L. McGeoch, and C. Schevon, \u201cOptimization by simulated annealing: An experimental evaluation; Part I, Graph partitioning\u201d.Operations Research 37, pp. 865\u2013892, 1989.","journal-title":"Operations Research"},{"key":"BF02262751_CR9","doi-asserted-by":"crossref","unstructured":"D. Johnson, C. Aragon, L. McGeoch, and C. Schevon, \u201cOptimization by simulated annealing: An experimental evaluation; Part II, Graph coloring and number partitioning.\u201dOperations Research 38, 1990.","DOI":"10.1287\/opre.39.3.378"},{"key":"BF02262751_CR10","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"S. Kirkpatrick, C. Gelatt, Jr., and M. Vecchi, \u201cOptimization by simulated annealing.\u201dScience 220, pp. 671\u2013680, 1983.","journal-title":"Science"},{"key":"BF02262751_CR11","series-title":"Computer Science","volume-title":"Static schedulers for embedded and hard real-time systems","author":"M. Kilic","year":"1990","unstructured":"M. Kilic, \u201cStatic schedulers for embedded and hard real-time systems\u201d, Master's Thesis, Computer Science, Naval Postgraduate School, Monterey, CA, June 1990."},{"key":"BF02262751_CR12","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1109\/32.232012","volume":"19","author":"B. Kraemer","year":"1993","unstructured":"B. Kraemer, Luqi, and V. Berzins, \u201cCompositional semantics of a real-time prototyping language.\u201dIEEE Trans. on Software Engineering SE-19, pp.453\u2013477, 1993.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"BF02262751_CR13","doi-asserted-by":"crossref","first-page":"1409","DOI":"10.1109\/32.6186","volume":"14","author":"Luqi","year":"1988","unstructured":"Luqi, V. Berzins, and R. T. Yeh, \u201cPrototyping language for real-time software\u201d.IEEE Trans. on Software Engineering SE-14, pp. 1409\u20131423, 1988.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"BF02262751_CR14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/52.7941","volume":"5","author":"Luqi","year":"1988","unstructured":"Luqi and V. Berzins, \u201cRapidly prototyping real-time systems,\u201dIEEE Software 5, pp. 25\u201336, 1988.","journal-title":"IEEE Software"},{"key":"BF02262751_CR15","doi-asserted-by":"crossref","unstructured":"Luqi and V. Berzins, \u201cSemantics of real-time languages,\u201d inProceedings of the Real-Time Systems Symposium, Huntsville, AL, 1988, pp. 106\u2013110.","DOI":"10.1109\/REAL.1988.51106"},{"key":"BF02262751_CR16","doi-asserted-by":"crossref","unstructured":"Luqi and V. Berzins, \u201cExecution of a high-level real-time language\u201d, inProceedings of the Real-Time Systems Symposium, Huntsville, AL, 1988, pp. 69\u201376.","DOI":"10.1109\/REAL.1988.51102"},{"key":"BF02262751_CR17","volume-title":"Efficient static schedulers for the CAPS systems","author":"J. Levine","year":"1991","unstructured":"J. Levine, \u201cEfficient static schedulers for the CAPS systems,\u201d Master's Thesis, Computer Science Department, Naval Postgraduate School, Monterey, CA, June 1991."},{"key":"BF02262751_CR18","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.2013","volume":"5","author":"Luqi","year":"1988","unstructured":"Luqi and M. Ketabchi, \u201cA computer aided prototyping system\u201d,IEEE Software 5, pp. 66\u201372, 1988.","journal-title":"IEEE Software"},{"key":"BF02262751_CR19","doi-asserted-by":"crossref","unstructured":"Luqi, M. Shing, P. Barnes, and G. Hughes, \u201cPrototyping hard real-time Ada systems in a slassroom environment\u201d, inProc. of the Seventh Annual Ada Software Engineering Education and Training (ASEET) Symposium, Monterey, CA, 1993, pp. 103\u2013117.","DOI":"10.21236\/ADA261561"},{"key":"BF02262751_CR20","doi-asserted-by":"crossref","unstructured":"Luqi, \u201cHandling timing constraints in rapid prototyping,\u201d inProceedings of the 22nd Annual Hawaii International Conference on System Science, Kailua-Kona, Hawaii, 1989, pp. 417\u2013424.","DOI":"10.1109\/HICSS.1989.48020"},{"key":"BF02262751_CR21","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/52.108781","volume":"9","author":"Luqi","year":"1992","unstructured":"Luqi, \u201cComputer-aided prototyping for a command-and-control system using CAPS.\u201dIEEE Software 9, pp. 56\u201357, 1992.","journal-title":"IEEE Software"},{"key":"BF02262751_CR22","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0096-0551(93)90013-Q","volume":"18","author":"Luqi","year":"1993","unstructured":"Luqi, \u201cReal-time constraints in a rapid prototyping language.\u201dComputer Language 18, pp. 77\u2013103, 1993.","journal-title":"Computer Language"},{"key":"BF02262751_CR23","volume-title":"Fundamental design problems of distributed systems for the hard real-time environment","author":"A. Mok","year":"1983","unstructured":"A. Mok, \u201cFundamental design problems of distributed systems for the hard real-time environment,\u201d Ph.D. dissertation, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, MA, 1983."},{"key":"BF02262751_CR24","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1063\/1.1699114","volume":"21","author":"N. Metropolis","year":"1953","unstructured":"N. Metropolis, A. W. Rosenbluth, M. N. Rosenbluth, A. H., Teller, and A. E. Teller, \u201cEquation of state calculations by fast computing machines.\u201dJournal of Chemical Physics 21, pp. 1087\u20131092, 1953.","journal-title":"Journal of Chemical Physics"},{"key":"BF02262751_CR25","doi-asserted-by":"crossref","unstructured":"S. Nahar, S. Sahni, and E. Shragowitz, \u201cSimulated annealing and combinatorial optimization,\u201d inProc. 23rd Design Automation Conference, 1986, pp. 293\u2013299.","DOI":"10.1109\/DAC.1986.1586103"},{"issue":"4","key":"BF02262751_CR26","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.55469","volume":"23","author":"L. Sha","year":"1990","unstructured":"L. Sha and J. Goodenough, \u201cReal-time scheduling theory and Ada.\u201dIEEE Computer 23(4), pp. 53\u201362, April, 1990.","journal-title":"IEEE Computer"},{"key":"BF02262751_CR27","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1109\/32.83911","volume":"17","author":"A. Stoyenko","year":"1991","unstructured":"A. Stoyenko, V. Hamacher, and R. Holt, \u201cAnalyzing hard real-time programs for guaranteed schedulability.\u201dIEEE Trans. on Software Engineering SE-17, pp. 737\u2013750, 1991.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"BF02262751_CR28","volume-title":"Tutorial and Hard Real-Time Systems","author":"J. Stankovic","year":"1988","unstructured":"J. Stankovic and K. Ramamritham, 1988.Tutorial and Hard Real-Time Systems. IEEE Computer Society Press: Washington, D.C., 1988."},{"key":"BF02262751_CR29","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/2.386982","volume":"28","author":"J. Stankovic","year":"1995","unstructured":"J. Stankovic, M. Sprui, M. Di Natale, and G. Buttazzo \u201cImplications of classical scheduling results for real-time systems.\u201dIEEE Computer 28, pp. 16\u201325, 1995.","journal-title":"IEEE Computer"},{"key":"BF02262751_CR30","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1016\/S0022-0000(75)80008-0","volume":"10","author":"J. Ullman","year":"1975","unstructured":"J. Ullman, \u201cNP-complete scheduling problem.\u201dJournal of Computer and System Sciences 10, pp. 384\u2013393, 1975.","journal-title":"Journal of Computer and System Sciences"},{"key":"BF02262751_CR31","volume-title":"Computer and Job-Shop Scheduling Theory","author":"J. Ullman","year":"1976","unstructured":"J. Ullman, \u201cComplexity of sequence problem,\u201d inComputer and Job-Shop Scheduling Theory, John Wiley & Sons: NY, 1976."},{"key":"BF02262751_CR32","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TCAD.1983.1270039","volume":"2","author":"M. Vecchi","year":"1983","unstructured":"M. Vecchi and S. Kirkpatrick, \u201cGlobal wiring by simulated annealing,\u201dIEEE Trans. on Computer-Aided Design CAD-2, pp. 215\u2013222 1983.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"BF02262751_CR33","first-page":"88","volume":"7","author":"H. Wedde","year":"1991","unstructured":"H. Wedde, B. Korel, and D. Huizinga, \u201cStatic analysis of timing properties for distributed real-time programs.\u201dReal-Time Systems Newsletter 7, pp. 88\u201395, 1991.","journal-title":"Real-Time Systems Newsletter"},{"key":"BF02262751_CR34","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1109\/32.48943","volume":"16","author":"J. Xu","year":"1990","unstructured":"J. Xu and D. Parnas, \u201cScheduling processes with release times, deadlines, precedence, and exclusion relations.\u201dIEEE Trans. on Software Engineering 16, pp. 360\u2013369, 1990.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"BF02262751_CR35","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0377-2217(89)90333-0","volume":"40","author":"S. Zdrzalka","year":"1989","unstructured":"S. Zdrzalka, \u201cScheduling jobs on a single machine with periodic release date\/deadline intervals.\u201dEuropean Journal of Operations Research 40, pp. 243\u2013251, 1989.","journal-title":"European Journal of Operations Research"}],"container-title":["Journal of Systems Integration"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02262751.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02262751\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02262751","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T21:50:57Z","timestamp":1736113857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02262751"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,3]]},"references-count":35,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,3]]}},"alternative-id":["BF02262751"],"URL":"https:\/\/doi.org\/10.1007\/bf02262751","relation":{},"ISSN":["0925-4676","1573-8787"],"issn-type":[{"type":"print","value":"0925-4676"},{"type":"electronic","value":"1573-8787"}],"subject":[],"published":{"date-parts":[[1996,3]]}}}