PDCAT 2007: Adelaide, Australia

Keynotes

• Teofilo F. Gonzalez:
  Message Dissemination under the Multicasting Communication Mode. 3-4
  
• Paul Watson:
  e-Science in the Cloud with CARMEN. 5
  
• Albert Y. Zomaya:
  Exploring Biocomplexity: New Challenges for High Performance Computing. 6
  

Task Mapping and Job Scheduling

• Francesc Guim, Julita Corbalán, Jesús Labarta:
  Prediction f Based Models for Evaluating Backfilling Scheduling Policies. 9-17
  
• Da-Ren Chen, Yu-Chun Chu, Chiun-Chieh Hsu:
  Multiprocessor Scheduling for Distance-Constrained Task Systems. 18-25
  
• Allan Tengg, Andreas Klausner, Bernhard Rinner:
  Task Allocation in Distributed Embedded Systems by Genetic Programming. 26-30
  
• Navid Imani, Hamid Sarbazi-Azad, Albert Y. Zomaya:
  Distant-Based Resource Placement in Product Networks. 31-36
  

Internet Computing

• Dai Lei, Chen You, Xiaochun Yun:
  Optimizing IP Flow Classification Using Feature Selection. 39-45
  
• Giannakis Antoniou, Parampalli Udaya, Lynn Margaret Batten:
  Monitoring Employees' Emails without Violating Their Privacy Right. 46-50
  
• Md. Rafiqul Islam, Wanlei Zhou:
  Email Categorization Using Multi-stage Classification Technique. 51-58
  
• Toshihiko Yamakami:
  A Trap-Door Method for Subscription-Based Mobile Content. 59-64
  

Task Mapping and Job Scheduling

• Thanasis Loukopoulos, Petros Lampsas, Panos Sigalas:
  Improved Genetic Algorithms and List Scheduling Techniques for Independent Task Scheduling in Distributed Systems. 67-74
  
• Paul Werstein, Xiangfei Jia, Zhiyi Huang:
  A Remote Memory Swapping System for Cluster Computers. 75-81
  
• Surya Nepal, John Zic, Jonathan Chan:
  A Distributed Approach for Negotiating Resource Contributions in Dynamic Collaboration. 82-86
  

High-Performance Computing

• Xuemei Zhao, Karl Sammut, Fangpo He:
  Performance Evaluation of a Novel CMP Cache Structure for Hybrid Workloads. 89-96
  
• Francisco Javier Ridruejo Perez, Javier Navaridas, José Miguel-Alonso, Cruz Izu:
  Realistic Evaluation of Interconnection Network Performance at High Loads. 97-104
  
• Vinay Sriram, David Kearney:
  A FPGA Implementation of Variable Kernel Convolution. 105-110
  

Internet Computing

• Shihong Xu, Hong Shen:
  An Efficient Method for p-Server Coordinated En-Route Web Caching. 113-117
  
• Chang-Hoo Jeong, Yunsoo Choi, Du-Seok Jin, Minho Lee, Sung-Pil Choi, Kwang-Young Kim, Min-Hee Cho, Won-Kyun Joo, Hwa-Mook Yoon, Jeong-Hyun Seo, Jinsuk Kim:
  Service-Centric Object Fragmentation for Efficient Retrieval and Management of Huge XML Documents. 118-124
  
• Zakaria Maamar, Quan Z. Sheng, Hamdi Yahyaoui, Djamal Benslimane, Fenglin Liu:
  On Checking the Compatibility of Web Services’ Policies. 125-130
  

High-Performance Computing

• Paul D. Coddington:
  Analysis of Algorithm Selection for Optimizing Collective Communication with MPICH for Ethernet and Myrinet Networks. 133-140
  
• Vinay Sriram, David Kearney:
  Implementing a Phase Screen Generator in Hardware. 141-146
  

Poster Session 1

• Wen Chen, Feiyu Lei:
  An Efficient Multi-sender Identity Based Threshold Signcryption with Public Verifiability. 149-150
  
• Hamidah Ibrahim, Ali Amer Alwan, Nur Izura Udzir:
  Checking Integrity Constraints with Various Types of Integrity Tests for Distributed Databases. 151-152
  
• Christos Bouras, Eri Giannaka, Thrasyvoulos Tsiatsos:
  An Object Driven Partitioning Approach for Distributed Virtual Environments. 153-154
  
• Faqun Jiang, Jintao Li, Zhenmin Zhu:
  A Service Provision Model Based on Context Awareness for Ubiquitous Computing. 155-156
  
• Vinay Sriram, David Kearney:
  High Throughput Multi-port MT19937 Uniform Random Number Generator. 157-158
  
• Yuxiu Luo, Giannakis Antoniou, Leon Sterling:
  Incorporating Security Requirements into Communication Protocols in Multi-agent Software Systems. 159-160
  
• Mark Wallis, Frans Henskens, Michael Hannaford:
  A System for Robust Peer-to-Peer Communication with Dynamic Protocol Selection. 161-162
  
• Gun-Woo Lee, Youn-Jung Park, Gyun Woo:
  Automatic Generation Algorithm of FAST Protocol Templates for Efficient Transmission of Financial Data. 163-164
  

Poster Session 2

• Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama:
  MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing. 167-168
  
• Toshihiko Yamakami:
  Exploratory Day-Scale Behavior Assumption-Based User Clustering with the Mobile Clickstream. 169-170
  
• Kiyoshi Hayakawa:
  SCMD-CLUSTER: Design, Implementation, and Primary Evaluation. 171-172
  
• Wen Chen, Feiyu Lei:
  A Simple Efficient Electronic Auction Scheme. 173-174
  
• Xiaoguang Gu, Hongzhou Shi, Jian Ye, Zhenmin Zhu:
  A Service Discovery Framework for Ubiquitous Computing. 175-176
  
• Dingju Zhu, Jianping Fan, Jie Sun:
  DCGG: Digital City Group Grid. 177-178
  
• Jeong-Hoon Ji, Soo-Hyun Park, Gyun Woo, Hwan-Gue Cho:
  Source Code Similarity Detection Using Adaptive Local Alignment of Keywords. 179-180
  
• David Paul, Frans Henskens, Michael Hannaford:
  Isolation and Web Services Transactions. 181-182
  

Parallel/Distributed Architectures and Algorithms

• Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa:
  New Code Generation Algorithm for QueueCore—An Embedded Processor with High ILP. 185-192
  
• Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami:
  Detecting Atomicity Errors in Message Passing Programs. 193-200
  
• Louis Gesbert, Frédéric Loulergue:
  Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. 201-208
  
• Xiaoqi Yang, Qilong Zheng, Guoliang Chen, Shujuan Liu, Jun Luan:
  Transactional Memory Execution for Parallel Multithread Programming without Lock. 209-216
  

Distributed Databases

• Surya Nepal, Julian Jang, John Zic:
  Anitya: An Ephemeral Data Management Service and Secure Data Access Protocols for Dynamic Collaborations. 219-226
  
• Belgin Ergenc, Franck Morvan, Abdelkader Hameurlain:
  Robust Placement of Mobile Relational Operators for Large Scale Distributed Query Optimization. 227-235
  
• Werner Mach, Erich Schikuta:
  Parallel Database Join Operations in Heterogeneous Grids. 236-243
  
• Kwang-Young Kim, Jinsuk Kim, Seok-Hyong Lee, Minho Lee, Sung-Pil Choi, Yunsoo Choi, Du-Seok Jin, Min-Hee Cho, Chang-Hoo Jeong, Nam-Gyu Kang, Ho-Seop Choe, Jerry Seo, Hwa-Mook Yoon:
  The Implementation of Distributed Retrieval System for a Large Number of Collections. 244-248
  

Parallel/Distributed Architectures and Algorithms

• David Semé, Sidney Youlou:
  An Efficient Parallel Algorithm for the Longest Increasing Subsequence Problem on a LARPBS. 251-258
  
• Xuli Liu:
  Exploiting Object-Based Parallelism on Multi-core Multi-processor Clusters. 259-266
  
• Kyoko Iwasawa, Alan Mycroft:
  Choosing Method of the Most Effective Nested Loop Shearing for Parallelism. 267-276
  

Network Routing and Communication Algorithms

• Hovhannes A. Harutyunyan, Calin D. Morosan, Yunzan Zhang:
  Two Tree-Based Algorithms for Network Spare Capacity Design. 279-284
  
• Yamin Li, Shietung Peng, Wanming Chu:
  An Algorithm for Constructing Hamiltonian Cycle in Metacube Networks. 285-292
  
• Koji Nakano:
  Randomized Initialization on the 1-Dimensional Reconfigurable Mesh. 293-300
  

Grid Computing

• Jianfeng Zhan, Lei Wang, Ming Zou, Hui Wang, Shuang Gao, Yulei Ding:
  Grid Unit: A Self-Managing Building Block for Grid System. 303-310
  
• Mo Hai, Zhiwei Xu:
  Peer Clustering-Based Cache Sharing for Multi-attribute Range Queries in Grid Environments. 311-318
  
• Elankovan Sundararajan, Aaron Harwood, Kotagiri Ramamohanarao:
  Incorporating Fault Tolerance with Replication on Very Large Scale Grids. 319-328
  

Parallel/Distributed Architectures and Algorithms

• Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn:
  A Distributed Virtual Machine for Parallel Graph Reduction. 331-338
  
• Siming Lin, Xueqi Cheng, Jianming Lv:
  A Visualized Parallel Network Simulator for Modeling Large-Scale Distributed Applications. 339-346
  
• Masahiro Watanabe, Motoi Okuda, Yukihiro Karube, Ryuichi Matsukura, Teruo Matsuzawa:
  Collaborative Environment with Visualizing Medical Volume Data by Virtual Reality. 347-352
  

Network Routing and Communication Algorithms

• Yamin Li, Shietung Peng, Wanming Chu:
  Efficient Algorithms for Finding a Trunk on a Tree Network and Its Applications. 355-362
  
• Thara Angskun, George Bosilca, Bradley T. Vander Zanden, Jack Dongarra:
  Optimal Routing in Binomial Graph Networks. 363-370
  
• Ali Jalali, Hamid Sarbazi-Azad:
  The Edge Product of Networks. 371-375
  
• Naoki Sawada, Keiichi Kaneko, Shietung Peng:
  Pairwise Disjoint Paths in Pancake Graphs. 376-382
  

Networks (Others)

• Xiaowei Qin, Peixia Xu:
  A Distributed Scheduling Algorithm for End-to-End Flow Fairness in Wireless Multi-hop Networks. 385-390
  
• Xiaoliang Wang, Xiaohong Jiang, Susumu Horiguchi:
  CBX-1 Switch: An Effective Load Balanced Switch. 391-397
  
• Kaixin Ren, Naijie Gu:
  Permutation Capability of Optical Cantor Network. 398-404
  

Sensor Networks

• Lili Wang, Huihua Jin, Jianxun Dang, Yi Jin:
  A Fault Tolerant Topology Control Algorithm for Large-Scale Sensor Networks. 407-412
  
• Ying Ouyang, Chuang Lin, Fengyuan Ren, Hongkun Yang, Xiaomeng Huang, Ting Liu:
  Design and Analysis of a Backpressure Congestion Control Algorithm in Wireless Sensor Network. 413-420
  
• Kezhong Lu, Xiaohui Lin, Fengxia Ding:
  A Local Voronoi Diagram-Based Approximate Algorithm for Minimum Disc Cover Problem. 421-425
  
• Nedal Ababneh, S. Selvakennedy:
  OTC: An Optimized Topology Control Algorithm for Wireless Sensor Networks. 426-434
  

Security and Privacy

• Yongjian Li, Jun Pang:
  Extending the Strand Space Method to Verify Kerberos V. 437-444
  
• Martin Stáva, Pavel Tvrdík:
  File System Security in the Environment of Non-dedicated Computer Clusters. 445-452
  
• Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens:
  Trust Management and Negotiation for Attestation in Trusted Platforms Using Web Services. 453-460
  
• Yingpeng Sang, Hong Shen:
  Privacy Preserving Set Intersection Protocol Secure against Malicious Behaviors. 461-468
  

Formal Methods and Programming Languages

• Fredrik Degerlund, Marina A. Waldén, Kaisa Sere:
  Implementation Issues Concerning the Action Systems Formalism. 471-479
  
• Lin Liu, Jonathan Billington:
  Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol. 480-487
  
• Wenhui Sun, Feng Liu, Gang Dai, Honghui Li:
  Modeling Session Initiation Protocol with Extended Finite State Machines. 488-492
  
• Sun Wenhui, Liu Feng, Dai Gang, Zhang Jinyu:
  Formal Analysis of the VPN Service Management System. 493-498
  

P2P and Ad Hoc Networks

• Jianming Lv, Xueqi Cheng, Qing Jiang, Jing Ye, Tieying Zhang, Siming Lin, Lei Wang:
  LiveBT: Providing Video-on-Demand Streaming Service over BitTorrent Systems. 501-508
  
• Ke Li, Wanlei Zhou, Shui Yu, Yunsheng Zhang:
  A Resource-Search and Routing Algorithm within PCDN Autonomy Area. 509-514
  
• Min Yu, Zhanhuai Li, Longbo Zhang:
  Supporting Multi-attribute Queries in Peer-to-Peer Data Management Systems. 515-522
  
• Shanshan Liu, Jinlong Li, Xufa Wang:
  Local Reputation for P2P MMOG Design. 523-528
  

Last update Thu May 24 04:39:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page