\documentstyle{article} \begin{document} \begin{center} {\large{\bf AIZU INTERNATIONAL SYMPOSIUM ON PARALLEL ALGORITHMS/ARCHITECTURE SYNTHESIS (pAs'95) }} \end{center} \begin{center} \vspace{0.1cm} {\large{\bf PRELIMINARY PROGRAM }} \end{center} \vspace{0.1cm} \begin{center} {\bf MARCH 14 (Tuesday)}\\ \end{center} \begin{itemize} \item 8:30 - 9:00 {\bf Registration} \end{itemize} \vspace{0.1cm} \begin{center} {\large{\bf Tutorials }} \\ \end{center} \vspace{0.1cm} \begin{itemize} \item 9:00 - 10:30 \hspace{0.5cm}{\bf T1}\\ {\bf C. Jesshope,} {\em University of Surrey, UK}\\ General Purpose Scalable Parallel Computers \item 10:30 - 11:00 {\bf Break} \item 11:00 - 12:30 \hspace{0.5cm}{\bf T2}\\ {\bf H. Burkhart,} {\em University of Basel, Switzerland}\\ Structured Parallel Programming: Methods - Languages -Tools \item 12:30 - 13:30 {\bf Lunch} \item 13:30 - 15:00 \hspace{0.5cm}{\bf T3}\\ {\bf H. Zima,} {\em University of Vienna, Austria}\\ High Performance Languages \item 15:00 - 15:30 {\bf Break} \item 15:30 - 17:00 \hspace{0.5cm}{\bf T4}\\ {\bf D. F. Hsu,} {\em Fordham University, USA}\\ Interconnection Networks and Parallel Algorithms \end{itemize} \begin{center} {\bf MARCH 15 (Wednesday)}\\ \end{center} \begin{itemize} \item 8:30 - 9:30 {\bf Registration} \end{itemize} \begin{itemize} \item 9:30 - 10:00 {\bf OPENING} \item 10:00 - 11:00 Invited talk\\ {\bf T. Kunii, S. Nishimura,} {\em University of Aizu, Japan}\\ Parallel Solid Model on the Graphics Computer VC-1 \item 11:00 - 12:00 Invited talk\\ {\bf C. Lengauer, M. Griebl,} {\em University of Passau, Germany}\\ On the parallelization of loop nests containing while loops. \item 12:00 - 13:00 {\bf LUNCH} \item 13:00 - 14:00 Invited talk\\ {\bf H. Tanaka, and co-authors,} {\em Universities of Japan}\\ JUMP-1 Project \item 14:00 - 15:00 Invited talk\\ {\bf H. Zima,} {\em University of Vienna, Austria}\\ Supercompilers for Massively Parallel Architectures \item 15:00 - 15:30 {\bf Coffee, tea} \end{itemize} \begin{center} {\bf {\Large Stream A: Tools and Technology}} \end{center} \begin{itemize} \item 15:30 - 16:00\\ {\bf A. Bode,} {\em Technical University of M\"unchen, Germany}\\ Methods and Tools for the Efficient Use of Parallel Computer Architectures \item 16:00 - 16:30\\ {\bf O. Hansen, J. Krammer,} {\em Technical University of M\"unchen, Germany}\\ A Scalable Performance Analysis Tool for PowerPC Based MPP Systems \item 16:30 - 17:00\\ {\bf P. Croll, I. Jelly, and I. Gorton,} {\em The University of Sheffield, UK}\\ Software Engineering Techniques and Tools for High Performance Parallel Systems \item 17:00 - 17:30\\ {\bf V.E. Malyshkin,} {\em The Russian Academy of Sci., Novosibirsk, Russia}\\ Functionality in ASSY System and Language of Functional Programming \end{itemize} \begin{center} {\bf {\Large Stream B: Algorithms and Techniques}} \end{center} \begin{itemize} \item 15:30 - 16:00\\ {\bf A.P. Vazhenin,} {\em The Russian Academy of Sci., Novosibirsk, Russia}\\ Parallel Algorithm for Solving Systems of Linear Equations with Dynamically Changed Length of Operands \item 16:00 - 16:30\\ {\bf J. Wang, H. Lung, and Y. Katsumata,} {\em Fujitsu Systems Business of America, Inc., USA}\\ Implementing a 3D Multigrid Algorithm on Fujitsu's Vector Parallel Supercomputer \item 16:30 - 17:00\\ {\bf T. Rauber and G. Runger,} {\em Universitat des Saarlandes, Germany} \\ Aspects of a Distributed Solution of the Brusselator Equation \item 17:00 - 17:30\\ {\bf R. Huang, T. Kunii,} {\em University of Aizu, Japan}\\ Parallel Algorithms for Extracting Ridges and Ravines \vspace{0.3cm} \item 18:30 {\bf SYMPOSIUM DINNER} \end{itemize} \begin{center} {\bf MARCH 16 (Thursday)}\\ \end{center} \begin{itemize} \item 8:45 - 9:45 Invited talk\\ {\bf D. Sugimoto,} {\em University of Tokyo, Japan}\\ GRAPE Project \item 9:45 - 10:45 Invited talk\\ {\bf T. Nogi,} {\em Kyoto University, Japan}\\ ADENA Project \item 10:45 - 11:00 {\bf Coffee, tea} \item 11:00 - 12:00 Invited talk\\ {\bf C. Jesshope,} {\em University of Surrey, UK}\\ Asynchronous Parallel Computing: a Journey across Scale \item 12:00 - 13:00 {\bf LUNCH} \end{itemize} \begin{center} {\bf {\Large Stream A: Architectures}} \end{center} \begin{itemize} \item 13:00 - 13:30\\ {\bf V. Varshavsky, V. Marakhovsky, and T. Chu,} {\em University of Aizu, Japan, Cirrus Logic Inc., USA}\\ Logical Timing (Global Synchronization of Asynchronous Arrays) \item 13:30 - 14:00\\ {\bf M. Hamda,} {\em Hong Kong University of Sci. and Technology, Hong Kong }\\ Modified Mesh-connected Computer for Image Processing Applications \item 14:00 - 14:30\\ {\bf Ce-Kuen Shieh, An-Chow Lai and Jyh-Chang Ueng,} {\em National Cheng Kung University, Taiwan}\\ Cohesion: An Efficient Distributed Shared Memory System Supporting Multiple Memory Consistency Models \item 14:30 - 15:00\\ {\bf V.O. Roda and T.T. Lin,} {\em University of Sao Paulo, Brazil}\\ On the Effect of Spare Positioning on the Reconfigurability of Two-dimensional Processor Arrays \item 15:00 - 15:30 {\bf Coffee, tea} \end{itemize} \begin{center} {\bf {\Large Stream B: Graph Theory and Networks}} \end{center} \begin{itemize} \item 13:00 - 13:30\\ {\bf Q.P. Gu and S. Peng,} {\em University of Aizu, Japan,}\\ Fault Tolerant Routing in Toroidal Networks \item 13:30 - 14:00\\ {\bf Zhi-Zhong Chen and Xin He,} {\em Tokyo Denki University, Japan}\\ Parallel Algorithms for Maximal Acyclic Sets \item 14:00 - 14:30\\ {\bf Shou-Cheng Hu and Chang-Biau Yang,} {\em National Sun Yat-sen University, Taiwan}\\ Fault Tolerance on Star Graphs \item 14:30 - 15:00\\ {\bf Shyh-Chain Chern, Tai-Ching Tuan and Jung-Sing Jwo,} {\em National Sun Yat-sen University, Taiwan}\\ Hamiltonicity, Vertex Symmetry, and Broadcasting of Uni-directional Hypercubes \item 15:00 - 15:30 {\bf Coffee, tea} \end{itemize} \begin{center} {\bf {\Large Stream A: Distributed Systems}} \end{center} \begin{itemize} \item 15:30 - 16:00\\ {\bf P.K. Reddy and S. Bhalla,} {\em Delhi Institute of Technology, India, University of Aizu, Japan}\\ Non-blocking Concurrency Control in Distributed Database Systems \item 16:00 - 16:30\\ {\bf Y. Nakano,} {\em Fujitsu Lab Ltd., Japan }\\ Analysis of Communication Data: Compression Network \item 16:30 - 17:00\\ {\bf Tong-Ying Juang, C.P. Chiu and Kun-Ming Yu,} {\em Chung-Hua Polytechnic Institute, Taiwan} \\ Concurrent Rollback for Crash Recovery in Extended Hypercube Networks \item 17:00 - 17:30\\ {\bf M.V. Screenivas and S. Bhalla,} {\em Delhi Institute of Technology, India, University of Aizu, Japan}\\ Garbage Collection in Message Passing Distributed Systems \end{itemize} \newpage \begin{center} {\bf {\Large Stream B: Scheduling and Load Balancing}} \end{center} \begin{itemize} \item 15:30 - 16:00\\ {\bf Weiping Zhu and C.F. Steketee,} {\em University of South Australia, Australia}\\ An Experimental Study of Load Balancing on Amoeba \item 16:00 - 16:30\\ {\bf B. Benko, M. Ojstersek and V. Zumer,} {\em University of Maribor, Slovenia}\\ Analysis and Evaluation of an Extended Duplication Scheduling Heu\-ristic \item 16:30 - 17:00\\ {\bf H. Shen, H. Kitajima, H. Kobayashi and T. Nakamura} {\em Tohoku University, Japan} \\ Task Scheduling with Locality Consideration for a Clustered Parallel FL Reduction System \item 17:00 - 17:30\\ {\bf W. Lowe and W. Zimmermann,} {\em University of Karlsruhe, Germany }\\ On Finding Optimal Clusterings of Task Graphs \end{itemize} \begin{center} {\bf {\Large Stream C: Poster Session}} \end{center} \begin{itemize} \item 15:30 - 16:30\\ \end{itemize} \begin{center} {\bf MARCH 17 (Friday)}\\ \end{center} \begin{itemize} \item 8:45 - 9:45 Invited talk\\ {\bf T. Ikedo,} {\em University of Aizu, Japan}\\ Aizu Supercomputer Project \item 9:45 - 10:45 Invited talk\\ {\bf N. Mirenkov,} {\em University of Aizu, Japan}\\ Visualization and Sonification of Methods \item 10:45 - 11:00 {\bf Coffee, tea} \item 11:00 - 12:00 Invited talk\\ {\bf D. F. Hsu,} {\em Fordham University, USA}\\ A Journey into Multicomputer Routing Algorithms \item 12:00 - 13:00 {\bf LUNCH} \end{itemize} \newpage \begin{center} {\bf {\Large Stream A: Formal Methods}} \end{center} \begin{itemize} \item 13:00 - 13:30\\ {\bf A. Max Geerling,} {\em University of Nijmegen, The Netherlands}\\ Program Transformations and Skeletons: Formal Derivation of Parallel Programs \item 13:30 - 14:00\\ {\bf T. Heywood and C. Leopold,} {\em University of Edinburgh, UK}\\ Dynamic Randomized Simulation of Hierarchical PRAMs on Meshes \item 14:00 - 14:30\\ {\bf N.A. Anisimov and A.A. Kovalenko,} {\em The Russian Academy of Sci., Vladivostok, Russia}\\ Towards Petri Net Calculi based on Synchronization via Places \item 14:30 - 15:00\\ {\bf A.E. Doroshenko and A.B. Godlersky,} {\em Ukrainian Academy of Sciences, Kiev, Ukraine}\\ Constructing Parallel Implementation with Algebraic Programming \\Tools \end{itemize} \begin{center} {\bf {\Large Stream B: Algorithms and Tools}} \end{center} \begin{itemize} \item 13:00 - 13:30\\ {\bf R. Sarnath,} {\em St Cloud State University, USA}\\ Efficient Scalable Mesh Algorithms for Merging, Sorting and Selection \item 13:30 - 14:00\\ {\bf B. Herndon, A. Raefsky, R. Goossens, and R. Dutton,} {\em Stanford University, USA}\\ Parallelizing a PDE Solver: Experiences with PISCES \item 14:00 - 14:30\\ {\bf W. Cai, Tee L. Pian and S. J. Turner,} {\em Nanyang Technological University, Singapore} \\ A Framework for Visual Parallel Programming \item 14:30 - 15:00\\ {\bf Lin Peng Huang and Kam Wing Ng,} {\em The Chinese University of Hong Kong, Hong Kong }\\ Implementing Higher-order Gamma on MasPar: A Case Study \item 15:00 - 15:30\\ {\bf A. Sh. Nepomniaschaya and Ya. I. Fet,} {\em The Russian Academy of Sci., Novosibirsk, Russia}\\ Investigation of Some Hardware Accelerators for Relational Algebra Operations \end{itemize} \end{document}