High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation [[electronic resource] ] : 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers / / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XII, 295 p. 136 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer engineering Computer networks Computer simulation System Performance and Evaluation Computer Engineering and Networks Computer Modelling |
ISBN | 3-319-10214-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Section A: Performance Benchmarking and Analysis Quantifying Architectural Requirements of Contemporary Extreme-Scale Scientific Applications -- Performance Evaluation of the Intel Sandy Bridge Based NASA Pleiades Using Scientific and Engineering Applications -- Analysis of Cray XC30 Performance using Trinity- NERSC-8 benchmarks and comparison with Cray XE6 and IBM BG/Q -- Analysis of Data Reuse in Task-Parallel Runtimes -- Section B: Performance Modeling and Simulation -- Using Simulation to Evaluate the Performance of Resilience Strategies at Scale -- Characterizing the Impact of Prefetching on Scientific Application Performance -- Performance Modeling of Gyrokinetic Toroidal Simulations for a Many-tasking Runtime System -- Toward Better Simulation of MPI Applications on Ethernet/TCP Networks -- SESH framework: A Space Exploration Framework for GPU Application and Hardware Codesign -- Optimal Checkpointing Period: Time vs. Energy -- Section C: Performance Optimization -- Tuning HipGISAXS on Multi and Many Core Supercomputers -- Multi Objective Optimization of HPC Kernels for Performance, Power, and Energy -- Performance Tuning of Fock Matrix and Two-Electron Integral Calculations for NWChem on Leading HPC Platforms.-Performance analysis of the NWChem TCE for different communication patterns. |
Record Nr. | UNINA-9910484714403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [[electronic resource] ] : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers / / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 276 p. 101 illus.) |
Disciplina | 004.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer systems Computer simulation System Performance and Evaluation Computer System Implementation Computer Modelling |
ISBN | 3-319-17248-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996208557503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation [[electronic resource] ] : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers / / edited by Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XII, 276 p. 101 illus.) |
Disciplina | 004.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer systems Computer simulation System Performance and Evaluation Computer System Implementation Computer Modelling |
ISBN | 3-319-17248-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484231503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
High-Performance Modelling and Simulation for Big Data Applications [[electronic resource] ] : Selected Results of the COST Action IC1406 cHiPSet / / edited by Joanna Kołodziej, Horacio González-Vélez |
Autore | Kołodziej Joanna |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIV, 352 p. 63 illus., 55 illus. in color.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer networks Microprocessors Computer architecture Application software Logic design Operating systems (Computers) System Performance and Evaluation Computer Communication Networks Processor Architectures Computer and Information Systems Applications Logic Design Operating Systems |
ISBN | 3-030-16272-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Why High-Performance Modelling and Simulation for Big Data Applications Matters -- Parallelization of hierarchical matrix algorithms for electromagnetic scattering problems -- Tail Distribution and Extreme Quantile Estimation using Non-Parametric Approaches -- Towards efficient and scalable data-intensive content delivery: State-of-the-art, issues and challenges -- Big Data in 5G Distributed Applications -- Big Data Processing, Analysis and Applications in Mobile Cellular Networks -- Medical Data Processing and Analysis for Remote Health and Activities Monitoring -- Towards human cell simulation -- Cloud-based High Throughput Virtual Screening in Novel Drug Discovery -- Ultra Wide Band Body Area Networks: Design and integration with Computational Clouds -- Survey on AI-based multimodal methods for emotion detection -- Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-oriented Survey of the State-of-the-Art in the Cloud Era. |
Record Nr. | UNINA-9910337580503321 |
Kołodziej Joanna | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
High-Performance Modelling and Simulation for Big Data Applications [[electronic resource] ] : Selected Results of the COST Action IC1406 cHiPSet / / edited by Joanna Kołodziej, Horacio González-Vélez |
Autore | Kołodziej Joanna |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIV, 352 p. 63 illus., 55 illus. in color.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer networks Microprocessors Computer architecture Application software Logic design Operating systems (Computers) System Performance and Evaluation Computer Communication Networks Processor Architectures Computer and Information Systems Applications Logic Design Operating Systems |
ISBN | 3-030-16272-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Why High-Performance Modelling and Simulation for Big Data Applications Matters -- Parallelization of hierarchical matrix algorithms for electromagnetic scattering problems -- Tail Distribution and Extreme Quantile Estimation using Non-Parametric Approaches -- Towards efficient and scalable data-intensive content delivery: State-of-the-art, issues and challenges -- Big Data in 5G Distributed Applications -- Big Data Processing, Analysis and Applications in Mobile Cellular Networks -- Medical Data Processing and Analysis for Remote Health and Activities Monitoring -- Towards human cell simulation -- Cloud-based High Throughput Virtual Screening in Novel Drug Discovery -- Ultra Wide Band Body Area Networks: Design and integration with Computational Clouds -- Survey on AI-based multimodal methods for emotion detection -- Forecasting Cryptocurrency Value by Sentiment Analysis: An HPC-oriented Survey of the State-of-the-Art in the Cloud Era. |
Record Nr. | UNISA-996466075403316 |
Kołodziej Joanna | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation and Application of Automata [[electronic resource] ] : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings / / edited by Sebastian Maneth |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XI, 263 p.) |
Disciplina | 005.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Computer science Algorithms Machine theory Electronic digital computers—Evaluation Programming Techniques Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory System Performance and Evaluation |
ISBN |
1-282-29795-3
9786612297953 3-642-02979-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Implementation and Application of Automata in String Processing -- Applications of Automata in XML Processing -- Program Analysis through Finite Tree Automata -- Technical Contributions -- An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton -- On Extremal Cases of Hopcroft’s Algorithm -- Compact Normal Form for Regular Languages as Xor Automata -- Cellular Automata with Sparse Communication -- A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule -- On Parallel Implementations of Deterministic Finite Automata -- FAdo and GUItar -- A Testing Framework for Finite-State Morphology -- A Table Compression Method for Extended Aho-Corasick Automaton -- Compact Representation for Answer Sets of n-ary Regular Queries -- Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata -- Random Generation of Deterministic Tree (Walking) Automata -- Hedge Pattern Partial Derivative -- TAGED Approximations for Temporal Properties Model-Checking -- Verifying Parallel Programs with Dynamic Communication Structures -- Fixpoint Guided Abstraction Refinement for Alternating Automata -- Automata-Based Termination Proofs -- Implementation of State Elimination Using Heuristics -- Short Regular Expressions from Finite Automata: Empirical Results -- Small Extended Expressions for Acyclic Automata -- Quantum Queries on Permutations with a Promise -- Time-Optimal Winning Strategies for Poset Games -- Amount of Nonconstructivity in Finite Automata -- Short Papers and Poster Abstracts -- Multiflex: A Multilingual Finite-State Tool for Multi-Word Units -- Efficient Parsing Using Filtered-Popping Recursive Transition Networks -- Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms -- Formally Synthesising a Protocol Converter: A Case Study -- Compiler Generator Based on Restarting Automata -- Are Statecharts Finite Automata?. |
Record Nr. | UNISA-996465850303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation and Application of Automata [[electronic resource] ] : 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings / / edited by Sebastian Maneth |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XI, 263 p.) |
Disciplina | 005.11 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer programming
Computer science Algorithms Machine theory Electronic digital computers—Evaluation Programming Techniques Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory System Performance and Evaluation |
ISBN |
1-282-29795-3
9786612297953 3-642-02979-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Implementation and Application of Automata in String Processing -- Applications of Automata in XML Processing -- Program Analysis through Finite Tree Automata -- Technical Contributions -- An nlogn Algorithm for Hyper-minimizing States in a (Minimized) Deterministic Automaton -- On Extremal Cases of Hopcroft’s Algorithm -- Compact Normal Form for Regular Languages as Xor Automata -- Cellular Automata with Sparse Communication -- A Cellular Automaton Model for Car Traffic with a Slow-to-Stop Rule -- On Parallel Implementations of Deterministic Finite Automata -- FAdo and GUItar -- A Testing Framework for Finite-State Morphology -- A Table Compression Method for Extended Aho-Corasick Automaton -- Compact Representation for Answer Sets of n-ary Regular Queries -- Recognition of a Spanning Tree of Directed Acyclic Graphs by Tree Automata -- Random Generation of Deterministic Tree (Walking) Automata -- Hedge Pattern Partial Derivative -- TAGED Approximations for Temporal Properties Model-Checking -- Verifying Parallel Programs with Dynamic Communication Structures -- Fixpoint Guided Abstraction Refinement for Alternating Automata -- Automata-Based Termination Proofs -- Implementation of State Elimination Using Heuristics -- Short Regular Expressions from Finite Automata: Empirical Results -- Small Extended Expressions for Acyclic Automata -- Quantum Queries on Permutations with a Promise -- Time-Optimal Winning Strategies for Poset Games -- Amount of Nonconstructivity in Finite Automata -- Short Papers and Poster Abstracts -- Multiflex: A Multilingual Finite-State Tool for Multi-Word Units -- Efficient Parsing Using Filtered-Popping Recursive Transition Networks -- Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms -- Formally Synthesising a Protocol Converter: A Case Study -- Compiler Generator Based on Restarting Automata -- Are Statecharts Finite Automata?. |
Record Nr. | UNINA-9910483253003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Implementation and Application of Functional Languages [[electronic resource] ] : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers / / edited by Olaf Chitil |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 275 p.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer science Computer programming Electronic digital computers—Evaluation Compilers and Interpreters Theory of Computation Programming Techniques Computer Science Logic and Foundations of Programming System Performance and Evaluation |
ISBN | 3-540-85373-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting in Quadratic Time -- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity -- XHaskell – Adding Regular Expression Types to Haskell -- Partial Parsing: Combining Choice with Commitment -- Lazy Contract Checking for Immutable Data Structures -- The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler -- From Contracts Towards Dependent Types: Proofs by Partial Evaluation. |
Record Nr. | UNISA-996466240003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Implementation and Application of Functional Languages [[electronic resource] ] : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers / / edited by Olaf Chitil |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 275 p.) |
Disciplina | 005.13 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Compilers (Computer programs)
Computer science Computer programming Electronic digital computers—Evaluation Compilers and Interpreters Theory of Computation Programming Techniques Computer Science Logic and Foundations of Programming System Performance and Evaluation |
ISBN | 3-540-85373-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting in Quadratic Time -- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity -- XHaskell – Adding Regular Expression Types to Haskell -- Partial Parsing: Combining Choice with Commitment -- Lazy Contract Checking for Immutable Data Structures -- The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler -- From Contracts Towards Dependent Types: Proofs by Partial Evaluation. |
Record Nr. | UNINA-9910482958603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [[electronic resource] ] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / / edited by José L. Ayala, Delong Shang, Alex Yakovlev |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (IX, 258 p. 150 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer simulation Computer networks Computer hardware description languages Logic design Compilers (Computer programs) System Performance and Evaluation Computer Modelling Computer Communication Networks Register-Transfer-Level Implementation Logic Design Compilers and Interpreters |
ISBN | 3-642-36157-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Sleep-Transistor Based Power-Gating Tradeoff Analyses -- Modelling and Analysis of Manufacturing Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level with SystemC -- A Standard Cell Optimization Method for Near-Threshold Voltage Operations -- An Extended Metastability Simulation Method for Synchronizer Characterization -- Phase Space Based NBTI Model -- Fast Propagation of Hamming and Signal Distances for Register-Transfer Level Datapaths -- Noise Margin Based Library Optimization Considering Variability in Sub-threshold -- TCP Window Based DVFS for Low Power Network Controller SoC -- A Generic Architecture for Robust Asynchronous Communication Links -- Direct Statistical Simulation of Timing Properties in Sequential Circuits -- On-Chip NBTI and PBTI Tracking through an All-Digital Aging Monitor Architecture -- Two-Phase MOBILE Interconnection Schemes for Ultra-Grain Pipeline Applications -- Design of a 150 mV Supply, 2 MIPS, 90nm CMOS, Ultra-Low-Power Microprocessor -- Run-Time Measurement of Harvested Energy for Autarkic Sensor Operation -- Observability Conditions and Automatic Operand-Isolation in High-Throughput Asynchronous Pipelines -- Dynamic Power Management of a Computer with Self Power-Managed Components -- Case Studies of Logical Computation on Stochastic Bit Streams. |
Record Nr. | UNISA-996465983903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|