Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
15th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing : Naples, Italy : February 7-9, 2007
| 15th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing : Naples, Italy : February 7-9, 2007 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2007 |
| Disciplina | 004/.35 |
| Soggetto topico |
Parallel programming (Computer science) - Distributed processing
Electronic data processing Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-8884-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996202099903316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
15th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing : Naples, Italy : February 7-9, 2007
| 15th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing : Naples, Italy : February 7-9, 2007 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2007 |
| Disciplina | 004/.35 |
| Soggetto topico |
Parallel programming (Computer science) - Distributed processing
Electronic data processing Engineering & Applied Sciences Computer Science |
| ISBN | 1-5090-8884-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142705503321 |
| [Place of publication not identified], : IEEE Computer Society Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dynamics of Mathematical Models in Biology : Bringing Mathematics to Life / / edited by Alessandra Rogato, Valeria Zazzu, Mario Guarracino
| Dynamics of Mathematical Models in Biology : Bringing Mathematics to Life / / edited by Alessandra Rogato, Valeria Zazzu, Mario Guarracino |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 148 p. 34 illus., 29 illus. in color.) |
| Disciplina | 519 |
| Soggetto topico |
Neural networks (Computer science)
Bioinformatics Biomathematics Calculus of variations Computer mathematics Mathematical Models of Cognitive Processes and Neural Networks Computational Biology/Bioinformatics Mathematical and Computational Biology Calculus of Variations and Optimal Control; Optimization Computational Mathematics and Numerical Analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction: Mathematical Modeling -- Genome dynamics -- Dynamics of biological networks -- Pattern recognition dynamics -- Dynamics of polymorphisms. |
| Record Nr. | UNINA-9910149488103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Euro-Par 2010 - Parallel Processing [[electronic resource] ] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I / / edited by Pasqua D'Ambra, Mario Guarracino, Domenico Talia
| Euro-Par 2010 - Parallel Processing [[electronic resource] ] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I / / edited by Pasqua D'Ambra, Mario Guarracino, Domenico Talia |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXX, 600 p. 264 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer systems Computer programming Electronic digital computers—Evaluation Algorithms Numerical analysis Theory of Computation Computer System Implementation Programming Techniques System Performance and Evaluation Numerical Analysis |
| ISBN |
1-280-38842-0
9786613566348 3-642-15277-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Topic 1: Support Tools and Environments -- Distributed Systems and Algorithms -- Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi-core Architectures -- Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling -- Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling -- Efficient Graph Partitioning Algorithms for Collaborative Grid Workflow Developer Environments -- Profile-Driven Selective Program Loading -- Characterizing the Impact of Using Spare-Cores on Application Performance -- Topic 2: Performance Prediction and Evaluation -- Performance Prediction and Evaluation -- A Model for Space-Correlated Failures in Large-Scale Distributed Systems -- Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications -- jitSim: A Simulator for Predicting Scalability of Parallel Applications in Presence of OS Jitter -- pCFS vs. PVFS: Comparing a Highly-Available Symmetrical Parallel Cluster File System with an Asymmetrical Parallel File System -- Comparing Scalability Prediction Strategies on an SMP of CMPs -- Topic 3: Scheduling and Load-Balancing -- Scheduling and Load Balancing -- A Fast 5/2-Approximation Algorithm for Hierarchical Scheduling -- Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications -- Extremal Optimization Approach Applied to Initial Mapping of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis and Simulation -- Code Scheduling for Optimizing Parallelism and Data Locality -- Hierarchical Work-Stealing -- Optimum Diffusion for Load Balancing in Mesh Networks -- A Dynamic, Distributed, Hierarchical Load Balancing for HLA-Based Simulations on Large-Scale Environments -- Topic 4: High Performance Architectures and Compilers -- High Performance Architectures and Compilers -- Power-Efficient Spilling Techniques for Chip Multiprocessors -- Scalable Object-Aware Hardware Transactional Memory -- Efficient Address Mapping of Shared Cache for On-Chip Many-Core Architecture -- Thread Owned Block Cache: Managing Latency in Many-Core Architecture -- Extending the Cell SPE with Energy Efficient Branch Prediction -- Topic 5: Parallel and Distributed Data Management -- Parallel and Distributed Data Management -- Federated Enactment of Workflow Patterns -- A Distributed Approach to Detect Outliers in Very Large Data Sets -- Topic 6: Grid, Cluster and Cloud Computing -- Grid, Cluster and Cloud Computing -- Deployment of a Hierarchical Middleware -- Toward Real-Time, Many-Task Applications on Large Distributed Systems -- Scheduling Scientific Workflows to Meet Soft Deadlines in the Absence of Failure Models -- A GPGPU Transparent Virtualization Component for High Performance Computing Clouds -- What Is the Price of Simplicity? -- User-Centric, Heuristic Optimization of Service Composition in Clouds -- A Distributed Market Framework for Large-Scale Resource Sharing -- Using Network Information to Perform Meta-scheduling in Advance in Grids -- Topic 7: Peer to Peer Computing -- Peer-to-Peer Computing -- Overlay Management for Fully Distributed User-Based Collaborative Filtering -- Dynamic Publish/Subscribe to Meet Subscriber-Defined Delay and Bandwidth Constraints -- Combining Hilbert SFC and Bruijn Graphs for Searching Computing Markets in a P2P System -- Sampling Bias in BitTorrent Measurements -- A Formal Credit-Based Incentive Model for Sharing Computer Resources -- Topic 8: Distributed Systems and Algorithms -- Distributed Systems and Algorithms -- Improving Message Logging Protocols Scalability through Distributed Event Logging -- Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems -- Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters -- Adaptive Conflict Unit Size for Distributed Optimistic Synchronization -- Frame Allocation Algorithms for Multi-threaded Network Cameras -- Scalable Distributed Simulation of Large Dense Crowds Using the Real-Time Framework (RTF) -- The x-Wait-Freedom Progress Condition. |
| Record Nr. | UNISA-996465679103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Euro-Par 2010 - Parallel Processing [[electronic resource] ] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / / edited by Pasqua D'Ambra, Mario Guarracino, Domenico Talia
| Euro-Par 2010 - Parallel Processing [[electronic resource] ] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II / / edited by Pasqua D'Ambra, Mario Guarracino, Domenico Talia |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XXV, 544 p. 222 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Computer systems Computer programming Electronic digital computers—Evaluation Algorithms Numerical analysis Theory of Computation Computer System Implementation Programming Techniques System Performance and Evaluation Numerical Analysis |
| ISBN |
1-280-38844-7
9786613566362 3-642-15291-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Topic 9: Parallel and Distributed Programming -- Parallel and Distributed Programming -- Transactional Mutex Locks -- Exceptions for Algorithmic Skeletons -- Generators-of-Generators Library with Optimization Capabilities in Fortress -- User Transparent Task Parallel Multimedia Content Analysis -- Parallel Simulation for Parameter Estimation of Optical Tissue Properties -- Topic 10: Parallel Numerical Algorithms -- Parallel Numerical Algorithms -- Scalability and Locality of Extrapolation Methods for Distributed-Memory Architectures -- CFD Parallel Simulation Using Getfem++ and Mumps -- Aggregation AMG for Distributed Systems Suffering from Large Message Numbers -- A Parallel Implementation of the Jacobi-Davidson Eigensolver and Its Application in a Plasma Turbulence Code -- Scheduling Parallel Eigenvalue Computations in a Quantum Chemistry Code -- Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores -- Topic 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A Programming and Execution Environment for Parallel and Distributed Many-Core Architectures -- Scalable Producer-Consumer Pools Based on Elimination-Diffraction Trees -- Productivity and Performance: Improving Consumability of Hardware Transactional Memory through a Real-World Case Study -- Exploiting Fine-Grained Parallelism on Cell Processors -- Optimized On-Chip-Pipelined Mergesort on the Cell/B.E. -- Near-Optimal Placement of MPI Processes on Hierarchical NUMA Architectures -- Parallel Enumeration of Shortest Lattice Vectors -- A Parallel GPU Algorithm for Mutual Information Based 3D Nonrigid Image Registration -- Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations -- Long DNA Sequence Comparison on Multicore Architectures -- Adaptive Fault Tolerance for Many-Core Based Space-Borne Computing -- Maestro: Data Orchestration and Tuning for OpenCL Devices -- Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software -- Parallel Exact Time Series Motif Discovery -- Optimized Dense Matrix Multiplication on a Many-Core Architecture -- A Language-Based Tuning Mechanism for Task and Pipeline Parallelism -- A Study of a Software Cache Implementation of the OpenMP Memory Model for Multicore and Manycore Architectures -- Programming CUDA-Based GPUs to Simulate Two-Layer Shallow Water Flows -- Topic 12: Theory and Algorithms for Parallel Computation -- Theory and Algorithms for Parallel Computation -- Analysis of Multi-Organization Scheduling Algorithms -- Area-Maximizing Schedules for Series-Parallel DAGs -- Parallel Selection by Regular Sampling -- Ants in Parking Lots -- Topic 13: High Performance Networks -- High Performance Networks -- An Efficient Strategy for Reducing Head-of-Line Blocking in Fat-Trees -- A First Approach to King Topologies for On-Chip Networks -- Optimizing Matrix Transpose on Torus Interconnects -- Topic 14: Mobile and Ubiquitous Computing -- Mobile and Ubiquitous Computing -- cTrust: Trust Aggregation in Cyclic Mobile Ad Hoc Networks -- Maximizing Growth Codes Utility in Large-Scale Wireless Sensor Networks -- @Flood: Auto-Tunable Flooding for Wireless Ad Hoc Networks -- On Deploying Tree Structured Agent Applications in Networked Embedded Systems -- Meaningful Metrics for Evaluating Eventual Consistency -- Caching Dynamic Information in Vehicular Ad Hoc Networks -- Collaborative Cellular-Based Location System. |
| Record Nr. | UNISA-996465680003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Euro-Par 2010 - parallel processing [[electronic resource] ] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010 ; proceedings . Part 2 / / Pasqua D'Ambra, Mario Guarracino, Domenico Talia (eds.)
| Euro-Par 2010 - parallel processing [[electronic resource] ] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010 ; proceedings . Part 2 / / Pasqua D'Ambra, Mario Guarracino, Domenico Talia (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2010 |
| Descrizione fisica | 1 online resource (XXV, 544 p. 222 illus.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
GuarracinoMario
TaliaDomenico D'AmbraPasqua |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Parallel processing (Electronic computers)
Computer science Computer software Computer system performance Electronic data processing Operating systems (Computers) |
| ISBN |
1-280-38844-7
9786613566362 3-642-15291-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Topic 9: Parallel and Distributed Programming -- Parallel and Distributed Programming -- Transactional Mutex Locks -- Exceptions for Algorithmic Skeletons -- Generators-of-Generators Library with Optimization Capabilities in Fortress -- User Transparent Task Parallel Multimedia Content Analysis -- Parallel Simulation for Parameter Estimation of Optical Tissue Properties -- Topic 10: Parallel Numerical Algorithms -- Parallel Numerical Algorithms -- Scalability and Locality of Extrapolation Methods for Distributed-Memory Architectures -- CFD Parallel Simulation Using Getfem++ and Mumps -- Aggregation AMG for Distributed Systems Suffering from Large Message Numbers -- A Parallel Implementation of the Jacobi-Davidson Eigensolver and Its Application in a Plasma Turbulence Code -- Scheduling Parallel Eigenvalue Computations in a Quantum Chemistry Code -- Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores -- Topic 11: Multicore and Manycore Programming -- Multicore and Manycore Programming -- JavaSymphony: A Programming and Execution Environment for Parallel and Distributed Many-Core Architectures -- Scalable Producer-Consumer Pools Based on Elimination-Diffraction Trees -- Productivity and Performance: Improving Consumability of Hardware Transactional Memory through a Real-World Case Study -- Exploiting Fine-Grained Parallelism on Cell Processors -- Optimized On-Chip-Pipelined Mergesort on the Cell/B.E. -- Near-Optimal Placement of MPI Processes on Hierarchical NUMA Architectures -- Parallel Enumeration of Shortest Lattice Vectors -- A Parallel GPU Algorithm for Mutual Information Based 3D Nonrigid Image Registration -- Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations -- Long DNA Sequence Comparison on Multicore Architectures -- Adaptive Fault Tolerance for Many-Core Based Space-Borne Computing -- Maestro: Data Orchestration and Tuning for OpenCL Devices -- Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software -- Parallel Exact Time Series Motif Discovery -- Optimized Dense Matrix Multiplication on a Many-Core Architecture -- A Language-Based Tuning Mechanism for Task and Pipeline Parallelism -- A Study of a Software Cache Implementation of the OpenMP Memory Model for Multicore and Manycore Architectures -- Programming CUDA-Based GPUs to Simulate Two-Layer Shallow Water Flows -- Topic 12: Theory and Algorithms for Parallel Computation -- Theory and Algorithms for Parallel Computation -- Analysis of Multi-Organization Scheduling Algorithms -- Area-Maximizing Schedules for Series-Parallel DAGs -- Parallel Selection by Regular Sampling -- Ants in Parking Lots -- Topic 13: High Performance Networks -- High Performance Networks -- An Efficient Strategy for Reducing Head-of-Line Blocking in Fat-Trees -- A First Approach to King Topologies for On-Chip Networks -- Optimizing Matrix Transpose on Torus Interconnects -- Topic 14: Mobile and Ubiquitous Computing -- Mobile and Ubiquitous Computing -- cTrust: Trust Aggregation in Cyclic Mobile Ad Hoc Networks -- Maximizing Growth Codes Utility in Large-Scale Wireless Sensor Networks -- @Flood: Auto-Tunable Flooding for Wireless Ad Hoc Networks -- On Deploying Tree Structured Agent Applications in Networked Embedded Systems -- Meaningful Metrics for Evaluating Eventual Consistency -- Caching Dynamic Information in Vehicular Ad Hoc Networks -- Collaborative Cellular-Based Location System. |
| Record Nr. | UNINA-9910484023503321 |
| Berlin ; ; New York, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Euro-Par 2010 - parallel processing [[electronic resource] ] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings . Part I / / Pasqua DAmbra, Mario Guarracino, Domenico Talia, (eds.)
| Euro-Par 2010 - parallel processing [[electronic resource] ] : 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings . Part I / / Pasqua DAmbra, Mario Guarracino, Domenico Talia, (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer-Verlag, 2010 |
| Descrizione fisica | 1 online resource (XXX, 600 p. 264 illus.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
DAmbraPasqua
GuarracinoMario TaliaDomenico |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Parallel processing (Electronic computers)
High performance computing |
| ISBN |
1-280-38842-0
9786613566348 3-642-15277-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Topic 1: Support Tools and Environments -- Distributed Systems and Algorithms -- Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi-core Architectures -- Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling -- Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling -- Efficient Graph Partitioning Algorithms for Collaborative Grid Workflow Developer Environments -- Profile-Driven Selective Program Loading -- Characterizing the Impact of Using Spare-Cores on Application Performance -- Topic 2: Performance Prediction and Evaluation -- Performance Prediction and Evaluation -- A Model for Space-Correlated Failures in Large-Scale Distributed Systems -- Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications -- jitSim: A Simulator for Predicting Scalability of Parallel Applications in Presence of OS Jitter -- pCFS vs. PVFS: Comparing a Highly-Available Symmetrical Parallel Cluster File System with an Asymmetrical Parallel File System -- Comparing Scalability Prediction Strategies on an SMP of CMPs -- Topic 3: Scheduling and Load-Balancing -- Scheduling and Load Balancing -- A Fast 5/2-Approximation Algorithm for Hierarchical Scheduling -- Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications -- Extremal Optimization Approach Applied to Initial Mapping of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis and Simulation -- Code Scheduling for Optimizing Parallelism and Data Locality -- Hierarchical Work-Stealing -- Optimum Diffusion for Load Balancing in Mesh Networks -- A Dynamic, Distributed, Hierarchical Load Balancing for HLA-Based Simulations on Large-Scale Environments -- Topic 4: High Performance Architectures and Compilers -- High Performance Architectures and Compilers -- Power-Efficient Spilling Techniques for Chip Multiprocessors -- Scalable Object-Aware Hardware Transactional Memory -- Efficient Address Mapping of Shared Cache for On-Chip Many-Core Architecture -- Thread Owned Block Cache: Managing Latency in Many-Core Architecture -- Extending the Cell SPE with Energy Efficient Branch Prediction -- Topic 5: Parallel and Distributed Data Management -- Parallel and Distributed Data Management -- Federated Enactment of Workflow Patterns -- A Distributed Approach to Detect Outliers in Very Large Data Sets -- Topic 6: Grid, Cluster and Cloud Computing -- Grid, Cluster and Cloud Computing -- Deployment of a Hierarchical Middleware -- Toward Real-Time, Many-Task Applications on Large Distributed Systems -- Scheduling Scientific Workflows to Meet Soft Deadlines in the Absence of Failure Models -- A GPGPU Transparent Virtualization Component for High Performance Computing Clouds -- What Is the Price of Simplicity? -- User-Centric, Heuristic Optimization of Service Composition in Clouds -- A Distributed Market Framework for Large-Scale Resource Sharing -- Using Network Information to Perform Meta-scheduling in Advance in Grids -- Topic 7: Peer to Peer Computing -- Peer-to-Peer Computing -- Overlay Management for Fully Distributed User-Based Collaborative Filtering -- Dynamic Publish/Subscribe to Meet Subscriber-Defined Delay and Bandwidth Constraints -- Combining Hilbert SFC and Bruijn Graphs for Searching Computing Markets in a P2P System -- Sampling Bias in BitTorrent Measurements -- A Formal Credit-Based Incentive Model for Sharing Computer Resources -- Topic 8: Distributed Systems and Algorithms -- Distributed Systems and Algorithms -- Improving Message Logging Protocols Scalability through Distributed Event Logging -- Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems -- Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters -- Adaptive Conflict Unit Size for Distributed Optimistic Synchronization -- Frame Allocation Algorithms for Multi-threaded Network Cameras -- Scalable Distributed Simulation of Large Dense Crowds Using the Real-Time Framework (RTF) -- The x-Wait-Freedom Progress Condition. |
| Record Nr. | UNINA-9910484670303321 |
| Berlin ; ; Heidelberg, : Springer-Verlag, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||