Euro-Par 2014: Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I / / edited by Luís Lopes, Julius Žilinskas, Alexandru Costan, Roberto G. Cascella, Gabor Kecskemeti, Emmanuel Jeannot, Mario Cannataro, Laura Ricci, Siegfried Benkner, Salvador Petit, Vittorio Scarano, José Gracia, Sascha Hunold, Stephen L Scott, Stefan Lankes, Christian Lengauer, Jesus Carretero, Jens Breitbart, Michael Alexander |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (LII, 587 p. 204 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Software engineering Computer networks Database management Algorithms Application software System Performance and Evaluation Software Engineering Computer Communication Networks Database Management Computer and Information Systems Applications |
ISBN | 3-319-14325-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Applications of Parallel Computation in Industry and Engineering -- Big Data Management in Clouds -- Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms -- High-Performance Bioinformatics and Biomedicine -- Large-Scale Distributed Virtual Environments on Clouds and P2P -- Parallel and Distributed Agent-Based Simulations -- Reproducibility in Parallel Computing -- Resiliency in High-Performance Computing with Clouds, Grids, and Clusters. |
Record Nr. | UNINA-9910483548203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Evaluating AAL Systems Through Competitive Benchmarking : International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers / / edited by Stefano Chessa, Stefan Knauth |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 187 p. 98 illus.) |
Disciplina | 004.24 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Computer system failures
Special purpose computers Computers and civilization Application software System Performance and Evaluation Special Purpose and Application-Based Systems Computers and Society Information Systems Applications (incl. Internet) Computer Applications |
ISBN | 3-642-37419-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910437583803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Exact and Heuristic Scheduling Algorithms / / edited by Frank Werner, Larysa Burtseva, Yuri Sotskov |
Pubbl/distr/stampa | Basel : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2020 |
Descrizione fisica | 1 online resource (200 pages) |
Disciplina | 004.24 |
Soggetto topico |
Computer capacity - Management
Computer capacity - Planning |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910674029503321 |
Basel : , : MDPI - Multidisciplinary Digital Publishing Institute, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / / edited by Katinka Wolter |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (X, 304 p.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico | Formal methods (Computer science) |
ISBN | 3-540-75211-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote -- Optimization Problems in Service Provisioning Systems -- Markov Chains -- Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution -- Compositionality for Markov Reward Chains with Fast Transitions -- Closed Form Absorption Time Bounds -- A Canonical Representation of Order 3 Phase Type Distributions -- Process Algebras and State Machines -- SPAMR: Extending PAMR with Stochastic Time -- Faster SPDL Model Checking Through Property-Driven State Space Generation -- Testing Finite State Machines Presenting Stochastic Time and Timeouts -- Grid and Peer-to-Peer Systems -- Evaluation of P2P Search Algorithms for Discovering Trust Paths -- Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study -- Performance Measuring Framework for Grid Market Middleware -- Queueing Theory and Applications of Queueing -- A Fixed-Point Algorithm for Closed Queueing Networks -- A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis -- Optimal Dynamic Server Allocation in Systems with On/Off Sources -- Towards an Automatic Modeling Tool for Observed System Behavior -- Benchmarking and Bounding -- Censoring Markov Chains and Stochastic Bounds -- Workload Characterization of the SPECjms2007 Benchmark -- Resource Sharing in Performance Models -- Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency -- Wireless Networks -- An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks -- The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. |
Record Nr. | UNINA-9910484812503321 |
Berlin, Germany : , : Springer, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / / edited by Katinka Wolter |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (X, 304 p.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico | Formal methods (Computer science) |
ISBN | 3-540-75211-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote -- Optimization Problems in Service Provisioning Systems -- Markov Chains -- Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution -- Compositionality for Markov Reward Chains with Fast Transitions -- Closed Form Absorption Time Bounds -- A Canonical Representation of Order 3 Phase Type Distributions -- Process Algebras and State Machines -- SPAMR: Extending PAMR with Stochastic Time -- Faster SPDL Model Checking Through Property-Driven State Space Generation -- Testing Finite State Machines Presenting Stochastic Time and Timeouts -- Grid and Peer-to-Peer Systems -- Evaluation of P2P Search Algorithms for Discovering Trust Paths -- Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study -- Performance Measuring Framework for Grid Market Middleware -- Queueing Theory and Applications of Queueing -- A Fixed-Point Algorithm for Closed Queueing Networks -- A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis -- Optimal Dynamic Server Allocation in Systems with On/Off Sources -- Towards an Automatic Modeling Tool for Observed System Behavior -- Benchmarking and Bounding -- Censoring Markov Chains and Stochastic Bounds -- Workload Characterization of the SPECjms2007 Benchmark -- Resource Sharing in Performance Models -- Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency -- Wireless Networks -- An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks -- The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. |
Record Nr. | UNISA-996465954303316 |
Berlin, Germany : , : Springer, , [2007] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VII, 143 p. 30 illus.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer system failures
Algorithms Computer logic Software engineering Programming languages (Electronic computers) Computers System Performance and Evaluation Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
Soggetto genere / forma | Conference papers and proceedings. |
ISBN | 3-642-32495-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. |
Record Nr. | UNISA-996465311203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
The future of computing performance [[electronic resource] ] : game over or next level? / / Samuel H. Fuller and Lynette I. Millett, editors. ; Committee on Sustaining Growth in Computing Performance, Computer Science and Technology Board, Division on Engineering and Physical Science, National Research Council of the National Academies |
Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2011 |
Descrizione fisica | 1 online resource (201 p.) |
Disciplina | 004.24 |
Altri autori (Persone) |
FullerSamuel H. <1946->
MillettLynette I |
Soggetto topico |
Electronic digital computers - Evaluation
Multiprocessors Technological innovations - Forecasting |
Soggetto genere / forma | Electronic books. |
ISBN |
1-283-08152-0
9786613081520 0-309-15952-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Front Matter""; ""Preface""; ""Acknowledgment of Reviewers""; ""Contents""; ""Abstract""; ""Summary""; ""1 The Need for Continued Performance Growth""; ""2 What Is Computer Performance?""; ""3 Power Is Now Limiting Growth in Computing Performance""; ""4 The End of Programming as We Know It""; ""5 Research, Practice, and Education to Meet Tomorrow's Performance Needs""; ""Appendixes""; ""Appendix A: A History of Computer Performance""; ""Appendix B: Biographies of Committee Members and Staff""
""Appendix C: Reprint of Gordon E. Moore's Cramming More Components onto Integrated Circuits?""""Appendix D: Reprint of Robert H. Dennard's Design of Ion-Implanted MOSFET's with Very Small Physical Dimensions"" |
Record Nr. | UNINA-9910456515703321 |
Washington, D.C., : National Academies Press, c2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The future of computing performance [[electronic resource] ] : game over or next level? / / Samuel H. Fuller and Lynette I. Millett, editors. ; Committee on Sustaining Growth in Computing Performance, Computer Science and Technology Board, Division on Engineering and Physical Science, National Research Council of the National Academies |
Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2011 |
Descrizione fisica | 1 online resource (201 p.) |
Disciplina | 004.24 |
Altri autori (Persone) |
FullerSamuel H. <1946->
MillettLynette I |
Soggetto topico |
Electronic digital computers - Evaluation
Multiprocessors Technological innovations - Forecasting |
ISBN |
0-309-21164-6
1-283-08152-0 9786613081520 0-309-15952-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Front Matter""; ""Preface""; ""Acknowledgment of Reviewers""; ""Contents""; ""Abstract""; ""Summary""; ""1 The Need for Continued Performance Growth""; ""2 What Is Computer Performance?""; ""3 Power Is Now Limiting Growth in Computing Performance""; ""4 The End of Programming as We Know It""; ""5 Research, Practice, and Education to Meet Tomorrow's Performance Needs""; ""Appendixes""; ""Appendix A: A History of Computer Performance""; ""Appendix B: Biographies of Committee Members and Staff""
""Appendix C: Reprint of Gordon E. Moore's Cramming More Components onto Integrated Circuits?""""Appendix D: Reprint of Robert H. Dennard's Design of Ion-Implanted MOSFET's with Very Small Physical Dimensions"" |
Record Nr. | UNINA-9910781386503321 |
Washington, D.C., : National Academies Press, c2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The future of computing performance [[electronic resource] ] : game over or next level? / / Samuel H. Fuller and Lynette I. Millett, editors. ; Committee on Sustaining Growth in Computing Performance, Computer Science and Technology Board, Division on Engineering and Physical Science, National Research Council of the National Academies |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Washington, D.C., : National Academies Press, c2011 |
Descrizione fisica | 1 online resource (201 p.) |
Disciplina | 004.24 |
Altri autori (Persone) |
FullerSamuel H. <1946->
MillettLynette I |
Soggetto topico |
Electronic digital computers - Evaluation
Multiprocessors Technological innovations - Forecasting |
ISBN |
0-309-21164-6
1-283-08152-0 9786613081520 0-309-15952-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
""Front Matter""; ""Preface""; ""Acknowledgment of Reviewers""; ""Contents""; ""Abstract""; ""Summary""; ""1 The Need for Continued Performance Growth""; ""2 What Is Computer Performance?""; ""3 Power Is Now Limiting Growth in Computing Performance""; ""4 The End of Programming as We Know It""; ""5 Research, Practice, and Education to Meet Tomorrow's Performance Needs""; ""Appendixes""; ""Appendix A: A History of Computer Performance""; ""Appendix B: Biographies of Committee Members and Staff""
""Appendix C: Reprint of Gordon E. Moore's Cramming More Components onto Integrated Circuits?""""Appendix D: Reprint of Robert H. Dennard's Design of Ion-Implanted MOSFET's with Very Small Physical Dimensions"" |
Record Nr. | UNINA-9910812748203321 |
Washington, D.C., : National Academies Press, c2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / / Karen Yorav (editor) |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
Descrizione fisica | 1 online resource (XII, 267 p.) |
Disciplina | 004.24 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer input-output equipment
Software architecture Computer programs - Verification |
Soggetto non controllato |
Verification
Hardware Software |
ISBN | 3-540-77966-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless -- Scaling Commercial Verification to Larger Systems -- From Hardware Verification to Software Verification: Re-use and Re-learn -- Where Do Bugs Come from? -- HVC Award -- Symbolic Execution and Model Checking for Testing -- Hardware Verification -- On the Characterization of Until as a Fixed Point Under Clocked Semantics -- Reactivity in SystemC Transaction-Level Models -- Model Checking -- Verifying Parametrised Hardware Designs Via Counter Automata -- How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison -- Dynamic Hardware Verification -- Constraint Patterns and Search Procedures for CP-Based Random Test Generation -- Using Virtual Coverage to Hit Hard-To-Reach Events -- Merging Formal and Testing -- Test Case Generation for Ultimately Periodic Paths -- Dynamic Testing Via Automata Learning -- Formal Verification for Software -- On the Architecture of System Verification Environments -- Exploiting Shared Structure in Software Verification Conditions -- Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code -- A Complete Bounded Model Checking Algorithm for Pushdown Systems -- Software Testing -- Locating Regression Bugs -- The Advantages of Post-Link Code Coverage -- GenUTest: A Unit Test and Mock Aspect Generation Tool. |
Record Nr. | UNINA-9910483947603321 |
Berlin, Germany : , : Springer, , [2008] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|