MASCOTS 2004: Volendam, The Netherlands

Wireless and Mobile Networks

• Abhinav Gupta, Ian Wormsbecker, Carey L. Williamson:
  Experimental Evaluation of TCP Performance in Multi-Hop Wireless Ad Hoc Networks. 3-11
  
• Renato M. de Moraes, Hamid R. Sadjadpour, Jose Joaquin Garcia-Luna-Aceves:
  On Mobility-Capacity-Delay Trade-off in Wireless Ad Hoc Networks. 12-19
  

Stochastic Models and Scheduling

• Serge Haddad, Patrice Moreaux:
  Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays. 23-30
  
• Dong Lu, Huanyuan Sheng, Peter A. Dinda:
  Size-Based Scheduling Policies with Inaccurate Scheduling Information. 31-38
  
• Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno:
  A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems. 39-48
  

Performance Engineering Tools

• Jaideep Moses, Ramesh Illikkal, Ravi R. Iyer, Ram Huggahalli, Donald Newell:
  ASPEN: Towards Effective Simulation of Threads and Engines in Evolving Platforms. 51-58
  
• Mark A. Franklin, Vinayak Joshi:
  SimplePipe: A Simulation Tool for Task Allocation and Design of Processor Pipelines with Application to Network Processors. 59-66
  
• Andrew J. Bennett, A. J. Field:
  Performance Engineering with the UML Profile for Schedulability, Performance and Time: A Case Study. 67-75
  
• Alexandre Duret-Lutz, Denis Poitrenaud:
  SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata. 76-83
  

Networks and Protocols

• Giovanni Neglia, Vincenzo Falletta, Giuseppe Bianchi:
  Is TCP Packet Reordering Always Harmful? 87-94
  
• Mauro Andreolini, Riccardo Lancellotti, Philip S. Yu:
  Analysis of Peer-to-Peer Systems: Workload Characterization and Effects on Traffic Cacheability. 95-104
  
• Meriel Huggard, Mathieu Robin, Arkaitz Bitorika, Ciarán Mc Goldrick:
  Performance Evaluation of Fairness-Oriented Active Queue Management Schemes. 105-112
  
• Ching-Ju Lin, Cheng-Fu Chou:
  Hybrid WLAN for Data Dissemination Applications. 113-120
  

Stochastic Models

• Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood:
  Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. 123-130
  
• Ronit Nossenson, Hagit Attiya:
  The N-Burst/G/1 Model with Heavy-Tailed Service-Times Distribution. 131-138
  
• Cristiano Bertolini, Leonardo Brenner, Paulo Fernandes, Afonso Sales, Avelino F. Zorzo:
  Structured Stochastic Modeling of Fault-Tolerant Systems. 139-146
  
• Nalan Gülpinar, Peter G. Harrison, Berç Rustem, Louis-François Pau:
  An Optimisation Model for a Two-Node Router Network. 147-156
  

Networks and Protocols

• Tianwei Chen, Günter Schäfer, Adam Wolisz, Michel Sortais:
  A Performance Study of Session State Re-Establishment Schemes in IP-Based Micro-Mobility Scenarios. 159-166
  
• Yujian Li, Carey L. Williamson:
  A Hysteresis Model for Web/TCP Transfer Latency. 167-174
  
• Peter Dimopoulos, Panlop Zeephongsekul, Zahir Tari:
  Modeling the Burstiness of TCP. 175-183
  
• Xuefei Li, Laurie G. Cuthbert:
  Stable Node-Disjoint Multipath Routing with Low Overhead in Mobile Ad Hoc Networks. 184-191
  
• Nuno Pereira, Eduardo Tovar, Luís Miguel Pinho:
  INDEPTH: Timeliness Assessment of Ethernet/IP-Based Systems. 192-201
  

Wireless and Mobile Networks

• Carlos Miguel Tavares Calafate, Pietro Manzoni, Manuel P. Malumbres:
  Assessing the Effectiveness of IEEE 802.11e in Multi-Hop Mobile Network Environments. 205-212
  
• Punit Chandra, Ajay D. Kshemkalyani:
  Causal Multicast in Mobile Networks. 213-220
  

Queueing Networks

• Giuliano Casale, Giuseppe Serazzi:
  Bottlenecks Identification in Multiclass Queueing Networks Using Convex Polytopes. 223-230
  
• Peter G. Harrison, Ting Ting Lee:
  A New Recursive Algorithm for Computing Generating Functions in Closed Multi-Class Queueing Networks. 231-238
  
• Greg Franks, C. Murray Woodside:
  Multiclass Multiservers with Deferred Operations in Layered Queueing Networks, with Software System Applications. 239-248
  

Internet Architecture and Applications

• Ximing Zeng, Chung-Horng Lung, Changcheng Huang, Anand Srinivasan:
  A Bandwidth-Efficient Scheduler for MPLS DiffServ Networks. 251-258
  
• Daniel A. Menascé, Emiliano Casalicchio:
  A Framework for Resource Allocation in Grid Computing. 259-267
  
• George F. Riley, Monirul I. Sharif, Wenke Lee:
  Simulating Internet Worms. 268-274
  
• Jay Chen, Diwaker Gupta, Kashi Venkatesh Vishwanath, Alex C. Snoeren, Amin Vahdat:
  Routing in an Internet-Scale Network Emulator. 275-283
  

Wireless and Mobile Networks

• Xenofontas A. Dimitropoulos, George F. Riley:
  Large-Scale Simulation Models of BGP. 287-294
  
• Umar Farooq, Shikharesh Majumdar, Eric W. Parsons:
  Engineering Mobile Wireless Publish/Subscribe Systems for High Performance. 295-305
  
• Yunsi Fei, Lin Zhong, Niraj K. Jha:
  An Energy-Aware Framework for Coordinated Dynamic Software Management in Mobile Computers. 306-317
  
• Prawit Chumchu, Roksana Boreli, Aruna Seneviratne:
  Performance Analysis of Reliable Multicast Transport Protocols for GEO Satellite Networks. 318-326
  

Simulation

• Jan Himmelspach, Adelinde Uhrmacher:
  Processing Dynamic PDEVS Models. 329-336
  
• Cintia B. Margi, Katia Obraczka:
  Instrumenting Network Simulators for Evaluating Energy Consumption in Power-Aware Ad-Hoc Network Protocols. 337-346
  
• Werner Sandmann:
  Fast Simulation of Excessive Population Size in Tandem Jackson Networks. 347-354
  
• Mingwei Gong, Carey L. Williamson:
  Simulation Evaluation of Hybrid SRPT Scheduling Policies. 355-363
  
• Takashi Nakada, Hiroshi Nakashima:
  Design and Implementation of a High Speed Microprocessor Simulator BurstScalar. 364-372
  

Wireless Networks

• Xin Zhang, George F. Riley:
  Bluetooth Simulations for Wireless Sensor Networks Using GTNetS. 375-382
  
• Ahmed M. Mahdy, Jitender S. Deogun, Shashank K. Mehta:
  End-to-End Delay Heuristics for Adaptive Optical Wireless Networks. 383-390
  
• Xiaofei Wang, Toby Berger:
  Topology Control, Resources Allocation and Routing in Wireless Sensor Networks. 391-399
  
• Georgios Orfanos, Jörg Habetha, Ling Liu:
  MC-CDMA Based IEEE 802.11 Wireless LAN. 400-405
  

Storage and Peer-to-Peer Systems

• Thomas J. E. Schwarz, Qin Xin, Ethan L. Miller, Darrell D. E. Long, Andy Hospodor, Spencer W. Ng:
  Disk Scrubbing in Large Archival Storage Systems. 409-418
  
• Karl Brandt, Darrell D. E. Long, Ahmed Amer:
  Predicting When Not to Predict. 419-426
  
• Xiaomei Liu, Yunhao Liu, Li Xiao:
  Reliable Response Delivery in Peer-to-Peer Systems. 427-434
  

Internet Architectures and Simulation

• Ahmed Sobeih, William Yurcik, Jennifer C. Hou:
  VRing: A Case for Building Application-Layer Multicast Rings (Rather Than Trees). 437-446
  
• Yan Gu, Richard M. Fujimoto:
  A Flexible Architecture for Remote Server-Based Emulation. 447-454
  
• Donghua Xu, Mostafa H. Ammar:
  BencHMAP: Benchmark-Based, Hardware and Model-Aware Partitioning for Parallel and Distributed Network Simulation. 455-463
  

Measurement and Benchmarking

• Erich Strohmaier, Hongzhang Shan:
  Architecture Independent Performance Characterization and Benchmarking for Scientific Applications. 467-474
  
• Fujian Liu, Yanping Zhao, Wenguang Wang, Dwight J. Makaroff:
  Database Server Workload Characterization in an E-Commerce Environment. 475-483
  
• Ricardo Portillo, Diana Villa, Patricia J. Teller, Bret R. Olszewski:
  Mining Performance Data from Sampled Event Traces. 484-493
  
• Rogier P. J. Pinkers, Peter M. W. Knijnenburg, Masayo Haneda, Harry A. G. Wijshoff:
  Statistical Selection of Compiler Options. 494-501
  

Routing Algorithms

• Zongsheng Zhang, Go Hasegawa, Masayuki Murata:
  Performance Analysis and Improvement of HighSpeed TCP with TailDrop/RED Routers. 505-512
  
• Luísa Jorge, José M. F. Craveirinha, Teresa Gomes:
  Network Performance of Multi-Service Circuit Switched Networks: Simulational Comparison of Variants of DAR and RTNR. 513-521
  
• Weidong Wu, Bingxin Shi, Feng Wang:
  Fast Update of Forwarding Tables in TCAM. 522-527
  
• Hashem Hashemi Najaf-abadi, Hamid Sarbazi-Azad, P. Rajabzadeh:
  Performance Modeling of Fully Adaptive Wormhole Routing in 2-D Mesh-Connected Multiprocessors. 528-534
  

Internet Architecture and Applications

• Vipul Mathur, Varsha Apte:
  A Computational Complexity-Aware Model for Performance Analysis of Software Servers. 537-544
  
• Katja Gilly, Salvador Alcaraz, Carlos Juiz, Ramón Puigjaner:
  Comparison of Predictive Techniques in Cluster-Based Network Servers with Resource Allocation. 545-552
  
• Frederic Hancke, Tom Dhaene, Jan Broeckhove:
  Performance Characterisation and Verification of JavaSpaces Based on Design of Experiments. 553-559
  
• Carlo Bellettini, Lorenzo Capra:
  A Quotient Graph for Asymmetric Distributed Systems. 560-568
  

Storage Systems

• Bo Hong, Thomas J. E. Schwarz, Scott A. Brandt, Darrell D. E. Long:
  Reliability of MEMS-Based Storage Enclosures. 571-579
  
• Dan Nicolaescu, Alexander V. Veidenbaum, Alexandru Nicolau:
  Caching Values in the Load Store Queue. 580-587
  
• Mengzhi Wang, Kinman Au, Anastassia Ailamaki, Anthony Brockwell, Christos Faloutsos, Gregory R. Ganger:
  Storage Device Performance Prediction with CART Models. 588-595
  
• Nathan K. Edel, Deepa Tuteja, Ethan L. Miller, Scott A. Brandt:
  MRAMFS: A Compressing File System for Non-Volatile RAM. 596-603
  
• Yijian Wang, David R. Kaeli:
  Execution-Driven Simulation of Network Storage Systems. 604-611