Parallel Processing and Applied Mathematics

Derangements and Permutations.- Parallel Simulated Annealing Algorithm for Graph Coloring Problem.- Parallel Algorithm to Find Minimum Vertex Guard Set in a Triangulated Irregular Network.- JaCk-SAT: A New Parallel Scheme to Solve the Satisfiability Problem (SAT) Based on Join-and-Check.- Environments and Tools for Parallel/Distributed/Grid Computing.- Designing Service-Based Resource Management Tools for a Healthy Grid Ecosystem.- BC-MPI: Running an MPI Application on Multiple Clusters with BeesyCluster Connectivity.- Managing Distributed Architecture with Extended WS-CDL.- REVENTS: Facilitating Event-Driven Distributed HPC Applications.- Empowering Automatic Semantic Annotation in Grid.- Fault Tolerant Record Placement for Decentralized SDDS LH*.- Grid Services for HSM Systems Monitoring.- The Vine Toolkit: A Java Framework for Developing Grid Applications.- Enhancing Productivity in High Performance Computing through Systematic Conditioning.- A Formal Model of Multi-agent Computations.- An Approach to Distributed Fault Injection Experiments.- Applications of Parallel/Distributed/Grid Computing.- Parallel Solution of Nonlinear Parabolic Problems on Logically Rectangular Grids.- Provenance Tracking in the ViroLab Virtual Laboratory.- Efficiency of Interactive Terrain Visualization with a PC-Cluster.- Implementing Commodity Flow in an Agent-Based Model E-Commerce System.- MPI and OpenMP Computations for Nuclear Waste Deposition Models.- A Pipelined Parallel Algorithm for OSIC Decoding.- A Self-scheduling Scheme for Parallel Processing in Heterogeneous Environment: Simulations of the Monte Carlo Type.- Asynchronous Parallel Molecular Dynamics Simulations.- Parallel Computing of GRAPES 3D-Variational Data Assimilation System.- Evolutionary Computing, Meta-Heuristics and Neural Networks.- The Effects of Heterogeneity on Asynchronous Panmictic Genetic Search.- A Parallel Sensor Selection Technique for Identification of Distributed Parameter Systems Subject to Correlated Observations.- Distributed Segregative Genetic Algorithm for Solving Fuzzy Equations.- Solving Channel Borrowing Problem with Coevolutionary Genetic Algorithms.- Balancedness in Binary Sequences with Cryptographic Applications.- A Cost-Benefit-Based Adaptation Scheme for Multimeme Algorithms.- Optimizing the Shape of an Impeller Using the Differential Ant-Stigmergy Algorithm.- Parallel Algorithm for Simulation of Circuit and One-Way Quantum Computation Models.- Modular Rough Neuro-fuzzy Systems for Classification.- Tracing SQL Attacks Via Neural Networks.- Optimization of Parallel FDTD Computations Using a Genetic Algorithm.- Modular Type-2 Neuro-fuzzy Systems.- Evolutionary Viral-type Algorithm for the Inverse Problem for Iterated Function Systems.- Tackling the Grid Job Planning and Resource Allocation Problem Using a Hybrid Evolutionary Algorithm.- Evolutionary Algorithm with Forced Variation in Multi-dimensional Non-stationary Environment.- Hybrid Flowshop with Unrelated Machines, Sequence Dependent Setup Time and Availability Constraints: An Enhanced Crossover Operator for a Genetic Algorithm.- The Second Minisymposium on Novel Data Formats and Algorithms for Dense Linear Algebra Computations.- The Relevance of New Data Structure Approaches for Dense Linear Algebra in the New Multi-Core / Many Core Environments.- Three Versions of a Minimal Storage Cholesky Algorithm Using New Data Structures Gives High Performance Speeds as Verified on Many Computers.- Hardware-Oriented Implementation of Cache Oblivious Matrix Operations Based on Space-Filling Curves.- Parallel Tiled QR Factorization for Multicore Architectures.- Application of Rectangular Full Packed and Blocked Hybrid Matrix Formats in Semidefinite Programming for Sensor Network Localization.- New Data Structures for Matrices and Specialized Inner Kernels: Low Overhead for High Performance.- The Implementation of BLAS for Band Matrices.- Parallel Solution of Band Linear Systems in Model Reduction.- Evaluating Linear Recursive Filters Using Novel Data Formats for Dense Matrices.- Combinatorial Tools for Parallel Sparse Matrix Computations Workshop.- Application of Fusion-Fission to the Multi-way Graph Partitioning Problem.- A Parallel Approximation Algorithm for the Weighted Maximum Matching Problem.- Heuristics for a Matrix Symmetrization Problem.- A Supernodal Out-of-Core Sparse Gaussian-Elimination Method.- The Third Grid Applications and Middleware Workshop (GAMW'07).- A Large-Scale Semantic Grid Repository.- Scientific Workflow: A Survey and Research Directions.- A Light-Weight Grid Workflow Execution Engine Enabling Client and Middleware Independence.- Supporting NAMD Application on the Grid Using GPE.- A Grid Advance Reservation Framework for Co-allocation and Co-reservation Across Heterogeneous Local Resource Management Systems.- Using HLA and Grid for Distributed Multiscale Simulations.- The OpenCF: An Open Source Computational Framework Based on Web Services Technologies.- Service Level Agreement Metrics for Real-Time Application on the Grid.- Dynamic Control of Grid Workflows through Activities Global State Monitoring.- Transparent Access to Grid-Based Compute Utilities.- Towards Secure Data Management System for Grid Environment Based on the Cell Broadband Engine.- Ontology Alignment for Contract Based Virtual Organizations Negotiation and Operation.- The Third Workshop on Large Scale Computations on Grids (LaSCoG'07).- On Service-Oriented Symbolic Computing.- CPPC-G: Fault-Tolerant Applications on the Grid.- Garbage Collection in Object Oriented Condensed Graphs.- MASIPE: A Tool Based on Mobile Agents for Monitoring Parallel Environments.- Geovisualisation Service for Grid-Based Assessment of Natural Disasters.- Web Portal to Make Large-Scale Scientific Computations Based on Grid Computing and MPI.- Workshop on Models, Algorithms and Methodologies for Grid-Enabled Computing Environments.- The GSI Plug-In for gSOAP: Building Cross-Grid Interoperable Secure Grid Services.- Implementing Effective Data Management Policies in Distributed and Grid Computing Environments.- Data Mining on Desktop Grid Platforms.- Distributed Resources Reservation Algorithm for GRID Networks.- A PMI-Aware Extension for the SSH Service.- An Integrated ClassAd-Latent Semantic Indexing Matchmaking Algorithm for Globus Toolkit Based Computing Grids.- A Grid Computing Based Virtual Laboratory for Environmental Simulations.- Exploring the Behaviour of Fine-Grain Management for Virtual Resource Provisioning.- Workshop on Scheduling for Parallel Computing (SPC'07).- Parallel Irregular Computations with Dynamic Load Balancing through Global Consistent State Monitoring.- On-Line Partitioning for On-Line Scheduling with Resource Conflicts.- A Multiobjective Evolutionary Approach for Multisite Mapping on Grids.- Scheduling with Precedence Constraints: Mixed Graph Coloring in Series-Parallel Graphs.- A New Model of Multi-installment Divisible Loads Processing in Systems with Limited Memory.- Scheduling DAGs on Grids with Copying and Migration.- Alea - Grid Scheduling Simulation Environment.- Cost Minimisation in Unbounded Multi-interface Networks.- Scheduling in Multi-organization Grids: Measuring the Inefficiency of Decentralization.- Tightness Results for Malleable Task Scheduling Algorithms.- The Second Workshop on Language-Based Parallel Programming Models (WLPP'07).- Universal Grid Client: Grid Operation Invoker.- Divide-and-Conquer Parallel Programming with Minimally Synchronous Parallel ML.- Cloth Simulation in the SILC Matrix Computation Framework: A Case Study.- Computing the Irregularity Strength of Connected Graphs by Parallel Constraint Solving in the Mozart System.- DPSKEL: A Skeleton Based Tool for Parallel Dynamic Programming.- SkelJ: Skeletons for Object-Oriented Applications.- Formal Semantics of DRMA-Style Programming in BSPlib.- A Container-Iterator Parallel Programming Model.- Workshop on Performance Evaluation of Parallel Applications on Large-Scale Systems.- Semantic-Oriented Approach to Performance Monitoring of Distributed Java Applications.- Using Experimental Data to Improve the Performance Modelling of Parallel Linear Algebra Routines.- Comparison of Execution Time Decomposition Methods for Performance Evaluation.- An Extensible Timing Infrastructure for Adaptive Large-Scale Applications.- End to End QoS Measurements of TCP Connections.- Performance Evaluation of Basic Linear Algebra Subroutines on a Matrix Co-processor.- Workshop on Parallel Computational Biology (PBC'2007).- High Throughput Comparison of Prokaryotic Genomes.- A Parallel Classification and Feature Reduction Method for Biomedical Applications.- Applying SIMD Approach to Whole Genome Comparison on Commodity Hardware.- Parallel Multiprocessor Approaches to the RNA Folding Problem.- Protein Similarity Search with Subset Seeds on a Dedicated Reconfigurable Hardware.- Parallel DNA Sequence Alignment on the Cell Broadband Engine.- Workshop on High Performance Computing for Engineering Applications.- Scalability and Performance Analysis of a Probabilistic Domain Decomposition Method.- Scalability Analysis for a Multigrid Linear Equations Solver.- A Grid-Enabled Lattice-Boltzmann-Based Modelling System.- Parallel Bioinspired Algorithms in Optimization of Structures.- 3D Global Flow Stability Analysis on Unstructured Grids.- Performance of Multi Level Parallel Direct Solver for hp Finite Element Method.- Graph Transformations for Modeling Parallel hp-Adaptive Finite Element Method.- Acceleration of Preconditioned Krylov Solvers for Bubbly Flow Problems.- Persistent Data Structures for Fast Point Location.- Minisymposium on Interval Analysis.- A Reliable Extended Octree Representation of CSG Objects with an Adaptive Subdivision Depth.- Efficient Ray Tracing Using Interval Analysis.- A Survey of Interval Runge-Kutta and Multistep Methods for Solving the Initial Value Problem.- Towards Efficient Prediction of Decisions under Interval Uncertainty.- Interval Methods for Computing the Pareto-front of a Multicriterial Problem.- Fuzzy Solution of Interval Linear Equations.- On Checking the Monotonicity of Parametric Interval Solution of Linear Structural Systems.