close
1.

図書

図書
Caroline Y. Westort (ed.)
出版情報: Berlin ; Tokyo : Springer, c2001  xii, 116 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2181
所蔵情報: loading…
2.

図書

図書
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
3.

図書

図書
[edited by Doug DeGroot and Pete Harrison] ; sponsored by IEEE TCCA and IEEE TCSIM
出版情報: Los Alamitos, Calif. : IEEE, c2004  xviii, 614 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Committee Chairs
Organizing Committee
Program Committee
Steering Committee
Scientific Reviewers
Wireless and Mobile Networks / Session 1:
Experimental Evaluation of TCP Performance in Multi-Hop Wireless Ad Hoc Networks / A. Gupta ; I. Wormsbecker ; C. Williamson
On Mobility-Capacity-Delay Trade-off in Wireless Ad Hoc Networks / R. M. de Moraes ; H. R. Sadjadpour ; J. J. Garcia-Luna-Aceves
Stochastic Models and Scheduling / Session 2:
Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays / S. Haddad ; P. Moreaux
Size-Based Scheduling Policies with Inaccurate Scheduling Information / D. Lu ; H. Sheng ; P. Dinda
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems / R. Gaeta ; M. Gribaudo ; D. Manini ; M. Sereno
Performance Engineering Tools / Session 3A:
ASPEN: Towards Effective Simulation of Threads and Engines in Evolving Platforms / J. Moses ; R. Illikkal ; R. Iyer ; R. Huggahalli ; D. Newell
SimplePipe: A Simulation Tool for Task Allocation and Design of Processor Pipelines with Application to Network Processors / M. A. Franklin ; V. Joshi
Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study / A. J. Bennett ; A. J. Field
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Buchi Automata / A. Duret-Lutz ; D. Poitrenaud
Networks and Protocols / Session 3B:
Is TCP Packet Reordering Always Harmful? / G. Neglia ; V. Falletta ; G. Bianchi
Analysis of Peer-to-Peer Systems: Workload Characterization and Effects on Traffic Cacheability / M. Andreolini ; R. Lancellotti ; P. S. Yu
Performance Evaluation of Fairness-Oriented Active Queue Management Schemes / M. Huggard ; M. Robin ; A. Biotrika ; C. McGoldrick
Hybrid WLAN for Data Dissemination Applications / C.-J. Lin ; C.-F. Chou
Stochastic Models / Session 4A:
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking / M. Kwiatkowska ; D. Parker ; Y. Zhang ; R. Mehmood
The N-Burst/G/1 Model with Heavy-Tailed Service-Times Distribution / R. Nossenson ; H. Attiya
Structured Stochastic Modeling of Fault-Tolerant Systems / C. Bertolini ; L. Brenner ; P. Fernandes ; A. Sales ; A. F. Zorzo
An Optimisation Model for a Two-Node Router Network / N. Gulpinar ; P. Harrison ; B. Rustem ; L.-F. Pau
A Performance Study of Session State Re-Establishment Schemes in IP-Based Micro-Mobility Scenarios / T. Chen ; G. Schafer ; A. Wolisz ; M. SortaisSession 4B:
A Hysteresis Model for Web/TCP Transfer Latency / Y. Li
Modeling the Burstiness of TCP / P. Dimopoulos ; P. Zeephongsekul ; Z. Tari
Stable Node-Disjoint Multipath Routing with Low Overhead in Mobile Ad Hoc Networks / X. Li ; L. Cuthbert
Indepth: Timeliness Assessment of Ethernet/IP-Based Systems / N. Pereira ; E. Tovar ; L. M. Pinho
Assessing the Effectiveness of IEEE 802.11e in Multi-Hop Mobile Network Environments / C. T. Calafate ; P. Manzoni ; M. P. MalumbresSession 5:
Causal Multicast in Mobile Networks / P. Chandra ; A. D. Kshemkalyani
Queueing Networks / Session 6:
Bottlenecks Identification in Multiclass Queueing Networks Using Convex Polytopes / G. Casale ; G. Serazzi
A New Recursive Algorithm for Computing Generating Functions in Closed Multi-Class Queueing Networks / P. G. Harrison ; T. T. Lee
Multiclass Multiservers with Deferred Operations in Layered Queueing Networks, with Software System Applications / G. Franks ; M. Woodside
Internet Architecture and Applications / Session 7A:
A Bandwidth-Efficient Scheduler for MPLS DiffServ Networks / X. Zeng ; C.-H. Lung ; C. Huang ; A. Srinivasan
A Framework for Resource Allocation in Grid Computing / D. A. Menasce ; E. Casalicchio
Simulating Internet Worms / G. F. Riley ; M. I. Sharif ; W. Lee
Routing in an Internet-Scale Network Emulator / J. Chen ; D. Gupta ; K. V. Vishwanath ; A. C. Snoeren ; A. Vahdat
Large-Scale Simulation Models of BGP / X. A. DimitropoulosSession 7B:
Engineering Mobile Wireless Publish/Subscribe Systems for High Performance / U. Farooq ; S. Majumdar ; E. W. Parsons
An Energy-Aware Framework for Coordinated Dynamic Software Management in Mobile Computers / Y. Fei ; L. Zhong ; N. K. Jha
Performance Analysis of Reliable Multicast Transport Protocols for GEO Satellite Networks / P. Chumchu ; R. Boreli ; A. Seneviratne
Simulation / Session 8A:
Processing Dynamic PDEVS Models / J. Himmelspach ; A. M. Uhrmacher
Instrumenting Network Simulators for Evaluating Energy Consumption in Power-Aware Ad-Hoc Network Protocols / C. B. Margi ; K. Obraczka
Fast Simulation of Excessive Population Size in Tandem Jackson Networks / W. Sandmann
Simulation Evaluation of Hybrid SRPT Scheduling Policies / M. Gong
Design and Implementation of a High Speed Microprocessor Simulator BurstScalar / T. Nakada ; H. Nakashima
Wireless Networks / Session 8B:
Bluetooth Simulations for Wireless Sensor Networks Using GTNetS / X. Zhang
End-to-End Delay Heuristics for Adaptive Optical Wireless Networks / A. M. Mahdy ; J. S. Deogun ; S. K. Mehta
Topology Control, Resources Allocation and Routing in Wireless Sensor Networks / X. Wang ; T. Berger
MC-CDMA Based IEEE 802.11 Wireless LAN / G. Orfanos ; J. Habetha ; L. Liu
Storage and Peer-to-Peer Systems / Session 9:
Disk Scrubbing in Large Archival Storage Systems / T. J. E. Schwarz ; Q. Xin ; E. L. Miller ; D. D. E. Long ; A. Hospodor ; S. Ng
Predicting When Not to Predict / K. Brandt ; A. Amer
Reliable Response Delivery in Peer-to-Peer Systems / X. Liu ; Y. Liu ; L. Xiao
Internet Architectures and Simulation / Session 10:
VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees) / A. Sobeih ; W. Yurcik ; J. C. Hou
A Flexible Architecture for Remote Server-Based Emulation / Y. Gu ; R. Fujimoto
BencHMAP: Benchmark-Based, Hardware and Model-Aware Partitioning for Parallel and Distributed Network Simulation / D. Xu ; M. Ammar
Measurement and Benchmarking / Session 11A:
Architecture Independent Performance Characterization and Benchmarking for Scientific Applications / E. Strohmaier ; H. Shan
Database Server Workload Characterization in an E-Commerce Environment / F. Liu ; Y. Zhao ; W. Wang ; D. Makaroff
Mining Performance Data from Sampled Event Traces / R. Portillo ; D. Villa ; P. J. Teller ; B. Olszewski
Statistical Selection of Compiler Options / R. P. J. Pinkers ; P. M. W. Knijnenburg ; M. Haneda ; H. A. G. Wijshoff
Routing Algorithms / Session 11B:
Performance Analysis and Improvement of HighSpeed TCP with TailDrop/RED Routers / Z. Zhang ; G. Hasegawa ; M. Murata
Network Performance of Multi-Service Circuit Switched Networks: Simulational Comparison of Variants of DAR and RTNR / L. Jorge ; J. Craveirinha ; T. Gomes
Fast Update of Forwarding Tables on TCAM / W. Wu ; B. Shi ; F. Wang
Performance Modeling of Fully Adaptive Wormhole Routing in 2-D Mesh-Connected Multiprocessors / H. H. Najaf-abadi ; H. Sarbazi-azad ; P. Rajabzadeh
A Computational Complexity-Aware Model for Performance Analysis of Software Servers / V. Mathur ; V. ApteSession 12A:
Comparison of Predictive Techniques in Cluster-Based Network Servers with Resource Allocation / K. Gilly ; S. Alcaraz ; C. Juiz ; R. Puigjaner
Performance Characterisation and Verification of JavaSpaces Based on Design of Experiments / F. Hancke ; T. Dhaene ; J. Broeckhove
A Quotient Graph for Asymmetric Distributed Systems / C. Bellettini ; L. Capra
Storage Systems / Session 12B:
Reliability of MEMS-Based Storage Enclosures / B. Hong ; S. A. Brandt
Caching Values in the Load Store Queue / D. Nicolaescu ; A. Veidenbaum ; A. Nicolau
Storage Device Performance Prediction with CART Models / M. Wang ; K. Au ; A. Ailamaki ; A. Brockwell ; C. Faloutsos ; G. R. Ganger
Mramfs: A Compressing File System for Non-Volatile RAM / N. K. Edel ; D. Tuteja
Execution-Driven Simulation of Network Storage Systems / Y. Wang ; D. Kaeli
Author Index
Message from the General Chair
Message from the Program Committee Chairs
Organizing Committee
4.

図書

図書
sponsored by the Society for Modeling and Simulation International
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xii, 332 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  xiv, 538 p. ; 28 cm
所蔵情報: loading…
6.

図書

図書
sponsored by ACM [Special Interest Group on Simulation], IEEE Computer Society [Technical Committee on Simulation], and SCS ; David M. Nicol, general chair ; Christopher D. Carothers and Stephen J. Turner, program co-chairs
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005  xii, 301 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
Nickolas L. Faust, chair/editor ; sponsored and published by SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash., USA : SPIE, c1996  vii, 188 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2740
所蔵情報: loading…
8.

図書

図書
Donald J. Gerson, chair/editor ; sponsored by SPIE--the International Society for Optical Engineering, AIPR Executive Committee
出版情報: Bellingham, Wash., USA : SPIE, c1996  vii, 216 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 2645
所蔵情報: loading…
目次情報: 続きを見る
Synthetic environments / George E. Lukes ; Joel M. Cain
Overview of modeling and simulation / William Menner
High-performance image database system for remote sensing / Carter Shock ; Chialin Chang ; Larry S. Davis ; Samuel Goward ; Joel H. Saltz ; Alan D. Sussman
Rapid 3D video/laser sensing and digital archiving with immediate on-scene feedback for 3D crime scene/mass disaster data collection and reconstruction / Bruce R. Altschuler ; William R. Oliver ; Martin D. Altschuler
Security applications of virtual reality GIS / Nickolas L. Faust
Age-progression technology and its application to law enforcement / Horace Heafner
Image processing and 3D visualization in forensic pathologic examination
RADIUS phase II: the RADIUS test-bed system / Donald J. Gerson ; Sidney E. Wood
RADIUS-related research programs / Thomas Strat ; Anthony Hoogs
Coordinate systems and transformations for 3D modeling: the unifying concept in the RADIUS common development environment / Lynn H. Quam ; Aaron J. Heller
Cartographic applications of model-based optimization / Pascal Fua
Observation events: a basis for change detection / Joseph L. Mundy
Model-supported exploitation of synthetic aperture radar images / Rama Chellappa ; Shyam Kuttikkad ; Reuven Meth ; Philippe Burlina ; Chandra S. Shekhar
Site change detection for RADIUS using thermophysical algebraic invariants / Nagaraj Nandhakumar ; Johnathan D. Michel ; D. G. Arnold ; Vincent J. Velten ; George A. Tsihrintzis
Image exploitation using multisensor/neural network systems / E. C. Uberbacher ; Y. Xu ; R. W. Lee ; Charles W. Glover ; Martin Beckerman ; Reinhold C. Mann
Combining database support for image understanding and model-supported exploitation / Bethany Kniffen
Object position refinement using hierarchical search
Adaptive-sized hybrid neural network for segmentation of breast cancer cells in pathology images / Akira Hasegawa ; Kevin J. Cullen ; Seong K. Mun
Extracting contextual information in digital imagery: applications to automatic target recognition and mammography / Clay D. Spence ; Paul Sajda ; John C. Pearson
Detecting lesions in magnetic resonance breast scans / Rakesh Kumar ; Keith Hanna ; J. Charles Asmuth ; James R. Bergen ; C. Hulka ; Daniel B. Kopans ; R. Weisskoff ; R. Moore
Adaptive level of detail technique for real-time display in virtual reality / Douglas J. Wiley ; Allen N. Duckworth
Combining virtual reality and multimedia techniques for effective maintenance training / David M. McLin ; James C. Chung
Factors affecting scalability of distributed interactive simulations / David R. Pratt ; Martin S. Almquist
Synthetic environments / George E. Lukes ; Joel M. Cain
Overview of modeling and simulation / William Menner
High-performance image database system for remote sensing / Carter Shock ; Chialin Chang ; Larry S. Davis ; Samuel Goward ; Joel H. Saltz ; Alan D. Sussman
9.

図書

図書
Robert F. Erbacher, ... [et al.], chairs/editors ; sponsored by IS&T--the Society for Imaging Science and Technology, SPIE--the International Society for Optical Engineering
出版情報: Bellingham, Wash. : SPIE, c2000  ix, 404 p. ; 28 cm
シリーズ名: Proceedings / SPIE -- the International Society for Optical Engineering ; v. 3960
所蔵情報: loading…
10.

図書

図書
edited by Anita Miller
出版情報: Silver Spring, Md. : IEEE Computer Society Press, c1985  vii, 268 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼