{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:14Z","timestamp":1775053454547,"version":"3.50.1"},"reference-count":22,"publisher":"Pleiades Publishing Ltd","issue":"6","license":[{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2006,12]]},"DOI":"10.1134\/s036176880606003x","type":"journal-article","created":{"date-parts":[[2006,11,28]],"date-time":"2006-11-28T13:52:04Z","timestamp":1164721924000},"page":"308-316","source":"Crossref","is-referenced-by-count":1,"title":["Scaling down discrete-event simulation models"],"prefix":"10.1134","volume":"32","author":[{"given":"K. O.","family":"Savenkov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. L.","family":"Smeliansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"6003_CR1","unstructured":"Smeliansky, R.L., On an Invariant of Program Behavior, Vestn. Mosk. Univ., Ser. 15, 1990, vol. 4."},{"key":"6003_CR2","unstructured":"Chung, C.A., Simulation Modeling Handbook\u2014A Practical Approach, CRC, 2004."},{"key":"6003_CR3","unstructured":"Dinamika system s diskretnymi sobytiyami (Dynamics of Systems with Discrete Events), Mir, 1989."},{"key":"6003_CR4","unstructured":"Bruns, G.R., Process Abstraction in the Verification of Temporal Properties, PhD Dissertation, University of Edinburgh, 1997."},{"key":"6003_CR5","doi-asserted-by":"crossref","unstructured":"Bakhmurov, A., Kapitonova, A., and Smeliansky, R., DYANA: An Environment for Embedded System Design and Analysis, Proc. of 32nd Annu. Simulation Symp., San Diego, 1999.","DOI":"10.1007\/3-540-49059-0_27"},{"key":"6003_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., and Warren, J.D., The Program Dependence Graph and Its Use in Optimization, ACM Trans. Programming Languages Systems, 1987, vol. 9, pp. 319\u2013349.","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"6003_CR7","doi-asserted-by":"crossref","unstructured":"Binkley, D. and Gallagher, K., A Survey of Program Slicing, in Advances Computers, Academic, 1996.","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"6003_CR8","unstructured":"Smeliansky, R.L., et al., Construction of Models of Processors for Digital Processing of Signals on the Basis of Static-Dynamic Approach, Proc. of the 1st Int. Conf. \u201cDigital Signal Processing and Its Applications, (Moscow, 1998), Moscow: MTsNTI; vol. 4, pp. 147\u2013151; http:\/\/lvk.cs.msu.su\/materials\/san2.doc."},{"key":"6003_CR9","first-page":"486","volume-title":"Tr. Vseross. nauchn. konf. \u201cMetody i sredstva obrabotki informatsii\u201d","author":"K.O. Savenkov","year":"2003","unstructured":"Savenkov, K.O. and Yushchenko, N.V., Technique of Processor Behavior Description for Estimating Program Implementation Time, Tr. Vseross. nauchn. konf. \u201cMetody i sredstva obrabotki informatsii\u201d (Proc. of All-Russia Scientific Conf. \u201cMethods and Means of Information Processing\u201d), Moscow: Mosk. Gos. Univ., 2003, pp. 486\u2013491; http:\/\/lvk.cs.msu.su\/materials\/11.doc."},{"key":"6003_CR10","unstructured":"Molonov, V.G. and Smeliansky, R.L., Complex Approach to Modeling Distributed Computing Systems, Programmirovanie, 1987, no. 6."},{"key":"6003_CR11","unstructured":"Smeliansky, R.L., Mathematical Model of Functioning of Distributed Computing Systems, Vestn. Mosk. Univ., Ser. 15, 1990, vol. 3."},{"key":"6003_CR12","first-page":"87","volume":"27","author":"A.P. Ershov","year":"1973","unstructured":"Ershov, A.P., State of the Art of the Theory of Program Schemes), Problemy kibern., 1973, vol. 27, pp. 87\u2013110.","journal-title":"Problemy kibern."},{"key":"6003_CR13","doi-asserted-by":"crossref","unstructured":"Cheng, J., Slicing Concurrent Programs\u2014A Graph-Theoretical Approach, in Automated and Algorithmic Debugging, 1993, pp. 223\u2013240; citeseer.ist.psu.edu\/cheng93slicing.html.","DOI":"10.1007\/BFb0019411"},{"issue":"4","key":"6003_CR14","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M., Program Slicing, IEEE Trans. Software Engineering, 1984, vol. 10, no. 4, pp. 352\u2013357.","journal-title":"IEEE Trans. Software Engineering"},{"key":"6003_CR15","unstructured":"Groote, J.F., The Syntax and Semantics of Timed CRL, Centrum voor Wiskunde en Informatica (CWI), 1997; citeseer.ist.psu.edu\/groote97syn-tax.html."},{"key":"6003_CR16","unstructured":"Harrold, M.J. and Rothermel, G., Syntax-directed Construction of Program Dependence Graphs, Tech. Report OSU-CISRC-5\/96-TR32, The Ohio State University, 1996; citeseer.ist.psu.edu\/152209.html."},{"key":"6003_CR17","unstructured":"Snelting, G., Robschink, T., and Krinke, J., Efficient Path Conditions in Dependence Graphs for Software Safety Analysis, citeseer.ist.psu.edu\/630759.html."},{"key":"6003_CR18","doi-asserted-by":"crossref","unstructured":"Mueler-Olm, M. and Seidl, H., On Optimal Slicing of Parallel Programs, Proc. of the 33th ACM Symp. on Theory of Computing, 2001, pp. 647\u2013656, citeseer.ist.psu.edu\/502699.html.","DOI":"10.1145\/380752.380864"},{"key":"6003_CR19","volume-title":"Program Analysis Via Graph Reachability. TR-1386","author":"T. Reps","year":"1998","unstructured":"Reps, T., Program Analysis Via Graph Reachability. TR-1386. Computer Sciences Department, Madison, 1998, http:\/\/www.cs.wisc.edu\/wpis\/papers\/tr1386.pdf."},{"key":"6003_CR20","unstructured":"Bakhmurov, A.G., Kostenko, V.A., and Smeliansky, R.L., Modeling Environment DYANA: Synthesis, Analysis and Optimization of Computational Systems, Tezisy dokladov Vseross. nauchn. konf. \u201cFundamental\u2019nye i prikladnye aspekty razrabotki bol\u2019shikh raspredelennykh programmnykh kompleksov\u201d, (Abstracts of the All-Russia Scientific Conf. \u201cFundamental and Applied Aspects of the Development of Large Distributed Program Complexes\u201d), Novorossiisk, 1998, pp. 28\u201334, http:\/\/lvk.cs.msu.su\/materials\/san3.doc."},{"key":"6003_CR21","first-page":"203","volume-title":"Sbornik dokladov 1-oi mezhdunarodnoi konf. \u201cTsifrovaya obrabotka signalov i ee primeneniya\u201d","author":"R.L. Smeliansky","year":"1998","unstructured":"Smeliansky, R.L., et al., A Technique for Estimating Execution Time of Programs Optimized for a Concrete Process Architecture by Using Program Text on a High-Level Language, Sbornik dokladov 1-oi mezhdunarodnoi konf. \u201cTsifrovaya obrabotka signalov i ee primeneniya\u201d (Proc. of the 1st Int. Conf. \u201cDigital Signal Processing and its Applications\u201d), Moscow: MTsNTI, 1998, vol. 4, pp. 203\u2013220, http:\/\/lvk.cs.msu.su\/materials\/san1.doc."},{"key":"6003_CR22","volume-title":"Doctoral (Phys.-Math.) Dissertation","author":"R.L. Smeliansky","year":"1990","unstructured":"Smeliansky, R.L., Analysis of Performance of Distributed Microprocessor Computing Systems Based on a Program Behavior Invariant, Doctoral (Phys.-Math.) Dissertation, Moscow: Moscow State University, 1990."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880606003X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S036176880606003X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880606003X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176880606003X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:22:06Z","timestamp":1775010126000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S036176880606003X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2006,12]]}},"alternative-id":["6003"],"URL":"https:\/\/doi.org\/10.1134\/s036176880606003x","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12]]}}}