close
1.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation (TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation (SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  x, 173 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Message from the Program Co-Chairs
Committees
Reviewers
Conservative Simulation / Session 1:
Conservative Simulation Using Distributed-Shared Memory / Y. Teo ; Y. Ng ; B. Onggo
The Lookahead in a User-Transparent Conservative Parallel Simulator / V. Solcany ; J. Safarik
Addressing Blocking and Scalability in Critical Channel Traversing / R. Simmonds ; C. Kiddle ; B. Unger
Optimistic Simulation I / Session 2:
XSim: Real-Time Analytic Parallel Simulations / C. Carothers
Pal: A New Fossil Collector for Time Warp / V.-Y. Vee ; W.-J. Hsu
Early Cancellation: An Active NIC Optimization for Time-Warp / R. Noronha ; N. Abu-Ghazaleh
Virtual Environments and Hla / Session 3:
Critical Causality in Distributed Virtual Environments / S. Zhou ; W. Cai ; S. Turner ; F. Lee
A Scalable Architecture for Supporting Interactive Games on the Internet / P. Xavier ; B.-S. Lee
Evaluation of a Sort-Based Matching Algorithm for DDM / Y. Jun ; C. Raczy ; G. Tan
Network Simulation / Session 4:
Lookahead Revisited in Wireless Network Simulations / J. Liu ; D. Nicol
Genesis: A System for Large-Scale Parallel Network Simulation / B. Szymanski ; A. Saifee ; A. Sastry ; Y. Liu ; K. Madnani
Experiences Applying Parallel and Interoperable Network Simulation Techniques in On-Line Simulations of Military Networks / K. Perumalla ; R. Fujimoto ; T. McLean ; G. Riley
Miscellaneous I / Session 5:
Updateable Simulation of Communication Networks / S. Ferenci ; M. Ammar
Analysis of Composite Synchronization
Stone Axes and Warhammers: A Decade of Distributed Simulation in Aviation Research / F. Sogandares
Optimistic Simulation II / Session 6:
Software Control Systems for Parallel Simulation / R. Radhakrishnan ; P. Wilsey
Conditional Checkpoint Abort: An Alternative Semantic for Re-synchronization in CCL / F. Quaglia ; A. Santoro ; B. Ciciani
Miscellaneous II / Session 7:
Lookback: A New Way of Exploiting Parallelism in Discrete Event Simulation / G. Chen
Experiment Scheduling in Faster-than-Real-Time Simulation / D. Anagnostopoulos
Author Index
Message from the General Chairs
Message from the Program Co-Chairs
Committees
2.

図書

図書
editor, M.H. Hamza ; [sponsors, the International Association of Science and Technology for Development (IASTED), Technical Committee on Modelling and Simulation, World Modelling and Simulation Forum]
出版情報: Anaheim, Calif. : IASTED/ACTA Press, c2001  iv, 347 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
edited by Bernd Kleinjohann
出版情報: Boston : Kluwer Academic, c2001  ix, 236 p. ; 25 cm
シリーズ名: The International Federation for Information Processing ; 61
所蔵情報: loading…
目次情報: 続きを見る
Preface
Workshop Organisation
Methodology / Session 1:
A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach / R. J. Machado ; J. M. Fernandes ; H. D. Santos
Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology / S. Gerard ; N. S. Voros ; C. Koulamas ; F. Terrier
Analog/Digital Co-Design / F. Heuschen ; K. Waldschmidt
A Design Methodology for Embedded Systems based on Multiple Processors / L. Carro ; F. Wagner ; M. Kreutz ; M. Oyamada
Architecture / Session 2:
An Architecture for Reliable Distributed Computer-Controlled Systems / L. M. Pinho ; F. Vasques
Generic Architecture Platform for Multiprocessor System-On-Chip Design / A. Baghdadi ; N-E. Zergainoh ; D. Lyonnard ; A. A. Jerraya
JPURE--A Purified Java Execution Environment for Controller Networks / D. Beuche ; L. Buttner ; D. Mahrenholz ; W. Schroder-Preikschat ; F. Schon
Optimizing Functional distribution in Complex System Design / O. P. Dias ; I. M. Teixeira ; J. P. Teixeira ; L. B. Becker ; C. E. Pereira
Design Environments / Session 3:
Customizing Software Toolkits for Embedded Systems-On-Chip / A. Halambi ; N. Dutt ; A. Nicolau
Framework for System Design, Validation and Fast Prototyping of Multiprocessor System-On-Chip / N. E. Zergainoh ; L. Tambour ; L. Gauthier ; A. Jerraya
The Specification Language SpecC within the PARADISE Design Environment / A. Rettberg ; F. J. Rammig ; A. Gerstlauer ; D. D. Gajski ; W. Hardt ; B. Kleinjohann
Methodology II / Session 4:
Real-Time Support for Online Controller Supervision and Optimisation / M. Deppe ; O. Oberschelp
A Product Family Approach to Graceful Degradation / W. Nace ; P. Koopman
Environment Modelling in Closed Specifications of Embedded Systems / M. Katara ; A. Luoma
Test and Validation / Session 5:
Test Case Design for the Validation of Component-Based Embedded Systems / W. Fleisch
Timing Constraints Validation using UPPAAL: Schedulability Analysis / H. Sun
Distribution and Communication / Session 6:
A New Dynamic Scheduling Algorithm for Real-Time Multiprocessor Systems / Y. Qiao ; H. Wang ; G. Dai
Deriving Message Passing Protocols from Collective Behavior / P. Kellomaki
Java Real-Time Publish-Subscribe Middleware for Distributed Embedded Systems / D. Kim ; Y. Doh ; Y.-H. Lee
Synthesis / Session 7:
A Verified Hardware Synthesis of Esterel Programs / K. Schneider
EXPLORA--Generic Design Space Exploration during Embedded System Synthesis / F. Cieslok ; H. Esau ; J. Teich
Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System / C. Homburg ; U. Kiffmeier ; L. Kosters
Preface
Workshop Organisation
Methodology / Session 1:
4.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation (TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Computer Simulation (SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiv, 209 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
editors, M. Guizani and X. Shen
出版情報: Anaheim, CA : IASTED/ACTA Press, c2000  2 v. (vi, 826 p.) ; 28 cm
所蔵情報: loading…
6.

図書

図書
Alex F. Sisti, Dawn A. Trevisani chair/editor ; sponsored ... by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c2001  xi, 538 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 4367
所蔵情報: loading…
7.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Simulation (IEEE-TCSIM), ACM Special Interest Group on Simulation (SIGSIM), Society for Modeling and Simulation International (SCS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 2004  xiii, 205 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Message from the Program Chairs
Organizing Committees
Reviewers
Call for Papers
Welcome and Keynote / Session 1:
Virtual Space / A. Ferscha
Network Simulation 1 / Session 2:
Simulation Validation Using Direct Execution of Wireless Ad-Hoc Routing Protocols / J. Liu ; Y. Yuan ; D. M. Nicol ; R. S. Gray ; C. C. Newport ; D. Kotz ; L. F. Perrone
Performance of a Mixed Shared/Distributed Memory Parallel Network Simulator / C. Kiddle ; R. Simmonds ; B. Unger
Detailed OFDM Modeling in Network Simulation of Mobile Ad Hoc Networks / G. Yeung ; M. Takai ; R. Bagrodia ; A. Mehrnia ; B. Daneshrad
Optimization / Session 3:
Event Reconstruction in Time Warp / L. Li ; C. Tropper
Just-In-Time Cloning / M. Hybinette
High-Speed, Scalable, Real-Time Simulation Using DSP Arrays / R. Crosbie ; J. Zenor ; R. Bednar ; D. Word ; N. Hingorani ; T. Ericsen
Optimistic Methods / Session 4:
Towards Grid-Aware Time Warp / K. A. Iskra ; G. D. van Albada ; P. M. A. Sloot
Time Warp--Connection Oriented / N. Kalantery
Batch Based Cancellation: A Rollback Optimal Cancellation Scheme in Time Warp Simulations / Y. Zeng ; W. Cai ; S. J. Turner
Simulation Theory / Session 5:
Formalization and Strictness of Simulation Event Orderings / Y. M. Teo ; B. S. S. Onggo
The Effect of Detail on Ethernet Simulation / A. Hussain ; A. Kapoor ; J. Heidemann
A Utility Model for Timely State Update in Distributed Wargame Simulations / S. Zhou ; H. Zhao ; X. Pang
Applications / Session 6:
A Component-Based Simulation Layer for James / J. Himmelspach ; A. M. Uhrmacher
Optimistic Synchronization in HLA Based Distributed Simulation / X. Wang ; M. Y. H. Low ; B. P. Gan
Hybrid Performability Analysis of Logistic Networks / F. Bause ; P. Buchholz ; M. Fischer ; P. Kemper
Keynote / Session 7:
Component-Based Distributed Simulations. The Way Forward? / A. Verbraeck
Work In Progress / Session 8:
Network Simulation II / Session 9:
Conservative Synchronization of Large-Scale Network Simulations / A. Park ; R. M. Fujimoto ; K. S. Perumalla
Optimizing Parallel Execution of Detailed Wireless Network Simulation / Z. Ji ; J. Zhou ; J. Martin
Space-Parallel Network Simulations Using Ghosts / G. F. Riley ; T. M. Jaafar ; M. H. Ammar
Emerging Methods / Session 10:
Space Uncertain Simulation Events: Some Concepts and an Application to Optimistic Synchronization / F. Quaglia ; R. Beraldi
Exploiting Symmetry for Partitioning Models in Parallel Discrete Event Simulation / J. Lemeire ; B. Smets ; P. Cara ; E. Dirkx
Time-Parallel Simulation with Approximative State Matching / T. Kiesling ; S. Pohl
Author Index
Message from the General Chairs
Message from the Program Chairs
Organizing Committees
8.

図書

図書
Workshop on Parallel and Distributed Systems : Testing and Debugging ; International Symposium on Software Testing and Analysis
出版情報: New York : Association for Computing Machinery, c2009  96 p. ; 28 cm
所蔵情報: loading…
9.

図書

図書
edited by Peter Milligan, Patrick Corr
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xiv, 290 p. ; 23 cm
所蔵情報: loading…
10.

図書

図書
Alex F. Sisti, chair/editor ; sponsored ... by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c1997  ix, 348 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 3083
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼