{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:19:27Z","timestamp":1742995167828,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291893"},{"type":"electronic","value":"9783540320845"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11562436_13","type":"book-chapter","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T09:40:51Z","timestamp":1129714851000},"page":"159-173","source":"Crossref","is-referenced-by-count":5,"title":["Thread Allocation Protocols for Distributed Real-Time and Embedded Systems"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henny B.","family":"Sipma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Venkita","family":"Subramonian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Gill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Araki, T., Sugiyama, Y., Kasami, T.: Complexity of the deadlock avoidance problem. In: 2nd IBM Symposium on Mathematical Foundations of Computer Science, pp. 229\u2013257 (1971)"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Aswathanarayana, T., Subramonian, V., Niehaus, D., Gill, C.: Design and performance of configurable endsystem scheduling mechanisms. In: Proceedings of 11th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS (2005)","DOI":"10.1109\/RTAS.2005.17"},{"issue":"6","key":"13_CR3","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1109\/70.63273","volume":"6","author":"Z.A. Banaszak","year":"1990","unstructured":"Banaszak, Z.A., Krogh, B.H.: Deadlock avoidance in exible manufacturing systems with concurrently competing processow. IEEE Transactions on Robotics and Automation\u00a06(6), 724\u2013734 (1990)","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"13_CR4","unstructured":"Center for Distributed Object Computing. nORB\u2013Special Purpose Middleware for Networked Embedded Systems. Washington University, http:\/\/deuce.doc.wustl.edu\/nORB\/"},{"key":"13_CR5","unstructured":"Dijkstra, E.W.: Cooperating sequential processes. Technical Report EWD 123, Technological University, Eindhoven, the Netherlands (1965)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Gill, C.D., Gossett, J.M., Loyall, J.P., Schmidt, D.C., Corman, D., Schantz, R.E., Atighetchi, M.: Integrated Adaptive QoS Management in Middleware: An Empirical Case Study. Journal of Real-time Systems\u00a024 (2005)","DOI":"10.1007\/s11241-005-6881-1"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1145\/363156.363160","volume":"12","author":"A.N. Habermann","year":"1969","unstructured":"Habermann, A.N.: Prevention of system deadlocks. Communications of the ACM\u00a012, 373\u2013377 (1969)","journal-title":"Communications of the ACM"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1147\/sj.72.0074","volume":"2","author":"J.W. Havender","year":"1968","unstructured":"Havender, J.W.: Avoiding deadlock in multi-tasking systems. IBM Systems Journal\u00a02, 74\u201384 (1968)","journal-title":"IBM Systems Journal"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/356603.356607","volume":"4","author":"R.C. Holt","year":"1972","unstructured":"Holt, R.C.: Some deadlock properties of computer systems. ACM Computing Surveys\u00a04, 179\u2013196 (1972)","journal-title":"ACM Computing Surveys"},{"key":"13_CR10","unstructured":"Institute for Software Integrated Systems. The ACE ORB (TAO). Vanderbilt University, http:\/\/www.dre.vanderbilt.edu\/TAO\/"},{"key":"13_CR11","volume-title":"Distributed Algorithms","author":"N.A. Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaugmann, San Francisco (1996)"},{"key":"13_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Sytems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Sytems: Safety. Springer, Heidelberg (1995)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Merlin, P.M., Schweitzer, P.J.: Deadlock avoidance in store-and-forward networks I: Store-and-forward deadlock. IEEE Transactions on Communications\u00a028(3) (March 1980)","DOI":"10.1109\/TCOM.1980.1094666"},{"issue":"10","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1344","DOI":"10.1109\/9.633824","volume":"42","author":"S.A. Reveliotis","year":"1997","unstructured":"Reveliotis, S.A., Lawley, M.A., Ferreira, P.M.: Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control\u00a042(10), 1344\u20131357 (1997)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Schmidt, D.C.: Evaluating Architectures for Multi-threaded CORBA Object Request Brokers. Communications of the ACM Special Issue on CORBA\u00a041(10) (October 1998)","DOI":"10.1145\/286238.286248"},{"key":"13_CR16","volume-title":"Pattern- Oriented Software Architecture: Patterns for Concurrent and Networked Objects","author":"D.C. Schmidt","year":"2000","unstructured":"Schmidt, D.C., Stal, M., Rohnert, H., Buschmann, F.: Pattern- Oriented Software Architecture: Patterns for Concurrent and Networked Objects, vol.\u00a02. Wiley & Sons, New York (2000)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Subramonian, V., Gill, C.D.: A generative programming framework for adaptive middleware. In: Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS 2004). IEEE, Los Alamitos (2004)","DOI":"10.1109\/HICSS.2004.1265639"},{"key":"13_CR18","first-page":"1","volume-title":"Embedded Systems Handbook ch. 30","author":"V. Subramonian","year":"2005","unstructured":"Subramonian, V., Gill, C.D.: Middleware Design and Implementation for Networked Embedded Systems. In: Zurawski, R. (ed.) Embedded Systems Handbook ch. 30, pp. 1\u201317. CRC Press, Boca Raton (2005)"},{"key":"13_CR19","unstructured":"Subramonian, V., Gill, C.D., S\u00e1nchez, C., Sipma, H.B.: Composable timed automata models for real-time embedded systems middleware. Washington University CSE Department Technical Report 2005-29, http:\/\/www.cse.seas.wustl.edu\/techreportfiles\/getreport.asp? 440"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Subramonian, V., Xing, G., Gill, C.D., Lu, C., Cytron, R.: Middleware specialization for memory-constrained networked embedded systems. In: Proceedings of 10th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS (2004)","DOI":"10.1109\/RTTAS.2004.1317276"},{"issue":"2","key":"13_CR21","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1109\/9.481550","volume":"41","author":"K.-Y. Xing","year":"1996","unstructured":"Xing, K.-Y., Hu, B.-S., Chen, H.-X.: Deadlock avoidance policy for petri-net modeling of exible manufacturing systems with shared resources. IEEE Transactions on Automatic Control\u00a041(2), 289\u2013295 (1996)","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11562436_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:41:01Z","timestamp":1586515261000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11562436_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291893","9783540320845"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11562436_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}