top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Euro-Par 2016: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers / / edited by Frédéric Desprez, Pierre-François Dutot, Christos Kaklamanis, Loris Marchal, Korbinian Molitorisz, Laura Ricci, Vittorio Scarano, Miguel A. Vega-Rodríguez, Ana Lucia Varbanescu, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer
Euro-Par 2016: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers / / edited by Frédéric Desprez, Pierre-François Dutot, Christos Kaklamanis, Loris Marchal, Korbinian Molitorisz, Laura Ricci, Vittorio Scarano, Miguel A. Vega-Rodríguez, Ana Lucia Varbanescu, Sascha Hunold, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (XXXIX, 829 p. 281 illus.)
Disciplina 004
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-58943-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Parallel and distributed computing education for undergraduate students.– Algorithms, models and tools for parallel computing on heterogeneous platforms -- Multicore software engineering -- Large-scale distributed virtual environments -- Parallel and distributed agent-based simulations -- Parallelism in bioinformatics.-Performance engineering for large-scale graph analytics -- Reproducibility in parallel computing -- Resilience in high performance computing in clusters, clouds, and grids -- Runtime and operating systems for the many-core era) -- UnConventional high-performance computing.
Record Nr. UNINA-9910483225403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Euro-Par 2017: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / / edited by Dora B. Heras, Luc Bougé, Gabriele Mencagli, Emmanuel Jeannot, Rizos Sakellariou, Rosa M. Badia, Jorge G. Barbosa, Laura Ricci, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer
Euro-Par 2017: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / / edited by Dora B. Heras, Luc Bougé, Gabriele Mencagli, Emmanuel Jeannot, Rizos Sakellariou, Rosa M. Badia, Jorge G. Barbosa, Laura Ricci, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVIII, 751 p. 247 illus.)
Disciplina 004.071
Collana Theoretical Computer Science and General Issues
Soggetto topico Electronic digital computers—Evaluation
Microprocessors
Computer architecture
Computer networks
Computers, Special purpose
Operating systems (Computers)
Logic design
System Performance and Evaluation
Processor Architectures
Computer Communication Networks
Special Purpose and Application-Based Systems
Operating Systems
Logic Design
ISBN 3-319-75178-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465301603316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Euro-Par 2017: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / / edited by Dora B. Heras, Luc Bougé, Gabriele Mencagli, Emmanuel Jeannot, Rizos Sakellariou, Rosa M. Badia, Jorge G. Barbosa, Laura Ricci, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer
Euro-Par 2017: Parallel Processing Workshops [[electronic resource] ] : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / / edited by Dora B. Heras, Luc Bougé, Gabriele Mencagli, Emmanuel Jeannot, Rizos Sakellariou, Rosa M. Badia, Jorge G. Barbosa, Laura Ricci, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVIII, 751 p. 247 illus.)
Disciplina 004.071
Collana Theoretical Computer Science and General Issues
Soggetto topico Electronic digital computers—Evaluation
Microprocessors
Computer architecture
Computer networks
Computers, Special purpose
Operating systems (Computers)
Logic design
System Performance and Evaluation
Processor Architectures
Computer Communication Networks
Special Purpose and Application-Based Systems
Operating Systems
Logic Design
ISBN 3-319-75178-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910739469403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Facing the Multicore-Challenge III [[electronic resource] ] : Aspects of New Paradigms and Technologies in Parallel Computing / / edited by Rainer Keller, David Kramer, Jan-Philipp Weiß
Facing the Multicore-Challenge III [[electronic resource] ] : Aspects of New Paradigms and Technologies in Parallel Computing / / edited by Rainer Keller, David Kramer, Jan-Philipp Weiß
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (X, 146 p. 61 illus.)
Disciplina 004.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Microprocessors
Computer architecture
Electronic digital computers—Evaluation
Software engineering
Computer graphics
Computer arithmetic and logic units
Computer storage devices
Memory management (Computer science)
Processor Architectures
System Performance and Evaluation
Software Engineering
Computer Graphics
Arithmetic and Logic Structures
Computer Memory Structure
ISBN 3-642-35892-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465996903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Facing the Multicore-Challenge III [[electronic resource] ] : Aspects of New Paradigms and Technologies in Parallel Computing / / edited by Rainer Keller, David Kramer, Jan-Philipp Weiß
Facing the Multicore-Challenge III [[electronic resource] ] : Aspects of New Paradigms and Technologies in Parallel Computing / / edited by Rainer Keller, David Kramer, Jan-Philipp Weiß
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (X, 146 p. 61 illus.)
Disciplina 004.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Microprocessors
Computer architecture
Electronic digital computers—Evaluation
Software engineering
Computer graphics
Computer arithmetic and logic units
Computer storage devices
Memory management (Computer science)
Processor Architectures
System Performance and Evaluation
Software Engineering
Computer Graphics
Arithmetic and Logic Structures
Computer Memory Structure
ISBN 3-642-35892-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910739436203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Formal Techniques for Computer Systems and Business Processes [[electronic resource] ] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
Formal Techniques for Computer Systems and Business Processes [[electronic resource] ] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XIII, 349 p.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Computer networks
Computer science
Electronic digital computers—Evaluation
Computers and civilization
Software Engineering
Computer Communication Networks
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
Computers and Society
ISBN 9783540319030
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Speakers -- Performance Engineering and Stochastic Modelling -- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems -- PiDuce: A Process Calculus with Native XML Datatypes -- Life After BPEL? -- EPEW -- On Moments of Discrete Phase-Type Distributions -- Zero-Automatic Queues -- A Unified Approach to the Moments Based Distribution Estimation – Unbounded Support -- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering -- Stochastic Model Checking with Stochastic Comparison -- Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel -- Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments -- Hypergraph Partitioning for Faster Parallel PageRank Computation -- Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters -- A Diffusion Approximation Model of an Electronic-Optical Node -- WS-FM -- Choreographing Security and Performance Analysis for Web Services -- Application of Formal Methods to the Analysis of Web Services Security -- Automatic Translation of WS-CDL Choreographies to Timed Automata -- Executable Semantics for Compensating CSP -- Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step -- From Theory to Practice in Transactional Composition of Web Services -- Timing Issues in Web Services Composition -- A Compositional Operational Semantics for OWL-S -- A Parametric Communication Model for the Verification of BPEL4WS Compositions -- Reasoning About Interaction Patterns in Choreography.
Record Nr. UNISA-996465390203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal Techniques for Computer Systems and Business Processes [[electronic resource] ] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
Formal Techniques for Computer Systems and Business Processes [[electronic resource] ] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings / / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XIII, 349 p.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Software engineering
Computer networks
Computer science
Electronic digital computers—Evaluation
Computers and civilization
Software Engineering
Computer Communication Networks
Computer Science Logic and Foundations of Programming
System Performance and Evaluation
Computers and Society
ISBN 9783540319030
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Speakers -- Performance Engineering and Stochastic Modelling -- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems -- PiDuce: A Process Calculus with Native XML Datatypes -- Life After BPEL? -- EPEW -- On Moments of Discrete Phase-Type Distributions -- Zero-Automatic Queues -- A Unified Approach to the Moments Based Distribution Estimation – Unbounded Support -- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering -- Stochastic Model Checking with Stochastic Comparison -- Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel -- Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments -- Hypergraph Partitioning for Faster Parallel PageRank Computation -- Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters -- A Diffusion Approximation Model of an Electronic-Optical Node -- WS-FM -- Choreographing Security and Performance Analysis for Web Services -- Application of Formal Methods to the Analysis of Web Services Security -- Automatic Translation of WS-CDL Choreographies to Timed Automata -- Executable Semantics for Compensating CSP -- Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step -- From Theory to Practice in Transactional Composition of Web Services -- Timing Issues in Web Services Composition -- A Compositional Operational Semantics for OWL-S -- A Parametric Communication Model for the Verification of BPEL4WS Compositions -- Reasoning About Interaction Patterns in Choreography.
Record Nr. UNINA-9910483847203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Foundations of Software Science and Computation Structures [[electronic resource] ] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago
Foundations of Software Science and Computation Structures [[electronic resource] ] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago
Autore Baier Christel
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XV, 583 p. 75 illus.)
Disciplina 005.1015113
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Artificial intelligence
Electronic digital computers—Evaluation
Computers
Professions
Computer science—Mathematics
Discrete mathematics
Computer Science Logic and Foundations of Programming
Software Engineering
Artificial Intelligence
System Performance and Evaluation
The Computing Profession
Discrete Mathematics in Computer Science
ISBN 3-319-89366-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.
Record Nr. UNISA-996465597703316
Baier Christel  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Foundations of Software Science and Computation Structures [[electronic resource] ] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago
Foundations of Software Science and Computation Structures [[electronic resource] ] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / / edited by Christel Baier, Ugo Dal Lago
Autore Baier Christel
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XV, 583 p. 75 illus.)
Disciplina 005.1015113
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Software engineering
Artificial intelligence
Electronic digital computers—Evaluation
Computers
Professions
Computer science—Mathematics
Discrete mathematics
Computer Science Logic and Foundations of Programming
Software Engineering
Artificial Intelligence
System Performance and Evaluation
The Computing Profession
Discrete Mathematics in Computer Science
ISBN 3-319-89366-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.
Record Nr. UNINA-9910293144603321
Baier Christel  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
From Reactive Systems to Cyber-Physical Systems [[electronic resource] ] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
From Reactive Systems to Cyber-Physical Systems [[electronic resource] ] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (XVI, 301 p. 125 illus., 44 illus. in color.)
Disciplina 003
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Machine theory
Software engineering
Artificial intelligence
Electronic digital computers—Evaluation
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Software Engineering
Artificial Intelligence
System Performance and Evaluation
ISBN 3-030-31514-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts.
Record Nr. UNISA-996466439003316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui