Algorithmic Aspects of Wireless Sensor Networks [[electronic resource] ] : First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004, Proceedings / / edited by Sotiris Nikoletseas, Jose Rolim |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 206 p.) |
Disciplina | 681/.2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer communication systems
Algorithms Data structures (Computer science) Computer science—Mathematics Computer Communication Networks Algorithm Analysis and Problem Complexity Data Structures Discrete Mathematics in Computer Science |
ISBN | 3-540-27820-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Algorithm Design and Optimization for Sensor Systems -- Algorithmic and Foundational Aspects of Sensor Systems -- Contributed Papers -- On a Conjecture Related to Geometric Routing -- WiseMAC: An Ultra Low Power MAC Protocol for Multi-hop Wireless Sensor Networks -- On the Computational Complexity of Sensor Network Localization -- A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks -- Balanced Data Gathering in Energy-Constrained Sensor Networks -- Scale Free Aggregation in Sensor Networks -- The Expected Uncertainty of Range Free Localization Protocols in Sensor Networks -- Towards a Dynamical Model for Wireless Sensor Networks -- Efficient Delivery of Information in Sensor Networks Using Smart Antennas -- Neighborhood-Based Topology Recognition in Sensor Networks -- A Novel Fault Tolerant and Energy-Aware Based Algorithm for Wireless Sensor Networks -- Route Discovery with Constant Memory in Oriented Planar Geometric Networks -- Probabilistic Model for Energy Estimation in Wireless Sensor Networks -- Multi: A Hybrid Adaptive Dissemination Protocol for Wireless Sensor Networks -- Constrained Flow Optimization with Applications to Data Gathering in Sensor Networks. |
Record Nr. | UNISA-996465717503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Algorithmic Aspects of Wireless Sensor Networks : First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004, Proceedings / / edited by Sotiris Nikoletseas, Jose Rolim |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (X, 206 p.) |
Disciplina | 681/.2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer communication systems
Algorithms Data structures (Computer science) Computer science—Mathematics Computer Communication Networks Algorithm Analysis and Problem Complexity Data Structures Discrete Mathematics in Computer Science |
ISBN | 3-540-27820-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Algorithm Design and Optimization for Sensor Systems -- Algorithmic and Foundational Aspects of Sensor Systems -- Contributed Papers -- On a Conjecture Related to Geometric Routing -- WiseMAC: An Ultra Low Power MAC Protocol for Multi-hop Wireless Sensor Networks -- On the Computational Complexity of Sensor Network Localization -- A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks -- Balanced Data Gathering in Energy-Constrained Sensor Networks -- Scale Free Aggregation in Sensor Networks -- The Expected Uncertainty of Range Free Localization Protocols in Sensor Networks -- Towards a Dynamical Model for Wireless Sensor Networks -- Efficient Delivery of Information in Sensor Networks Using Smart Antennas -- Neighborhood-Based Topology Recognition in Sensor Networks -- A Novel Fault Tolerant and Energy-Aware Based Algorithm for Wireless Sensor Networks -- Route Discovery with Constant Memory in Oriented Planar Geometric Networks -- Probabilistic Model for Energy Estimation in Wireless Sensor Networks -- Multi: A Hybrid Adaptive Dissemination Protocol for Wireless Sensor Networks -- Constrained Flow Optimization with Applications to Data Gathering in Sensor Networks. |
Record Nr. | UNINA-9910144186703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Parallel Algorithms for Irregularly Structured Problems [[electronic resource] ] : Third International Workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19 - 21, 1996. Proceedings / / edited by Alfonso Ferreira, Jose Rolim, Yousef Saad, Tao Yang |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (X, 366 p.) |
Disciplina | 005.2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Architecture, Computer Computer programming Microprocessors Operating systems (Computers) Theory of Computation Computer System Implementation Computation by Abstract Devices Programming Techniques Processor Architectures Operating Systems |
ISBN | 3-540-68808-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Allocating independent tasks to parallel processors: An experimental study -- Parallel implementation of an adaptive scheme for 3D unstructured grids on the SP2 -- Solution of large, sparse, irregular systems on a massively parallel computer -- Parallel implementation of a sparse approximate inverse preconditioner -- Decomposing irregularly sparse matrices for parallel matrix-vector multiplication -- Dynamic spectral partitioning -- Fast distributed genetic algorithms for partitioning uniform grids -- Toward efficient unstructured multigrid preprocessing (extended abstract) -- Domain decomposition for particle methods on the sphere -- Coordination of distributed/parallel multiple-grid domain decomposition -- Systems support for irregular parallel applications -- Distributed object oriented data structures and algorithms for VLSI CAD -- Parallel progressive radiosity with adaptive meshing -- Lineal feature extraction by parallel stick growing -- A simple parallel algorithm for the single-source shortest path problem on planar digraphs -- A regular VLSI array for an irregular algorithm -- Digital librarires and spatial information processing -- Flexible communication mechanisms for dynamic structured applications -- Multi-Message Multicasting -- Synchronization as a strategy for designing efficient parallel algorithms -- Supporting dynamic data and processor repartitioning for irregular applications -- Simple quantitative experiments with a sparse compiler -- Using algorithmic skeletons with dynamic data structures -- An interface design for general parallel branch-and-bound algorithms -- Support for irregular computation in high performance Fortran -- Efficient dynamic embedding of arbitrary binary trees into hypercubes -- Practical dynamic load balancing for irregular problems -- The module allocation problem: An average case analysis -- Dynamically adapting the degree of parallelism with reflexive programs -- On the complexity of the generalized block distribution -- Adaptive load balancing of irregular applications a case study: IDA* applied to the 15-puzzle problem -- Manufacturing progressive addition lenses using distributed parallel processing -- The parallel complexity of randomized fractals. |
Record Nr. | UNISA-996465291503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Parallel Algorithms for Irregularly Structured Problems [[electronic resource] ] : Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings / / edited by Afonso Ferreira, Jose Rolim |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (X, 418 p.) |
Disciplina | 005.2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Architecture, Computer Computer programming Microprocessors Arithmetic and logic units, Computer Theory of Computation Computer System Implementation Computation by Abstract Devices Programming Techniques Processor Architectures Arithmetic and Logic Structures |
ISBN | 3-540-44915-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular versus irregular problems and algorithms -- Algorithmic skeletons for adaptive multigrid methods -- Run-time techniques for parallelizing sparse matrix problems -- Fast execution of irregularly structured programs with low communication frequency on the hypercube -- Run-time parallelization of irregular DOACROSS loops -- Instruction scheduling and global register allocation for SIMD multiprocessors -- General bounds for the assignment of irregular dependency graphs -- A new scheme for dynamic processor assignment for irregular problems -- An efficient mean field annealing formulation for mapping unstructured domains to hypercubes -- Partitioning & mapping of unstructured meshes to parallel machine topologies -- Integrating software pipelining and graph scheduling for iterative scientific computations -- Approximation algorithms for time constrained scheduling -- On the scope of applicability of the ETF algorithm -- Optimal mapping of neighbourhood-constrained systems -- Parallel processing in DNA analysis -- Solving computational fluid dynamics problems on unstructured grids with distributed parallel processing -- Parallel decomposition of unstructured FEM-meshes -- Massively parallel approximation of irregular triangular meshes with G1 parametric surfaces -- Distributed symbolic computation with DTS -- A parallel processing paradigm for irregular applications -- Load balancing strategies for a parallel system of particles -- A reconfigurable parallel algorithm for sparse Cholesky factorization -- Adapted wavelet analysis on moderate parallel distributed memory MIMD architectures -- A new parallel approach to the constrained two-dimensional cutting stock problem -- Using the ProSet-Linda prototyping language for investigating MIMD algorithms for model matching in 3-D computer vision -- Parallel search for combinatorial optimization: Genetic algorithms, simulated annealing, tabu search and GRASP -- Better algorithms for parallel backtracking -- Parallel game tree search on SIMD machines -- Asynchronous parallel branch and bound and anomalies -- Fast priority queues for parallel branch-and-bound -- A parallel formulation for general branch-and-bound algorithms. |
Record Nr. | UNISA-996466162803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Parallel and Distributed Processing [[electronic resource] ] : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings / / edited by Jose Rolim |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (DCL, 667 p. 370 illus. in color.) |
Disciplina | 004.36 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Software engineering Computer organization Computers Computer science—Mathematics Computer mathematics Computer System Implementation Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Theory of Computation Mathematics of Computing Computational Mathematics and Numerical Analysis |
ISBN | 3-540-45591-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 3rd Workshop on Personal Computer based Networks Of Workstations (PC-NOW 2000) -- Memory Management in a combined VIA/SCI Hardware -- ATOLL, a new switched, high speed Interconnect in Comparison to Myrinet and SCI -- ClusterNet: An Object-Oriented Cluster Network -- GigaBit Performance under NT -- MPI Collective Operations over IP Multicast -- An Open Market-Based Architecture for Distributed Computing -- The MultiCluster Model to the Integrated Use of Multiple Workstation Clusters -- Parallel Information Retrieval on an SCI-Based PC-NOW -- A PC-NOW Based Parallel Extension for a Sequential DBMS -- Workshop on Advances in Parallel and Distributed Computational Models -- The Heterogeneous Bulk Synchronous Parallel Model -- On stalling in LogP -- Parallelizability of some P-complete problems -- A New Computation of Shape Moments via Quadtree Decomposition -- The Fuzzy Philosophers -- A Java Applet to Visualize Algorithms on Reconfigurable Mesh -- A Hardware Implementation of PRAM and its Performance Evaluation -- A Non-Binary Parallel Arithmetic Architecture -- Multithreaded Parallel Computer Model with Performance Evaluation -- Workshop on Parallel and Distributed Computing in Image Processing, Video Processing, and Multimedia (PDIVM 2000) -- MAJC-5200: A High Performance Microprocessor for Multimedia Computing -- A Novel Superscalar Architecture for Fast DCT Implementation -- Computing Distance Maps Efficiently Using An Optical Bus -- Advanced Data Layout Optimization for Multimedia Applications -- Parallel Parsing of MPEG Video in a Multi-threaded Multiprocessor Environment -- Parallelization Techniques for Spatial-Temporal Occupancy Maps from Multiple Video Streams -- Heuristic Solutions for a Mapping Problem in a TV-Anytime Server Network -- RPV: A Programming Environment for Real-time Parallel Vision —Specification and programming methodology— -- Parallel low-level image processing on a distributed-memory system -- Congestion-free Routing of Streaming Multimedia Content in BMIN-based Parallel Systems -- Performance of On-Chip Multiprocessors for Vision Tasks (Summary) -- Parallel Hardware-Software Architecture for computation of Discrete Wavelet Transform using the Recursive Merge Filtering algorithm -- Fifth International Workshop on High-level Parallel Programming Models and Supportive Environments HIPS 2000 -- Pipelining Wavefront Computations: Experiences and Performance -- Specification Techniques for Automatic Performance Analysis Tools -- PDRS: A Performance Data Representation System -- Clix — A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory -- Controlling Distributed Shared Memory Consistency from High Level Programming Languages -- Online Computation of Critical Paths for Multithreaded Languages -- Problem Solving Environment Infrastructure for High Performance Computer Systems -- Combining Fusion Optimizations and Piecewise Execution of Nested Data-Parallel Programs -- Declarative concurrency in Java -- Scalable Monitoring Technique for Detecting Races in Parallel Programs -- 3rd IPDPS Workshop on High Performance Data Mining -- Implementation Issues in the Design of I/O Intensive Data Mining Applications on Clusters of Workstations -- A Requirements Analysis for Parallel KDD Systems -- Parallel Data Mining on ATM-Connected PC Cluster and Optimization of its Execution Environments -- The Parallelization of a Knowledge Discovery System with Hypergraph Representation -- Parallelisation of C4.5 as a Particular Divide and Conquer Computation -- Scalable Parallel Clustering for Data Mining on Multicomputers -- Exploiting Dataset Similarity for Distributed Mining -- Scalable Model for Extensional and Intensional Descriptions of Unclassified Data -- Parallel Data Mining of Bayesian Networks from Telecommunications Network Data -- Irregular’00 Seventh International Workshop on Solving Irregularly Structured Problems in Parallel -- Load Balancing and Continuous Quadratic Programming -- Parallel Management of Large Dynamic Shared Memory Space: A Hierarchical FEM Application -- Efficient Parallelization of Unstructured Reductions on Shared Memory Parallel Architectures -- Parallel FEM Simulation of Crack Propagation — Challenges, Status, and Perspectives -- Support for Irregular Computations in Massively Parallel PIM Arrays, Using an Object-Based Execution Model -- Executing Communication-Intensive Irregular Programs Efficiently -- Non-Memory-Based and Real-Time Zerotree Building for Wavelet Zerotree Coding Systems -- Graph Partitioning for Dynamic, Adaptive and Multi-phase Computations -- A Multilevel Algorithm for Spectral Partitioning with Extended Eigen-Models -- An Integrated Decomposition and Partitioning Approach for Irregular Block-Structured Applications -- Ordering Unstructured Meshes for Sparse Matrix Computations on Leading Parallel Systems -- A GRASP for computing approximate solutions for the Three-Index Assignment Problem -- On Identifying Strongly Connected Components in Parallel -- A Parallel, Adaptive Refinement Scheme for Tetrahedral and Triangular Grids -- PaStiX: A Parallel Sparse Direct Solver Based on a Static Scheduling for Mixed 1D/2D Block Distributions -- Workshop on Java for Parallel and Distributed Computing -- An IP Next Generation Compliant Java™ Virtual Machine -- An Approach to Asynchronous Object-Oriented Parallel and Distributed Computing on Wide-Area Systems -- Performance Issues for Multi-language Java Applications -- MPJ: A Proposed Java Message Passing API and Environment for High Performance Computing -- Implementing Java consistency using a generic, multithreaded DSM runtime system -- Third Workshop on Bio-Inspired Solutions to Parallel Processing Problems (BioSP3) -- Take Advantage of the Computing Power of DNA Computers -- Agent surgery: The case for mutable agents -- Was Collective Intelligence1 before Life on Earth? -- Solving Problems on Parallel Computers by Cellular Programming -- Multiprocessor Scheduling with Support by Genetic Algorithms - based Learning Classifier System -- Viewing Scheduling Problems through Genetic and Evolutionary Algorithms -- Dynamic Load Balancing Model: Preliminary Assessment of a Biological Model for a Pseudo-Search Engine -- A Parallel Co-evolutionary Metaheuristic -- Neural Fraud Detection in Mobile Phone Operations -- Information Exchange in Multi Colony Ant Algorithms -- A Surface-Based DNA Algorithm for the Expansion of Symbolic Determinants -- Hardware Support for Simulated Annealing and Tabu Search -- Eighth International Workshop on Parallel and Distributed Real-Time Systems -- A Distributed Real Time Coordination Protocol -- A Segmented Backup Scheme for Dependable Real Time Communication in Multihop Networks -- Real-Time Coordination in Distributed Multimedia Systems -- Supporting Fault-Tolerant Real-Time Applications using the RED-Linux General Scheduling Framework -- Are COTS suitable for building distributed fault-tolerant hard real-time systems? -- Autonomous Consistency Technique in Distributed Database with Heterogeneous Requirements -- Real-time Transaction Processing Using Two-stage Validation in Broadcast Disks -- Using Logs to Increase Availability in Real-Time Main-Memory Database -- Components are from Mars -- 2 + 10 ? 1 + 50 ! -- A Framework for Embedded Real-time System Design -- Best-effort Scheduling of (m,k)-firm Real-time Streams in Multihop Networks -- Predictability and Resource Management in Distributed Multimedia Presentations -- Quality of Service Negotiation for Distributed, Dynamic Real-time Systems -- An Open Framework for Real-Time Scheduling Simulation -- 5th International Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000) -- A Probabilistic Power Prediction Tool for the Xilinx 4000-Series FPGA -- Application Challenges: System Health Management for Complex Systems -- Accommodating QoS Prediction in an Adaptive Resource Management Framework -- Network Load Monitoring in Distributed Systems -- A Novel Specification and Design Methodology Of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware -- Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing Systems -- Developing an Open Architecture for Performance Data Mining -- A 90k gate “CLB” for Parallel Distributed Computing -- Power-Aware Replication of Data Structures in Distributed Embedded Real-Time Systems -- Comparison of MPI Implementations on a Shared Memory Machine -- A Genetic Algorithm Approach to Scheduling Communications for a Class of Parallel Space-Time Adaptive Processing Algorithms -- Reconfigurable Parallel Sorting and Load Balancing on a Beowulf Cluster: HeteroSort -- 7th Reconfigurable Architectures Workshop (RAW 2000) -- Run-Time Reconfiguration at Xilinx (invited talk) -- JRoute: A Run-Time Routing API for FPGA Hardware -- A Reconfigurable Content Addressable Memory -- ATLANTIS — A Hybrid FPGA/RISC Based Re-configurable System -- The Cellular Processor Architecture CEPRA-1X and its Configuration by CDL -- Loop Pipelining and Optimization for Run Time Reconfiguration -- Compiling Process Algebraic Descriptions into Reconfigurable Logic -- Behavioral Partitioning with Synthesis for Multi-FPGA Architectures under Interconnect, Area, and Latency Constraints -- Module Allocation for Dynamically Reconfigurable Systems -- Augmenting Modern Superscalar Architectures with Configurable Extended Instructions -- Complexity Bounds for Lookup Table Implementation of Factored Forms in FPGA Technology Mapping -- Optimization of Motion Estimator for Run-Time-Reconfiguration Implementation -- Constan t-Time Hough Transform On A 3D Reconfigurable Mesh Using Fewer Processors -- Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000 -- A Method for Automatic Cryptographic Protocol Verification -- Verification Meth. |
Record Nr. | UNISA-996465614003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1–5, 2000 Proceedings / / edited by Jose Rolim |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (DCL, 667 p. 370 illus. in color.) |
Disciplina | 004.36 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Software engineering Computer organization Computers Computer science—Mathematics Computer mathematics Computer System Implementation Software Engineering/Programming and Operating Systems Computer Systems Organization and Communication Networks Theory of Computation Mathematics of Computing Computational Mathematics and Numerical Analysis |
ISBN | 3-540-45591-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 3rd Workshop on Personal Computer based Networks Of Workstations (PC-NOW 2000) -- Memory Management in a combined VIA/SCI Hardware -- ATOLL, a new switched, high speed Interconnect in Comparison to Myrinet and SCI -- ClusterNet: An Object-Oriented Cluster Network -- GigaBit Performance under NT -- MPI Collective Operations over IP Multicast -- An Open Market-Based Architecture for Distributed Computing -- The MultiCluster Model to the Integrated Use of Multiple Workstation Clusters -- Parallel Information Retrieval on an SCI-Based PC-NOW -- A PC-NOW Based Parallel Extension for a Sequential DBMS -- Workshop on Advances in Parallel and Distributed Computational Models -- The Heterogeneous Bulk Synchronous Parallel Model -- On stalling in LogP -- Parallelizability of some P-complete problems -- A New Computation of Shape Moments via Quadtree Decomposition -- The Fuzzy Philosophers -- A Java Applet to Visualize Algorithms on Reconfigurable Mesh -- A Hardware Implementation of PRAM and its Performance Evaluation -- A Non-Binary Parallel Arithmetic Architecture -- Multithreaded Parallel Computer Model with Performance Evaluation -- Workshop on Parallel and Distributed Computing in Image Processing, Video Processing, and Multimedia (PDIVM 2000) -- MAJC-5200: A High Performance Microprocessor for Multimedia Computing -- A Novel Superscalar Architecture for Fast DCT Implementation -- Computing Distance Maps Efficiently Using An Optical Bus -- Advanced Data Layout Optimization for Multimedia Applications -- Parallel Parsing of MPEG Video in a Multi-threaded Multiprocessor Environment -- Parallelization Techniques for Spatial-Temporal Occupancy Maps from Multiple Video Streams -- Heuristic Solutions for a Mapping Problem in a TV-Anytime Server Network -- RPV: A Programming Environment for Real-time Parallel Vision —Specification and programming methodology— -- Parallel low-level image processing on a distributed-memory system -- Congestion-free Routing of Streaming Multimedia Content in BMIN-based Parallel Systems -- Performance of On-Chip Multiprocessors for Vision Tasks (Summary) -- Parallel Hardware-Software Architecture for computation of Discrete Wavelet Transform using the Recursive Merge Filtering algorithm -- Fifth International Workshop on High-level Parallel Programming Models and Supportive Environments HIPS 2000 -- Pipelining Wavefront Computations: Experiences and Performance -- Specification Techniques for Automatic Performance Analysis Tools -- PDRS: A Performance Data Representation System -- Clix — A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory -- Controlling Distributed Shared Memory Consistency from High Level Programming Languages -- Online Computation of Critical Paths for Multithreaded Languages -- Problem Solving Environment Infrastructure for High Performance Computer Systems -- Combining Fusion Optimizations and Piecewise Execution of Nested Data-Parallel Programs -- Declarative concurrency in Java -- Scalable Monitoring Technique for Detecting Races in Parallel Programs -- 3rd IPDPS Workshop on High Performance Data Mining -- Implementation Issues in the Design of I/O Intensive Data Mining Applications on Clusters of Workstations -- A Requirements Analysis for Parallel KDD Systems -- Parallel Data Mining on ATM-Connected PC Cluster and Optimization of its Execution Environments -- The Parallelization of a Knowledge Discovery System with Hypergraph Representation -- Parallelisation of C4.5 as a Particular Divide and Conquer Computation -- Scalable Parallel Clustering for Data Mining on Multicomputers -- Exploiting Dataset Similarity for Distributed Mining -- Scalable Model for Extensional and Intensional Descriptions of Unclassified Data -- Parallel Data Mining of Bayesian Networks from Telecommunications Network Data -- Irregular’00 Seventh International Workshop on Solving Irregularly Structured Problems in Parallel -- Load Balancing and Continuous Quadratic Programming -- Parallel Management of Large Dynamic Shared Memory Space: A Hierarchical FEM Application -- Efficient Parallelization of Unstructured Reductions on Shared Memory Parallel Architectures -- Parallel FEM Simulation of Crack Propagation — Challenges, Status, and Perspectives -- Support for Irregular Computations in Massively Parallel PIM Arrays, Using an Object-Based Execution Model -- Executing Communication-Intensive Irregular Programs Efficiently -- Non-Memory-Based and Real-Time Zerotree Building for Wavelet Zerotree Coding Systems -- Graph Partitioning for Dynamic, Adaptive and Multi-phase Computations -- A Multilevel Algorithm for Spectral Partitioning with Extended Eigen-Models -- An Integrated Decomposition and Partitioning Approach for Irregular Block-Structured Applications -- Ordering Unstructured Meshes for Sparse Matrix Computations on Leading Parallel Systems -- A GRASP for computing approximate solutions for the Three-Index Assignment Problem -- On Identifying Strongly Connected Components in Parallel -- A Parallel, Adaptive Refinement Scheme for Tetrahedral and Triangular Grids -- PaStiX: A Parallel Sparse Direct Solver Based on a Static Scheduling for Mixed 1D/2D Block Distributions -- Workshop on Java for Parallel and Distributed Computing -- An IP Next Generation Compliant Java™ Virtual Machine -- An Approach to Asynchronous Object-Oriented Parallel and Distributed Computing on Wide-Area Systems -- Performance Issues for Multi-language Java Applications -- MPJ: A Proposed Java Message Passing API and Environment for High Performance Computing -- Implementing Java consistency using a generic, multithreaded DSM runtime system -- Third Workshop on Bio-Inspired Solutions to Parallel Processing Problems (BioSP3) -- Take Advantage of the Computing Power of DNA Computers -- Agent surgery: The case for mutable agents -- Was Collective Intelligence1 before Life on Earth? -- Solving Problems on Parallel Computers by Cellular Programming -- Multiprocessor Scheduling with Support by Genetic Algorithms - based Learning Classifier System -- Viewing Scheduling Problems through Genetic and Evolutionary Algorithms -- Dynamic Load Balancing Model: Preliminary Assessment of a Biological Model for a Pseudo-Search Engine -- A Parallel Co-evolutionary Metaheuristic -- Neural Fraud Detection in Mobile Phone Operations -- Information Exchange in Multi Colony Ant Algorithms -- A Surface-Based DNA Algorithm for the Expansion of Symbolic Determinants -- Hardware Support for Simulated Annealing and Tabu Search -- Eighth International Workshop on Parallel and Distributed Real-Time Systems -- A Distributed Real Time Coordination Protocol -- A Segmented Backup Scheme for Dependable Real Time Communication in Multihop Networks -- Real-Time Coordination in Distributed Multimedia Systems -- Supporting Fault-Tolerant Real-Time Applications using the RED-Linux General Scheduling Framework -- Are COTS suitable for building distributed fault-tolerant hard real-time systems? -- Autonomous Consistency Technique in Distributed Database with Heterogeneous Requirements -- Real-time Transaction Processing Using Two-stage Validation in Broadcast Disks -- Using Logs to Increase Availability in Real-Time Main-Memory Database -- Components are from Mars -- 2 + 10 ? 1 + 50 ! -- A Framework for Embedded Real-time System Design -- Best-effort Scheduling of (m,k)-firm Real-time Streams in Multihop Networks -- Predictability and Resource Management in Distributed Multimedia Presentations -- Quality of Service Negotiation for Distributed, Dynamic Real-time Systems -- An Open Framework for Real-Time Scheduling Simulation -- 5th International Workshop on Embedded/Distributed HPC Systems and Applications (EHPC 2000) -- A Probabilistic Power Prediction Tool for the Xilinx 4000-Series FPGA -- Application Challenges: System Health Management for Complex Systems -- Accommodating QoS Prediction in an Adaptive Resource Management Framework -- Network Load Monitoring in Distributed Systems -- A Novel Specification and Design Methodology Of Embedded Multiprocessor Signal Processing Systems Using High-Performance Middleware -- Auto Source Code Generation and Run-Time Infrastructure and Environment for High Performance, Distributed Computing Systems -- Developing an Open Architecture for Performance Data Mining -- A 90k gate “CLB” for Parallel Distributed Computing -- Power-Aware Replication of Data Structures in Distributed Embedded Real-Time Systems -- Comparison of MPI Implementations on a Shared Memory Machine -- A Genetic Algorithm Approach to Scheduling Communications for a Class of Parallel Space-Time Adaptive Processing Algorithms -- Reconfigurable Parallel Sorting and Load Balancing on a Beowulf Cluster: HeteroSort -- 7th Reconfigurable Architectures Workshop (RAW 2000) -- Run-Time Reconfiguration at Xilinx (invited talk) -- JRoute: A Run-Time Routing API for FPGA Hardware -- A Reconfigurable Content Addressable Memory -- ATLANTIS — A Hybrid FPGA/RISC Based Re-configurable System -- The Cellular Processor Architecture CEPRA-1X and its Configuration by CDL -- Loop Pipelining and Optimization for Run Time Reconfiguration -- Compiling Process Algebraic Descriptions into Reconfigurable Logic -- Behavioral Partitioning with Synthesis for Multi-FPGA Architectures under Interconnect, Area, and Latency Constraints -- Module Allocation for Dynamically Reconfigurable Systems -- Augmenting Modern Superscalar Architectures with Configurable Extended Instructions -- Complexity Bounds for Lookup Table Implementation of Factored Forms in FPGA Technology Mapping -- Optimization of Motion Estimator for Run-Time-Reconfiguration Implementation -- Constan t-Time Hough Transform On A 3D Reconfigurable Mesh Using Fewer Processors -- Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000 -- A Method for Automatic Cryptographic Protocol Verification -- Verification Meth. |
Record Nr. | UNINA-9910143633803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Parallel and Distributed Processing [[electronic resource] ] : 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12–16, 1999 Proceedings / / edited by Jose Rolim |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
Descrizione fisica | 1 online resource (XXXIV, 1444 p. 365 illus.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Architecture, Computer Computer organization Computer hardware Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Computer System Implementation Computer Systems Organization and Communication Networks Computer Hardware Discrete Mathematics in Computer Science Theory of Computation |
ISBN | 3-540-48932-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fourth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS’99) -- Efficient program partitioning based on compiler controlled communication -- SCI-VM: A flexible base for transparent shared memory programming models on clusters of PCs -- Flexible collective operations for distributed object groups -- SCALA: A framework for performance evaluation of scalable computing -- Recursive individually distributed object -- The MuSE system: A flexible combination of on-stack execution and work-stealing -- Pangaea: An automatic distribution front-end for Java -- Concurrent language support for interoperable applications -- On the distributed implementation of aggregate data structures by program transformation -- Implementing a non-strict functional programming language on a threaded architecture -- Second workhop on bio-inspired solutions to parallel processing problems (BioSP3) -- The biological basis of the immune system as a model for intelligent agents -- A formal definition of the phenomenon of collective intelligence and its IQ measure -- Implementation of data flow logical operations via self-assembly of DNA -- A parallel hybrid evolutionary metaheuristic for the period vehicle routing problem -- Distributed scheduling with decomposed optimization criterion: Genetic programming approach -- A parallel genetic algorithm for task mapping on parallel machines -- Evolution-based scheduling of fault-tolerant programs on multiple processors -- A genetic-based fault-tolerant routing strategy for multiprocessor networks -- Regularity considerations in instance-based locality optimization -- Parallel ant colonies for combinatorial optimization problems -- An analysis of synchronous and asynchronous parallel distributed genetic algorithms with structured and panmictic Islands -- GA-based parallel image registration on parallel clusters -- Implementation of a parallel genetic algorithm on a cluster of workstations: The Travelling Salesman Problem, a case study -- Structural biology metaphors applied to the design of a distributed object system -- Proceedings of the Seventh International Workshop on Parallel and Distributed Real-time Systems -- Building an adaptive multimedia system using the utility model -- Evaluation of real-time fiber communications for parallel collective operations -- The case for prediction-based best-effort real-time systems -- Dynamic real-time channel establishment in multiple access bus networks -- A similarity-based protocol for concurrency control in mobile distributed real-time database systems -- From task scheduling in single processor environments to message scheduling in a PROFIBUS fieldbus network -- An adaptive, distributed airborne tracking sysem -- Non-preemptive scheduling of real-time threads on multi-level-context architectures -- QoS control and adaptation in distributed multimedia systems -- Dependability evaluation of fault tolerant distributed industrial control systems -- An approach for measuring IP security performance in a distributed environment -- An environment for generating applications involving remote manipulation of parallel machines -- Real-time image processing on a local plane SIMD array -- Metrics for the evaluation of multicast communications -- Distributing periodic workload uniformly across time to achieve better service quality -- A dynamic fault-tolerant mesh architecture -- Evaluation of a hybrid real-time bus scheduling mechanism for CAN -- System support for migratory continuous media applications in distributed real-time environments -- Dynamic application structuring on heterogeneous, distributed systems -- Improving support for multimedia system experimentation and deployment -- Run-time systems for parallel programming -- Efficient communications in multithreaded runtime systems -- Application performance of a linux cluster using converse -- An efficient and transparent thread migration scheme in the PM2 runtime system -- Communication-intensive parallel applications and non-dedicated clusters of workstations -- A framework for adaptive storage input/output on computational grids -- ARMCI: A portable remote memory copy library for distributed array libraries and compiler run-time systems -- Multicast-based runtime system for highly efficient causally consistent software-only DSM -- Adaptive DSM-runtime behavior via speculative data distribution -- 6th reconfigurable architectures workshop -- DEFACTO: A design environment for adaptive computing technology -- A web-based multiuser operating system for reconfigurable computing -- Interconnect synthesis for reconfigurable multi-FPGA architectures -- Hardwired-clusters partial-crossbar: A hierarchical routing architecture for multi-FPGA systems -- Integrated block-processing and design-space exploration in temporal partitioning for RTR architectures -- Improved scaling simulation of the general reconfigurable mesh -- Bit summation on the reconfigurable mesh -- Scalable hardware-algorithms for binary prefix sums -- Configuration sequencing with self configurable binary multipliers -- Domain specific mapping for solving graph problems on reconfigurable devices -- MorphoSys: a reconfigurable processor targeted to high performance image application -- An efficient implementation method of fractal image compression on dynamically reconfigurable architecture -- Plastic cell architecture: A dynamically reconfigurable hardware-based computer -- Leonardo and discipulus simplex: -- Reusable internal hardware templates -- An on-line arithmetic-based reconfigurable neuroprocessor -- The re-configurable delay-insensitive Flysig architecture -- Digital signal processing with general purpose microprocessors, DSP and reconfigurable logic -- Solving satisfiability problems on FPGAs using experimental unit propagation heuristic -- FPGA implementation of modular exponentiation -- Workshop on Java for Parallel and Distributed Computing -- More efficient object serialization -- A customizable implementation of RMI for high performance computing -- mpiJava: An object-oriented java interface to MPI -- An adaptive, fault-tolerant implementation of BSP for Java-based volunteer computing systems -- High performance computing for the masses -- Process networks as a high-level notation for metacomputing -- Developing parallel applications using the JavaPorts environment -- 3rd workshop on Optics and Computer Science Message from the Program Chairs -- Permutation routing in all-optical product networks -- NWCache: Optimizing disk accesses via an optical network/write cache hybrid -- NetCache: A network/cache hybrid for multiprocessors -- A multi-wavelength optical content-addressable parallel processor (MW-OCAPP) for high-speed parallel relational database processing: Architectural concepts and preliminary experimental system -- Optimal scheduling algorithms in WDM optical passive star networks -- OTIS-Based multi-hop multi-OPS lightwave networks -- Solving graph theory problems using reconfigurable pipelined optical buses -- High speed, high capacity bused interconnects using optical slab waveguides -- A new architecture for multihop optical networks -- Pipelined versus non-pipelined traffic scheduling in unidirectional WDM rings -- Irregular ’99 Sixth International Workshop on Solving Irregularly Structured Problems in Parallel -- Self-Avoiding walks over adaptive unstructured grids -- A graph based method for generating the fiedler vector of irregular problems -- Hybridizing nested dissection and halo approximate minimum degree for efficient sparce matrix ordering -- ParaPART: Parallel mesh partitioning tool for distributed systems -- Sparse computations with Pei -- Optimizing irregular HPF applications using halos -- From EARTH to HTMT: An evolution of a multiheaded architecture model -- Irregular parallel algorithms in Java -- A simple framework to calculate the reaching definition of array references and its use in subscript array analysis -- Dynamic process composition and communication patterns in irregularly structured applications -- Scalable parallelization of harmonic balance simulation -- A range minima parallel algorithm for coarse grained multicomputers -- Deterministic branch-and-bound on distributed memory machines -- 2nd Workshop on Personal Computer Based Networks of Workstations (PC-NOW’99) -- Performance results for a reliable low-latency cluster communication protocol -- Coscheduling through synchronized scheduling servers—A prototype and experiments -- High-performance knowledge extraction from data on PC-based networks of workstations -- Addressing communication latency issues on clusters for fine grained asynchronous applications—A case study -- Low cost databases for NOW -- Implementation and evaluation of MPI on an SMP cluster -- Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA’99 April 16 1998 -- From a specification to an equivalence proof in object-oriented parallelism -- Examples of program composition illustrating the use of universal properties -- A formal framework for specifying and verifying time warp optimizations -- Verifying end-to-end protocols using induction with CSP/FDR -- Mechanical verification of a garbage collector -- A structured approach to parallel programming: Methodology and models -- BSP in CSP: Easy as ABC -- 4th International Workshop on Embedded HPC Systems and Applications (EHPC’99) -- A distributed system reference architecture for adaptive QoS and resource management -- Transparent real-time monitoring in MPI -- DynBench: A dynamic benchmark suite for distributed real-time systems -- Reflections on the creation of a real-time parallel benchmark suite -- Tailor-made operating systems for embedded parallel applications -- Fiber-optic interconnection networks for signal processing applications -- Reconfigurable parallel sorting and load balancing: HeteroSo. |
Record Nr. | UNINA-9910144126703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Parallel and Distributed Processing [[electronic resource] ] : 11th IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing San Juan, Puerto Rico, USA, April 12–16, 1999 Proceedings / / edited by Jose Rolim |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
Descrizione fisica | 1 online resource (XXXIV, 1444 p. 365 illus.) |
Disciplina | 005.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Architecture, Computer Computer organization Computer hardware Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Computer System Implementation Computer Systems Organization and Communication Networks Computer Hardware Discrete Mathematics in Computer Science Theory of Computation |
ISBN | 3-540-48932-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Fourth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS’99) -- Efficient program partitioning based on compiler controlled communication -- SCI-VM: A flexible base for transparent shared memory programming models on clusters of PCs -- Flexible collective operations for distributed object groups -- SCALA: A framework for performance evaluation of scalable computing -- Recursive individually distributed object -- The MuSE system: A flexible combination of on-stack execution and work-stealing -- Pangaea: An automatic distribution front-end for Java -- Concurrent language support for interoperable applications -- On the distributed implementation of aggregate data structures by program transformation -- Implementing a non-strict functional programming language on a threaded architecture -- Second workhop on bio-inspired solutions to parallel processing problems (BioSP3) -- The biological basis of the immune system as a model for intelligent agents -- A formal definition of the phenomenon of collective intelligence and its IQ measure -- Implementation of data flow logical operations via self-assembly of DNA -- A parallel hybrid evolutionary metaheuristic for the period vehicle routing problem -- Distributed scheduling with decomposed optimization criterion: Genetic programming approach -- A parallel genetic algorithm for task mapping on parallel machines -- Evolution-based scheduling of fault-tolerant programs on multiple processors -- A genetic-based fault-tolerant routing strategy for multiprocessor networks -- Regularity considerations in instance-based locality optimization -- Parallel ant colonies for combinatorial optimization problems -- An analysis of synchronous and asynchronous parallel distributed genetic algorithms with structured and panmictic Islands -- GA-based parallel image registration on parallel clusters -- Implementation of a parallel genetic algorithm on a cluster of workstations: The Travelling Salesman Problem, a case study -- Structural biology metaphors applied to the design of a distributed object system -- Proceedings of the Seventh International Workshop on Parallel and Distributed Real-time Systems -- Building an adaptive multimedia system using the utility model -- Evaluation of real-time fiber communications for parallel collective operations -- The case for prediction-based best-effort real-time systems -- Dynamic real-time channel establishment in multiple access bus networks -- A similarity-based protocol for concurrency control in mobile distributed real-time database systems -- From task scheduling in single processor environments to message scheduling in a PROFIBUS fieldbus network -- An adaptive, distributed airborne tracking sysem -- Non-preemptive scheduling of real-time threads on multi-level-context architectures -- QoS control and adaptation in distributed multimedia systems -- Dependability evaluation of fault tolerant distributed industrial control systems -- An approach for measuring IP security performance in a distributed environment -- An environment for generating applications involving remote manipulation of parallel machines -- Real-time image processing on a local plane SIMD array -- Metrics for the evaluation of multicast communications -- Distributing periodic workload uniformly across time to achieve better service quality -- A dynamic fault-tolerant mesh architecture -- Evaluation of a hybrid real-time bus scheduling mechanism for CAN -- System support for migratory continuous media applications in distributed real-time environments -- Dynamic application structuring on heterogeneous, distributed systems -- Improving support for multimedia system experimentation and deployment -- Run-time systems for parallel programming -- Efficient communications in multithreaded runtime systems -- Application performance of a linux cluster using converse -- An efficient and transparent thread migration scheme in the PM2 runtime system -- Communication-intensive parallel applications and non-dedicated clusters of workstations -- A framework for adaptive storage input/output on computational grids -- ARMCI: A portable remote memory copy library for distributed array libraries and compiler run-time systems -- Multicast-based runtime system for highly efficient causally consistent software-only DSM -- Adaptive DSM-runtime behavior via speculative data distribution -- 6th reconfigurable architectures workshop -- DEFACTO: A design environment for adaptive computing technology -- A web-based multiuser operating system for reconfigurable computing -- Interconnect synthesis for reconfigurable multi-FPGA architectures -- Hardwired-clusters partial-crossbar: A hierarchical routing architecture for multi-FPGA systems -- Integrated block-processing and design-space exploration in temporal partitioning for RTR architectures -- Improved scaling simulation of the general reconfigurable mesh -- Bit summation on the reconfigurable mesh -- Scalable hardware-algorithms for binary prefix sums -- Configuration sequencing with self configurable binary multipliers -- Domain specific mapping for solving graph problems on reconfigurable devices -- MorphoSys: a reconfigurable processor targeted to high performance image application -- An efficient implementation method of fractal image compression on dynamically reconfigurable architecture -- Plastic cell architecture: A dynamically reconfigurable hardware-based computer -- Leonardo and discipulus simplex: -- Reusable internal hardware templates -- An on-line arithmetic-based reconfigurable neuroprocessor -- The re-configurable delay-insensitive Flysig architecture -- Digital signal processing with general purpose microprocessors, DSP and reconfigurable logic -- Solving satisfiability problems on FPGAs using experimental unit propagation heuristic -- FPGA implementation of modular exponentiation -- Workshop on Java for Parallel and Distributed Computing -- More efficient object serialization -- A customizable implementation of RMI for high performance computing -- mpiJava: An object-oriented java interface to MPI -- An adaptive, fault-tolerant implementation of BSP for Java-based volunteer computing systems -- High performance computing for the masses -- Process networks as a high-level notation for metacomputing -- Developing parallel applications using the JavaPorts environment -- 3rd workshop on Optics and Computer Science Message from the Program Chairs -- Permutation routing in all-optical product networks -- NWCache: Optimizing disk accesses via an optical network/write cache hybrid -- NetCache: A network/cache hybrid for multiprocessors -- A multi-wavelength optical content-addressable parallel processor (MW-OCAPP) for high-speed parallel relational database processing: Architectural concepts and preliminary experimental system -- Optimal scheduling algorithms in WDM optical passive star networks -- OTIS-Based multi-hop multi-OPS lightwave networks -- Solving graph theory problems using reconfigurable pipelined optical buses -- High speed, high capacity bused interconnects using optical slab waveguides -- A new architecture for multihop optical networks -- Pipelined versus non-pipelined traffic scheduling in unidirectional WDM rings -- Irregular ’99 Sixth International Workshop on Solving Irregularly Structured Problems in Parallel -- Self-Avoiding walks over adaptive unstructured grids -- A graph based method for generating the fiedler vector of irregular problems -- Hybridizing nested dissection and halo approximate minimum degree for efficient sparce matrix ordering -- ParaPART: Parallel mesh partitioning tool for distributed systems -- Sparse computations with Pei -- Optimizing irregular HPF applications using halos -- From EARTH to HTMT: An evolution of a multiheaded architecture model -- Irregular parallel algorithms in Java -- A simple framework to calculate the reaching definition of array references and its use in subscript array analysis -- Dynamic process composition and communication patterns in irregularly structured applications -- Scalable parallelization of harmonic balance simulation -- A range minima parallel algorithm for coarse grained multicomputers -- Deterministic branch-and-bound on distributed memory machines -- 2nd Workshop on Personal Computer Based Networks of Workstations (PC-NOW’99) -- Performance results for a reliable low-latency cluster communication protocol -- Coscheduling through synchronized scheduling servers—A prototype and experiments -- High-performance knowledge extraction from data on PC-based networks of workstations -- Addressing communication latency issues on clusters for fine grained asynchronous applications—A case study -- Low cost databases for NOW -- Implementation and evaluation of MPI on an SMP cluster -- Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA’99 April 16 1998 -- From a specification to an equivalence proof in object-oriented parallelism -- Examples of program composition illustrating the use of universal properties -- A formal framework for specifying and verifying time warp optimizations -- Verifying end-to-end protocols using induction with CSP/FDR -- Mechanical verification of a garbage collector -- A structured approach to parallel programming: Methodology and models -- BSP in CSP: Easy as ABC -- 4th International Workshop on Embedded HPC Systems and Applications (EHPC’99) -- A distributed system reference architecture for adaptive QoS and resource management -- Transparent real-time monitoring in MPI -- DynBench: A dynamic benchmark suite for distributed real-time systems -- Reflections on the creation of a real-time parallel benchmark suite -- Tailor-made operating systems for embedded parallel applications -- Fiber-optic interconnection networks for signal processing applications -- Reconfigurable parallel sorting and load balancing: HeteroSo. |
Record Nr. | UNISA-996465783303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Parallel and Distributed Processing [[electronic resource] ] : 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings / / edited by Jose Rolim |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (XV, 1172 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer organization
Software engineering Computer hardware Computers Computer science—Mathematics Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Computer Hardware Theory of Computation Mathematics of Computing |
ISBN | 3-540-69756-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465780303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Parallel and Distributed Processing [[electronic resource] ] : 10th International IPPS/SPDP'98 Workshops, Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998, Proceedings / / edited by Jose Rolim |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (XV, 1172 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer organization
Software engineering Computer hardware Computers Computer science—Mathematics Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems Computer Hardware Theory of Computation Mathematics of Computing |
ISBN | 3-540-69756-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910767542403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|