Defeasible time-stepping
Some physical systems need to be modeled for simulation so that they evolve in time in both a time-driven (time-stepped) and an event-driven manner. An example is a system of colliding particles that move in a dynamically changing potential field. Such behavior can be observed in the modeling of rea...
Saved in:
| Published in | Parallel computing Vol. 25; no. 4; pp. 461 - 489 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier B.V
1999
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 0167-8191 1872-7336 |
| DOI | 10.1016/S0167-8191(98)00117-3 |
Cover
| Abstract | Some physical systems need to be modeled for simulation so that they evolve in time in both a time-driven (time-stepped) and an event-driven manner. An example is a system of colliding particles that move in a dynamically changing potential field. Such behavior can be observed in the modeling of real physical systems such as nuclear collisions and the transport of neutrinos in a supernova explosion. We have developed a distributed algorithm for the optimistic simulation of systems that evolve according to time steps of known duration, but also require simulation time to evolve in an event-driven manner within each step, in order to reproduce the occurrence of discrete events. It is then a hybrid simulation algorithm, since it synchronizes the computation according to both the time- and event-driven aspects of the physical system model. One of the main characteristics of our algorithm, which we call defeasible time-stepping (DTS), is that its time-stepping portion is also subject to revision by rollback. This paper introduces DTS and its properties, and contains performance figures for an implementation of the algorithm when applied to the simulation of a nuclear physics problem on an Intel iPSC/860. We also show that DTS imposes an upper bound on the difference of clock values of the various logical processes that participate in the simulation. This upper bound grows linearly with the diameter of the directed graph underlying the physical system model, and can be calibrated by adjusting a proportionality constant. As a consequence, DTS can also be viewed as a mechanism for limiting optimism in strictly event-driven simulations. |
|---|---|
| AbstractList | Some physical systems need to be modeled for simulation so that they evolve in time in both a time-driven (time-stepped) and an event-driven manner. An example is a system of colliding particles that move in a dynamically changing potential field. Such behavior can be observed in the modeling of real physical systems such as nuclear collisions and the transport of neutrinos in a supernova explosion. We have developed a distributed algorithm for the optimistic simulation of systems that evolve according to time steps of known duration, but also require simulation time to evolve in an event-driven manner within each step, in order to reproduce the occurrence of discrete events. It is then a hybrid simulation algorithm, since it synchronizes the computation according to both the time- and event-driven aspects of the physical system model. One of the main characteristics of our algorithm, which we call defeasible time-stepping (DTS), is that its time-stepping portion is also subject to revision by rollback. This paper introduces DTS and its properties, and contains performance figures for an implementation of the algorithm when applied to the simulation of a nuclear physics problem on an Intel iPSC/860. We also show that DTS imposes an upper bound on the difference of clock values of the various logical processes that participate in the simulation. This upper bound grows linearly with the diameter of the directed graph underlying the physical system model, and can be calibrated by adjusting a proportionality constant. As a consequence, DTS can also be viewed as a mechanism for limiting optimism in strictly event-driven simulations. |
| Author | Barbosa, Valmir C. Donangelo, Raul Wedemann, Roseli S. |
| Author_xml | – sequence: 1 givenname: Roseli S. surname: Wedemann fullname: Wedemann, Roseli S. organization: Instituto de Matemática e Estatı́stica, Universidade Estadual do Rio de Janeiro, Rua S. Francisco Xavier, 524, 20550-013 Rio de Janeiro, RJ, Brazil – sequence: 2 givenname: Valmir C. surname: Barbosa fullname: Barbosa, Valmir C. organization: Programa de Engenharia de Sistemas e Comp., COPPE, Universidade Federal do Rio de Janeiro, Caixa Postal 68511, 21945-970 Rio de Janeiro, RJ, Brazil – sequence: 3 givenname: Raul surname: Donangelo fullname: Donangelo, Raul organization: Instituto de Fı́sica, Universidade Federal do Rio de Janeiro, Caixa Postal 68528, 21945-970 Rio de Janeiro, RJ, Brazil |
| BookMark | eNqFkE1LAzEQhoNUsK3evQieRA-rySabDzxIqZ9Q8KCeQzaZSGS7uyap4L9324oHL4Vh5vI-L8wzQaO2awGhE4IvCSb86mVYopBEkXMlLzAmRBR0D42JFGUhKOUjNP6LHKBJSh8YY84kHqPjW_BgUqgbOM1hCUXK0PehfT9E-940CY5-7xS93d-9zh-LxfPD03y2KCylMheMUsEqXjJPCeWe2bLkCvuaOeE8E8ZBbZnhlRTKKUMqy7yVYBVz2NWkFHSKzra9few-V5CyXoZkoWlMC90q6aGODFMNwWobtLFLKYLXfQxLE781wXrtQW886PWTWkm98aDpwF3_42zIJoeuzdGEZid9s6VhcPAVIOpkA7QWXIhgs3Zd2NHwA9Yzd3Y |
| CitedBy_id | crossref_primary_10_1177_0037549708097881 |
| Cites_doi | 10.1103/PhysRevC.31.1730 10.1016/0167-8191(92)90096-P 10.1016/0167-8191(93)90108-W 10.1109/SIMSYM.1989.748296 10.1145/3916.3988 10.1145/6462.6485 10.1145/159737.159744 10.1016/0370-1573(88)90170-6 10.1145/214451.214456 10.1145/182478.182490 10.1145/182478.182480 10.1145/63238.63247 10.1145/182478.182481 10.1016/0021-9991(88)90101-5 10.1145/359545.359563 10.1016/0167-8191(94)00101-F 10.1109/PADS.1995.404307 10.1145/4221.4227 10.1145/84537.84545 10.1109/TSE.1979.230182 10.1109/PADS.1995.404309 10.1103/PhysRevLett.69.1888 10.1145/182478.182479 10.1145/318123.318205 10.1145/158459.158473 10.1145/130611.130614 |
| ContentType | Journal Article |
| Copyright | 1999 Elsevier Science B.V. |
| Copyright_xml | – notice: 1999 Elsevier Science B.V. |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/S0167-8191(98)00117-3 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1872-7336 |
| EndPage | 489 |
| ExternalDocumentID | 10_1016_S0167_8191_98_00117_3 S0167819198001173 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 123 1B1 1~. 1~5 29O 4.4 457 4G. 5VS 6OB 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABEFU ABFNM ABJNI ABMAC ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD ADTZH AEBSH AECPX AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HLZ HVGLF HZ~ H~9 IHE J1W JJJVA KOM LG9 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SBC SCC SDF SDG SDP SES SEW SPC SPCBC SST SSV SSZ T5K WH7 WUQ XPP ZMT ~G- AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c338t-433745624f3136f4c22690fb4d7df47adebc4a65879d9a15c4fc8ec94d0db1273 |
| IEDL.DBID | AIKHN |
| ISSN | 0167-8191 |
| IngestDate | Thu Oct 02 09:58:15 EDT 2025 Wed Oct 01 03:24:50 EDT 2025 Thu Apr 24 23:10:43 EDT 2025 Fri Feb 23 02:30:43 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Keywords | Distributed simulation Hybrid time evolution Optimism limitation |
| Language | English |
| License | https://www.elsevier.com/tdm/userlicense/1.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c338t-433745624f3136f4c22690fb4d7df47adebc4a65879d9a15c4fc8ec94d0db1273 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 26916915 |
| PQPubID | 23500 |
| PageCount | 29 |
| ParticipantIDs | proquest_miscellaneous_26916915 crossref_primary_10_1016_S0167_8191_98_00117_3 crossref_citationtrail_10_1016_S0167_8191_98_00117_3 elsevier_sciencedirect_doi_10_1016_S0167_8191_98_00117_3 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 1900 |
| PublicationDate | 1999-00-00 |
| PublicationDateYYYYMMDD | 1999-01-01 |
| PublicationDate_xml | – year: 1999 text: 1999-00-00 |
| PublicationDecade | 1990 |
| PublicationTitle | Parallel computing |
| PublicationYear | 1999 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | J. Steinman, C.A. Lee, L.F. Wilson, D.M. Nicol, Global virtual time and distributed synchronization, Proceedings of the Workshop on Parallel and Distributed Simulation, 1995, pp. 139–148 Chandy, Lamport (BIB9) 1985; 3 V. Madisetti, J. Walrand, D. Messerschmitt, Wolf: A rollback algorithm for optimistic distributed simulation systems, Proceedings of the Winter Simulation Conference, 1988, pp. 296–305 Awerbuch (BIB2) 1985; 32 D.P. Briscoe, L.M. Sokol, A.P. Wieland, Object-oriented simulations on a parallel architecture, Technical Report MTR-87W00172, The MITRE Corporation, September 1987 Aichelin, Bertsch (BIB1) 1985; 31 Lamport (BIB21) 1978; 21 J. Steinman, Breathing Time Warp, Proceedings of the Workshop on Parallel and Distributed Simulation, 1993, pp. 109–118 R.M. Fujimoto, Lookahead in parallel discrete event simulation, Proceedings of the International Conference on Parallel Processing, vol. III, 1988, pp. 34–41 J. Steinman, SPEEDES: Synchronous Parallel Environment for Emulation and Discrete-Event Simulation, Proceedings of the SCS Multiconference on Advances in Parallel and Distributed Simulation, 1991, pp. 95–103 J. Steinman, Discrete event simulation and the event horizon, Proceedings of the Workshop on Parallel and Distributed Simulation, 1994, pp. 39–49 Eick, Greenberg, Lubachevsky, Weiss (BIB13) 1993; 3 Fujimoto (BIB16) 1990; 33 Lubachevsky (BIB22) 1988; 75 Struckmeier, Pfreundt (BIB37) 1993; 19 Chandy, Misra (BIB10) 1979; 5 J. Steinman, Parallel proximity detection and the distribution list algorithm, Proceedings of the Workshop on Parallel and Distributed Simulation, 1994, pp. 3–11 Bagrodia, Chandy, Liao (BIB3) 1991; 1 Lubachevsky (BIB23) 1989; 32 M. Snir, S.W. Otto, S. Huss-Lederman, D.W. Walker, J. Dongarra, MPI: The Complete Reference, The MIT Press, Cambridge, MA, 1995 Schüller (BIB28) 1992; 18 L.M. Sokol, B. K. Stucky, MTW: experimental results for a constrained optimistic scheduling algorithm, Proceedings of the SCS Conference on Distributed Simulation, 1990, pp. 169–173 V.C. Barbosa, An Introduction to Distributed Algorithms, The MIT Press, Cambridge, MA, 1996 Bertsch, Gupta (BIB7) 1988; 160 W. Bauer, G.F. Bertsch, H. Schulz, Bubble and ring formation in nuclear fragmentation, Technical Report MSUCL-840, Michigan State University/National Superconducting Cyclotron Laboratory, June 1992 D.O. Hamnes, A. Tripathi, Investigations in adaptive distributed simulation, Proceedings of the Workshop on Parallel and Distributed Simulation, 1994, pp. 20–23 V. Madisetti, J. Walrand, D. Messerschmitt, Efficient distributed simulation, Proceedings of the Annual Simulation Symposium, 1989, pp. 5–21 S.J. Turner, Q.M. Xu, Performance evaluation of the Bounded Time Warp algorithm, Proceedings of the Workshop on Parallel and Distributed Simulation, 1992, pp. 117–126 K.M. Chandy, R. Sherman, Space-time and simulation, Proceedings of the SCS Multiconference on Distributed Simulation, 1989, pp. 53–57 L.M. Sokol, B.K. Stucky, V.S. Hwang, MTW: a control mechanism for parallel discrete simulation, Proceedings of the International Conference on Parallel Processing, vol. III, 1989, pp. 250–254 R.S. Wedemann, Distributed simulation of systems with a hybrid time-evolution nature, Doctoral thesis, COPPE/UFRJ, 1995 (in Portuguese) K.M. Chandy, R. Sherman, The conditional event approach to distributed simulation, Proceedings of the SCS Multiconference on Distributed Simulation, 1989, pp. 93–99 V. Jha, R. Bagrodia, A unified framework for conservative and optimistic distributed simulation, Proceedings of the Workshop on Parallel and Distributed Simulation, 1994, pp. 12–19 Misra (BIB26) 1986; 18 Nicol (BIB27) 1995; 21 A. Ferscha, Probabilistic adaptive direct optimism control in Time Warp, Proceedings of the Workshop on Parallel and Distributed Simulation, 1995, pp. 120–129 P. Hontalas, B. Beckman, M. DiLoreto, L. Blume, P. Reiher, K. Sturdevant, L. van Warren, J. Wedel, F. Wieland, D.R. Jefferson, Performance of the colliding pucks simulation on the Time Warp operating system, Proceedings of the SCS Multiconference on Distributed Simulation, 1989, pp. 3–7 D.R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems 7 (1985) 404–425 D. Ball, S. Hoyt, The adaptive Time Warp concurrency control algorithm, Proceedings of the SCS Multiconference on Distributed Simulation, 1990, pp. 174–177 10.1016/S0167-8191(98)00117-3_BIB35 10.1016/S0167-8191(98)00117-3_BIB14 Nicol (10.1016/S0167-8191(98)00117-3_BIB27) 1995; 21 10.1016/S0167-8191(98)00117-3_BIB36 10.1016/S0167-8191(98)00117-3_BIB15 10.1016/S0167-8191(98)00117-3_BIB38 10.1016/S0167-8191(98)00117-3_BIB31 10.1016/S0167-8191(98)00117-3_BIB32 10.1016/S0167-8191(98)00117-3_BIB11 Schüller (10.1016/S0167-8191(98)00117-3_BIB28) 1992; 18 10.1016/S0167-8191(98)00117-3_BIB33 10.1016/S0167-8191(98)00117-3_BIB12 10.1016/S0167-8191(98)00117-3_BIB34 Eick (10.1016/S0167-8191(98)00117-3_BIB13) 1993; 3 10.1016/S0167-8191(98)00117-3_BIB17 10.1016/S0167-8191(98)00117-3_BIB39 10.1016/S0167-8191(98)00117-3_BIB18 10.1016/S0167-8191(98)00117-3_BIB19 Lamport (10.1016/S0167-8191(98)00117-3_BIB21) 1978; 21 Aichelin (10.1016/S0167-8191(98)00117-3_BIB1) 1985; 31 10.1016/S0167-8191(98)00117-3_BIB30 Fujimoto (10.1016/S0167-8191(98)00117-3_BIB16) 1990; 33 Chandy (10.1016/S0167-8191(98)00117-3_BIB10) 1979; 5 10.1016/S0167-8191(98)00117-3_BIB24 10.1016/S0167-8191(98)00117-3_BIB6 10.1016/S0167-8191(98)00117-3_BIB25 Awerbuch (10.1016/S0167-8191(98)00117-3_BIB2) 1985; 32 10.1016/S0167-8191(98)00117-3_BIB8 Chandy (10.1016/S0167-8191(98)00117-3_BIB9) 1985; 3 10.1016/S0167-8191(98)00117-3_BIB20 10.1016/S0167-8191(98)00117-3_BIB5 10.1016/S0167-8191(98)00117-3_BIB4 10.1016/S0167-8191(98)00117-3_BIB29 Lubachevsky (10.1016/S0167-8191(98)00117-3_BIB23) 1989; 32 Bertsch (10.1016/S0167-8191(98)00117-3_BIB7) 1988; 160 Bagrodia (10.1016/S0167-8191(98)00117-3_BIB3) 1991; 1 Misra (10.1016/S0167-8191(98)00117-3_BIB26) 1986; 18 Lubachevsky (10.1016/S0167-8191(98)00117-3_BIB22) 1988; 75 Struckmeier (10.1016/S0167-8191(98)00117-3_BIB37) 1993; 19 |
| References_xml | – reference: D. Ball, S. Hoyt, The adaptive Time Warp concurrency control algorithm, Proceedings of the SCS Multiconference on Distributed Simulation, 1990, pp. 174–177 – reference: V.C. Barbosa, An Introduction to Distributed Algorithms, The MIT Press, Cambridge, MA, 1996 – reference: S.J. Turner, Q.M. Xu, Performance evaluation of the Bounded Time Warp algorithm, Proceedings of the Workshop on Parallel and Distributed Simulation, 1992, pp. 117–126 – volume: 3 start-page: 63 year: 1985 end-page: 75 ident: BIB9 article-title: Distributed snapshots: determining global states of distributed systems publication-title: ACM Trans. on Computer Systems – volume: 31 start-page: 1730 year: 1985 end-page: 1738 ident: BIB1 article-title: Numerical simulation of medium energy heavy ion reactions publication-title: Physical Review C – reference: R.S. Wedemann, Distributed simulation of systems with a hybrid time-evolution nature, Doctoral thesis, COPPE/UFRJ, 1995 (in Portuguese) – reference: D.P. Briscoe, L.M. Sokol, A.P. Wieland, Object-oriented simulations on a parallel architecture, Technical Report MTR-87W00172, The MITRE Corporation, September 1987 – volume: 21 start-page: 558 year: 1978 end-page: 565 ident: BIB21 article-title: Time, clocks, and the ordering of events in a distributed system publication-title: Comm. of the ACM – reference: J. Steinman, Breathing Time Warp, Proceedings of the Workshop on Parallel and Distributed Simulation, 1993, pp. 109–118 – reference: D.R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems 7 (1985) 404–425 – reference: P. Hontalas, B. Beckman, M. DiLoreto, L. Blume, P. Reiher, K. Sturdevant, L. van Warren, J. Wedel, F. Wieland, D.R. Jefferson, Performance of the colliding pucks simulation on the Time Warp operating system, Proceedings of the SCS Multiconference on Distributed Simulation, 1989, pp. 3–7 – volume: 160 start-page: 190 year: 1988 end-page: 233 ident: BIB7 article-title: A guide to microscopic models for intermediate energy heavy ion collisions publication-title: Physics Reports – reference: W. Bauer, G.F. Bertsch, H. Schulz, Bubble and ring formation in nuclear fragmentation, Technical Report MSUCL-840, Michigan State University/National Superconducting Cyclotron Laboratory, June 1992 – reference: V. Jha, R. Bagrodia, A unified framework for conservative and optimistic distributed simulation, Proceedings of the Workshop on Parallel and Distributed Simulation, 1994, pp. 12–19 – volume: 18 start-page: 39 year: 1986 end-page: 65 ident: BIB26 article-title: Distributed discrete-event simulation publication-title: Computing Surveys – volume: 3 start-page: 287 year: 1993 end-page: 314 ident: BIB13 article-title: Synchronous relaxation for parallel simulations with applications to circuit switched networks publication-title: ACM Trans. on Modeling and Computer Simulation – reference: A. Ferscha, Probabilistic adaptive direct optimism control in Time Warp, Proceedings of the Workshop on Parallel and Distributed Simulation, 1995, pp. 120–129 – reference: M. Snir, S.W. Otto, S. Huss-Lederman, D.W. Walker, J. Dongarra, MPI: The Complete Reference, The MIT Press, Cambridge, MA, 1995 – reference: L.M. Sokol, B.K. Stucky, V.S. Hwang, MTW: a control mechanism for parallel discrete simulation, Proceedings of the International Conference on Parallel Processing, vol. III, 1989, pp. 250–254 – volume: 1 start-page: 348 year: 1991 end-page: 385 ident: BIB3 article-title: A unifying framework for distributed simulation publication-title: ACM Trans. on Modeling and Computer Simulation – reference: J. Steinman, Discrete event simulation and the event horizon, Proceedings of the Workshop on Parallel and Distributed Simulation, 1994, pp. 39–49 – reference: R.M. Fujimoto, Lookahead in parallel discrete event simulation, Proceedings of the International Conference on Parallel Processing, vol. III, 1988, pp. 34–41 – volume: 5 start-page: 440 year: 1979 end-page: 452 ident: BIB10 article-title: Distributed simulation: a case study in design and verification of distributed programs publication-title: IEEE Trans. on Software Engineering – reference: V. Madisetti, J. Walrand, D. Messerschmitt, Wolf: A rollback algorithm for optimistic distributed simulation systems, Proceedings of the Winter Simulation Conference, 1988, pp. 296–305 – volume: 32 start-page: 804 year: 1985 end-page: 823 ident: BIB2 article-title: Complexity of network synchronization publication-title: J. of the ACM – reference: L.M. Sokol, B. K. Stucky, MTW: experimental results for a constrained optimistic scheduling algorithm, Proceedings of the SCS Conference on Distributed Simulation, 1990, pp. 169–173 – volume: 75 start-page: 103 year: 1988 end-page: 122 ident: BIB22 article-title: Efficient parallel simulations of dynamic Ising spin systems publication-title: Journal of Computational Physics – volume: 18 start-page: 269 year: 1992 end-page: 279 ident: BIB28 article-title: Parallelizing particle simulations based on the Boltzmann equation publication-title: Parallel Computing – reference: V. Madisetti, J. Walrand, D. Messerschmitt, Efficient distributed simulation, Proceedings of the Annual Simulation Symposium, 1989, pp. 5–21 – reference: J. Steinman, C.A. Lee, L.F. Wilson, D.M. Nicol, Global virtual time and distributed synchronization, Proceedings of the Workshop on Parallel and Distributed Simulation, 1995, pp. 139–148 – reference: D.O. Hamnes, A. Tripathi, Investigations in adaptive distributed simulation, Proceedings of the Workshop on Parallel and Distributed Simulation, 1994, pp. 20–23 – volume: 32 start-page: 111 year: 1989 end-page: 123 ident: BIB23 article-title: Efficient distributed event-driven simulations of multiple-loop networks publication-title: Comm. of the ACM – reference: K.M. Chandy, R. Sherman, Space-time and simulation, Proceedings of the SCS Multiconference on Distributed Simulation, 1989, pp. 53–57 – volume: 33 start-page: 30 year: 1990 end-page: 53 ident: BIB16 article-title: Parallel discrete event simulation publication-title: Comm. of the ACM – reference: J. Steinman, Parallel proximity detection and the distribution list algorithm, Proceedings of the Workshop on Parallel and Distributed Simulation, 1994, pp. 3–11 – reference: J. Steinman, SPEEDES: Synchronous Parallel Environment for Emulation and Discrete-Event Simulation, Proceedings of the SCS Multiconference on Advances in Parallel and Distributed Simulation, 1991, pp. 95–103 – reference: K.M. Chandy, R. Sherman, The conditional event approach to distributed simulation, Proceedings of the SCS Multiconference on Distributed Simulation, 1989, pp. 93–99 – volume: 21 start-page: 529 year: 1995 end-page: 549 ident: BIB27 article-title: Non-committal barrier synchronization publication-title: Parallel Computing – volume: 19 start-page: 103 year: 1993 end-page: 119 ident: BIB37 article-title: On the efficiency of simulation methods for the Boltzmann equation on parallel computers publication-title: Parallel Computing – volume: 31 start-page: 1730 year: 1985 ident: 10.1016/S0167-8191(98)00117-3_BIB1 article-title: Numerical simulation of medium energy heavy ion reactions publication-title: Physical Review C doi: 10.1103/PhysRevC.31.1730 – volume: 18 start-page: 269 year: 1992 ident: 10.1016/S0167-8191(98)00117-3_BIB28 article-title: Parallelizing particle simulations based on the Boltzmann equation publication-title: Parallel Computing doi: 10.1016/0167-8191(92)90096-P – volume: 19 start-page: 103 year: 1993 ident: 10.1016/S0167-8191(98)00117-3_BIB37 article-title: On the efficiency of simulation methods for the Boltzmann equation on parallel computers publication-title: Parallel Computing doi: 10.1016/0167-8191(93)90108-W – ident: 10.1016/S0167-8191(98)00117-3_BIB15 – ident: 10.1016/S0167-8191(98)00117-3_BIB25 doi: 10.1109/SIMSYM.1989.748296 – ident: 10.1016/S0167-8191(98)00117-3_BIB38 – ident: 10.1016/S0167-8191(98)00117-3_BIB19 doi: 10.1145/3916.3988 – volume: 18 start-page: 39 year: 1986 ident: 10.1016/S0167-8191(98)00117-3_BIB26 article-title: Distributed discrete-event simulation publication-title: Computing Surveys doi: 10.1145/6462.6485 – volume: 3 start-page: 287 year: 1993 ident: 10.1016/S0167-8191(98)00117-3_BIB13 article-title: Synchronous relaxation for parallel simulations with applications to circuit switched networks publication-title: ACM Trans. on Modeling and Computer Simulation doi: 10.1145/159737.159744 – volume: 160 start-page: 190 year: 1988 ident: 10.1016/S0167-8191(98)00117-3_BIB7 article-title: A guide to microscopic models for intermediate energy heavy ion collisions publication-title: Physics Reports doi: 10.1016/0370-1573(88)90170-6 – ident: 10.1016/S0167-8191(98)00117-3_BIB12 – volume: 3 start-page: 63 year: 1985 ident: 10.1016/S0167-8191(98)00117-3_BIB9 article-title: Distributed snapshots: determining global states of distributed systems publication-title: ACM Trans. on Computer Systems doi: 10.1145/214451.214456 – ident: 10.1016/S0167-8191(98)00117-3_BIB31 – ident: 10.1016/S0167-8191(98)00117-3_BIB35 doi: 10.1145/182478.182490 – ident: 10.1016/S0167-8191(98)00117-3_BIB20 doi: 10.1145/182478.182480 – volume: 32 start-page: 111 year: 1989 ident: 10.1016/S0167-8191(98)00117-3_BIB23 article-title: Efficient distributed event-driven simulations of multiple-loop networks publication-title: Comm. of the ACM doi: 10.1145/63238.63247 – ident: 10.1016/S0167-8191(98)00117-3_BIB5 – ident: 10.1016/S0167-8191(98)00117-3_BIB17 doi: 10.1145/182478.182481 – ident: 10.1016/S0167-8191(98)00117-3_BIB18 – volume: 75 start-page: 103 year: 1988 ident: 10.1016/S0167-8191(98)00117-3_BIB22 article-title: Efficient parallel simulations of dynamic Ising spin systems publication-title: Journal of Computational Physics doi: 10.1016/0021-9991(88)90101-5 – ident: 10.1016/S0167-8191(98)00117-3_BIB39 – volume: 21 start-page: 558 year: 1978 ident: 10.1016/S0167-8191(98)00117-3_BIB21 article-title: Time, clocks, and the ordering of events in a distributed system publication-title: Comm. of the ACM doi: 10.1145/359545.359563 – volume: 21 start-page: 529 year: 1995 ident: 10.1016/S0167-8191(98)00117-3_BIB27 article-title: Non-committal barrier synchronization publication-title: Parallel Computing doi: 10.1016/0167-8191(94)00101-F – ident: 10.1016/S0167-8191(98)00117-3_BIB36 doi: 10.1109/PADS.1995.404307 – volume: 32 start-page: 804 year: 1985 ident: 10.1016/S0167-8191(98)00117-3_BIB2 article-title: Complexity of network synchronization publication-title: J. of the ACM doi: 10.1145/4221.4227 – volume: 33 start-page: 30 year: 1990 ident: 10.1016/S0167-8191(98)00117-3_BIB16 article-title: Parallel discrete event simulation publication-title: Comm. of the ACM doi: 10.1145/84537.84545 – volume: 5 start-page: 440 year: 1979 ident: 10.1016/S0167-8191(98)00117-3_BIB10 article-title: Distributed simulation: a case study in design and verification of distributed programs publication-title: IEEE Trans. on Software Engineering doi: 10.1109/TSE.1979.230182 – ident: 10.1016/S0167-8191(98)00117-3_BIB8 – ident: 10.1016/S0167-8191(98)00117-3_BIB14 doi: 10.1109/PADS.1995.404309 – ident: 10.1016/S0167-8191(98)00117-3_BIB6 doi: 10.1103/PhysRevLett.69.1888 – ident: 10.1016/S0167-8191(98)00117-3_BIB11 – ident: 10.1016/S0167-8191(98)00117-3_BIB32 – ident: 10.1016/S0167-8191(98)00117-3_BIB30 – ident: 10.1016/S0167-8191(98)00117-3_BIB34 doi: 10.1145/182478.182479 – ident: 10.1016/S0167-8191(98)00117-3_BIB29 – ident: 10.1016/S0167-8191(98)00117-3_BIB24 doi: 10.1145/318123.318205 – ident: 10.1016/S0167-8191(98)00117-3_BIB33 doi: 10.1145/158459.158473 – volume: 1 start-page: 348 year: 1991 ident: 10.1016/S0167-8191(98)00117-3_BIB3 article-title: A unifying framework for distributed simulation publication-title: ACM Trans. on Modeling and Computer Simulation doi: 10.1145/130611.130614 – ident: 10.1016/S0167-8191(98)00117-3_BIB4 |
| SSID | ssj0006480 |
| Score | 1.5156537 |
| Snippet | Some physical systems need to be modeled for simulation so that they evolve in time in both a time-driven (time-stepped) and an event-driven manner. An example... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 461 |
| SubjectTerms | Distributed simulation Hybrid time evolution Optimism limitation |
| Title | Defeasible time-stepping |
| URI | https://dx.doi.org/10.1016/S0167-8191(98)00117-3 https://www.proquest.com/docview/26916915 |
| Volume | 25 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Science Direct customDbUrl: eissn: 1872-7336 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0006480 issn: 0167-8191 databaseCode: .~1 dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect customDbUrl: eissn: 1872-7336 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0006480 issn: 0167-8191 databaseCode: ACRLP dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect customDbUrl: eissn: 1872-7336 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0006480 issn: 0167-8191 databaseCode: AIKHN dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals customDbUrl: mediaType: online eissn: 1872-7336 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0006480 issn: 0167-8191 databaseCode: AKRWK dateStart: 19930101 isFulltext: true providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LTwIxEJ7wuHjxbcAH7sGDHhYWW7bbI0EJauSiJNyaPg0JWYjC1d9u2-36SgyJ1ybTdGfaee3MNwAX3Bp5TEUSc6Rc6gaZWCAuY9G9VoJLnhmf73gcp6MJvp_2phUYlL0wrqwy6P5Cp3ttHVY6gZud5WzWeXIF9C7coJkHNkNVqFv7k2U1qPfvHkbjT4WcYj9AzUN8O4KvRp5iE794SbMrv0-M_jJRv5S1t0DDXdgOrmPUL063BxWd78NOOZYhCq_0ABo32mhur_pcR250fGwF6VAYXg5hMrx9HoziMAAhljZyXLluJuIiFGxQF6UGS-sr0cQIrIgymHClhcTc-hCEKsq7PYmNzLSkWCXKMpugI6jli1w3IEqtYeaJRgg7RECVWC-ES2GscTIJJzhtAi6_mcmADu6GVMzZtzKwlDDHKkYzXwpHGGpC-5NsWcBjbCLISoayH3JmVoVvIj0vBcDsG3A_NniuF-s3ZrniMH96x__f_AS2CkAGl1w5hdrqda3PrLuxEi2ott-7rXCpPgAd3svA |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LTwIxEJ4gHvTi24Av9uBBDwsLLdvt0aAEFbgICbemT0NCFqJw9bfbdndFTQyJ12ZnsjvTzqM78w3ANbdOHlMRhRwpd3WDTCgQl6FotpTgkifG33cMhnFvjJ8m7UkJOkUvjCurzG1_ZtO9tc5XGrk0G4vptPHiCuhdukETD2yGtmAbt1vEZWD1j3WdR4z9-DQP8O0eX7fxZCz84g1Nbj2XEP3loH6Zau9_ugewlweOwV32bodQ0ukR7BdDGYL8jB5D5V4bze1Gn-nADY4PrRodBsPrCYy7D6NOL8zHH4TS5o1L18tEXH6CDWqi2GBpIyUaGYEVUQYTrrSQmNsIglBFebMtsZGJlhSrSFlRE3QK5XSe6goEsXXLPNIIYYcHqCIbg3ApjHVNJuIEx1XAxTczmWODuxEVM_atCCwmzImK0cQXwhGGqlD_Iltk4BibCJJCoOyHlpk14JtIa4UCmD0B7rcGT_V89c6sVBziT_vs_8xrsNMbDfqs_zh8PofdDJrBXbNcQHn5ttKXNvBYiiu_sT4BuhHMiA |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Defeasible+time-stepping&rft.jtitle=Parallel+computing&rft.au=Wedemann%2C+Roseli+S.&rft.au=Barbosa%2C+Valmir+C.&rft.au=Donangelo%2C+Raul&rft.date=1999&rft.issn=0167-8191&rft.volume=25&rft.issue=4&rft.spage=461&rft.epage=489&rft_id=info:doi/10.1016%2FS0167-8191%2898%2900117-3&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_S0167_8191_98_00117_3 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-8191&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-8191&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-8191&client=summon |