{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:38:54Z","timestamp":1743089934812,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664437"},{"type":"electronic","value":"9783540483113"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48311-x_17","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:16:48Z","timestamp":1269897408000},"page":"154-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Correction of Monitor Intrusion for Testing Nondeterministic MPI-Programs"],"prefix":"10.1007","author":[{"given":"D.","family":"Kranzlm\u00fcller","sequence":"first","affiliation":[]},{"given":"Ch.","family":"Schaubschl\u00e4ger","sequence":"additional","affiliation":[]},{"given":"J. Chassin","family":"de Kergommeaux","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,6]]},"reference":[{"issue":"23","key":"17_CR1","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/spe.4380160304","volume":"16","author":"J. Gait","year":"1986","unstructured":"J. Gait: A Probe Effect in Concurrent Programs. Software-Practise and Experience, Vol. 16(23), pp. 225\u2013233 (March 1986).","journal-title":"Software-Practise and Experience"},{"issue":"1-2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0167-8191(96)00105-6","volume":"23","author":"D. Kranzlm\u00fcller","year":"1997","unstructured":"D. Kranzlm\u00fcller, S. Grabner, J. Volkert: Debugging with the MAD Environment. Parallel Computing, Vol. 23, No. 1-2, pp. 199\u2013217 (Apr. 1997).","journal-title":"Parallel Computing"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"L. Lamport: Time, Clocks, and the Ordering of Events in a Distributed System. Comm. ACM, pp. 558\u2013565 (July 1978).","DOI":"10.1145\/359545.359563"},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1006\/jpdc.1995.1090","volume":"28","author":"E. Maillet","year":"1995","unstructured":"E. Maillet, C. Tron: On Efficiently Implementing Global Time for Performance Evaluation on Multiprocessor Systems. Journal of Parallel and Distributed Computing, Vol. 28, pp. 84\u201393 (July 1995).","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"A. Malony, D. Reed: Models for performance perturbation analysis. Proc. Workshop Parallel Distributed Debugging, ACMSIGPLAN\/SIGOPS and Office of Naval Research, (May 1991).","DOI":"10.1145\/122759.122760"},{"key":"17_CR6","unstructured":"Message Passing Interface Forum: MPI: A Message-Passing Interface Standard-Version 1.1. http:\/\/www.mcs.anl.gov\/mpi\/ (June 1995)."},{"key":"17_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0056559","volume-title":"Proc. 5th European PVM\/MPI Users\u2019Group Meeting","author":"R. Reussner","year":"1998","unstructured":"R. Reussner, P. Sanders, L. Prechelt, M. M\u00fcller: SKaMPI: A Detailed, Accurate MPI Benchmark. Proc. 5th European PVM\/MPI Users\u2019Group Meeting, Springer, Lecture Notes in Computer Science, Vol. 1497, Liverpool, UK, pp. 52\u201359 (Sept. 1998)."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"M. Ronsse, D. Kranzlm\u00fcller: RoltMP-Replay of Lamport Timestamps for Message Passing Systems. Proc. 6th EUROMICRO Workshop on Parallel and Distributed Processing, University of Madrid, Spain, pp. 87\u201393, (Jan. 1998).","DOI":"10.1109\/EMPDP.1998.647184"},{"key":"17_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/BFb0002721","volume-title":"Proc. EUROPAR\u201997 Parallel Processing, 3rd Intl. Euro-Par Conference","author":"F. Teodorescu","year":"1997","unstructured":"F. Teodorescu, J. Chassin de Kergommeaux: On Correcting the Intrusion of Tracing Non-deterministic Programs by Software. Proc. EUROPAR\u201997 Parallel Processing, 3rd Intl. Euro-Par Conference, Springer, Lecture Notes in Computer Science, Vol. 1300, Passau, Germany, pp. 94\u2013101 (Aug. 1997)."},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"W. Wu, R. Gupta, M. Spezialetti: Experimental Evaluation of On-line Techniques for Removing Monitoring Intrusion. Proc. of SPDT\u201998, SIGMETRICS Symposium on Parallel and Distributed Tools, Welches, Oregon, pp. 30\u201339, (Aug. 1998).","DOI":"10.1145\/281035.281039"}],"container-title":["Lecture Notes in Computer Science","Euro-Par\u201999 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48311-X_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:22:59Z","timestamp":1739992979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48311-X_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664437","9783540483113"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48311-x_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"6 August 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}