05953nam 22007215 450 99646573530331620200704235542.03-540-35365-810.1007/11777830(CKB)1000000000233024(SSID)ssj0000317706(PQKBManifestationID)11253086(PQKBTitleCode)TC0000317706(PQKBWorkID)10294558(PQKB)10398728(DE-He213)978-3-540-35365-2(MiAaPQ)EBC3068118(PPN)123135990(EXLCZ)99100000000023302420100301d2006 u| 0engurnn|008mamaatxtccrFormal Methods and Stochastic Models for Performance Evaluation[electronic resource] Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings /edited by András Horváth, Miklós Telek1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (VIII, 239 p.) Programming and Software Engineering ;4054Bibliographic Level Mode of Issuance: Monograph3-540-35362-3 Includes bibliographical references and index.Stochastic Process Algebra -- A Precedence PEPA Model for Performance and Reliability Analysis -- A Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance Specification with Stochastic Probes -- Embedding Real Time in Stochastic Process Algebras -- Workloads and Benchmarks -- Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results -- Working Set Characterization of Applications with an Efficient LRU Algorithm -- Theory of Stochastic Processes -- Model Checking for a Class of Performance Properties of Fluid Stochastic Models -- Explicit Inverse Characterizations of Acyclic MAPs of Second Order -- Implementation Relations for Stochastic Finite State Machines -- On the Convergence Rate of Quasi Lumpable Markov Chains -- Formal Dependability and Performance Evaluation -- Applying the UML Class Diagram in the Performance Analysis -- Dependability Evaluation of Web Service-Based Processes -- Queues, Theory and Practice -- Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic -- Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering -- The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System -- Experimental Analysis of the Correlation of HTTP GET Invocations.The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). The ?rst two EPEW workshops were held in Toledo, Spain, October 1-2, 2004, and V- sailles,France,September 1-3,2005.Thisvolumecontainstheproceedingsofthe third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, June 21-22, 2006. These proceedings comprise the 16 accepted contributed papers of EPEW 2006.Toensurethehigh-qualityevaluationofthesubmittedpapersweextended the ProgramCommittee of EPEW 2006with international experts from all over the world. Each submitted papers went through a rigorous review by at least three international reviewers. Based on the reviews, the subsequent discussions ofreviewerswithdi?erentjudgementandanInternet-basedProgramCommittee meeting held on March 30, 2006, we selected 40% of the submitted papers. We therefore owe special thanks to all members of the Program Committee and to all external referees for the excellent work they did for the proper evaluation of the papers. The ?nal workshop program, as well as this volume, are made up of ?ve thematic sessions: – Stochastic process algebra – Workloads and benchmarks – Theory of stochastic processes – Formal dependability and performance evaluation – Queues, theory and practice These sessions cover a wide range of performance evaluation methods and c- pose an overview of the current research directions in performance evaluation.Programming and Software Engineering ;4054ComputersSoftware engineeringComputer system failuresComputer communication systemsComputer logicTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputers.Software engineering.Computer system failures.Computer communication systems.Computer logic.Theory of Computation.Software Engineering.System Performance and Evaluation.Computer Communication Networks.Logics and Meanings of Programs.004.2/4Horváth Andrásedthttp://id.loc.gov/vocabulary/relators/edtTelek Miklósedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465735303316Formal Methods and Stochastic Models for Performance Evaluation772045UNISA05928nam 22005055 450 99665526830331620250401125249.03-031-85700-310.1007/978-3-031-85700-3(CKB)38184621900041(DE-He213)978-3-031-85700-3(MiAaPQ)EBC31982178(Au-PeEL)EBL31982178(EXLCZ)993818462190004120250401d2025 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierParallel Processing and Applied Mathematics 15th International Conference, PPAM 2024, Ostrava, Czech Republic, September 8–11, 2024, Revised Selected Papers, Part II /edited by Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Springer,2025.1 online resource (XIX, 374 p. 96 illus., 80 illus. in color.) Lecture Notes in Computer Science,1611-3349 ;155803-031-85699-6 -- First PPAM Workshop on RISC-V (RISC-V PPAM 2024). -- RAVE: RISC-V Analyzer of Vector Executions, a QEMU tracing plugin. -- Batched DGEMMs for scientific codes running on long vector architectures. -- Vectorization of Gradient Boosting of Decision Trees Prediction in the CatBoost Library for RISC-V Processors. -- QR Factorization on a Long-Vector Processor. -- Special Session on Scheduling for Parallel Computing. -- HEAPS: a novel energy-based configurable HPC scheduler. -- Fair-Sharing Simulator for Batch Computing Systems. -- Scalability and Reliability of Port Simulation Workflow on Slurm. -- 10th Workshop on Language-Based Parallel Programming (WLPP 2024). -- On the Incorrect Use of Application Efficiency to Calculate Performance Portability. -- Assessing the Performance of Portable Programming Models Across GPU Vendors for the N-Body Problem. -- Performance Portability of SpMV for CSR and BSR Storage Formats Implemented Using OpenACC and SYCL. -- The Impact of SYCL Data Management on Performance Portability. -- LLM-driven Cross-Platform Code Generation for Polyhedral Optimized NPDP Codes. -- Juliana: Automated Julia CUDA.jl Code Translation Across Multiple GPU Platforms. -- 7th Workshop on Models Algorithms and Methodologies for Hybrid Parallelism in New HPC Systems (MAMHYP 2024) -- Boosting GPGPU virtualization and multiplexing with RDMA communication. -- Efficient Load Scheduling of IMRT Planning in Heterogeneous multicore clusters. -- Deploying AI-Based Environmental Monitoring Applications at the Edge: Two Case Studies. -- Parallelism in GNN: possibilities and limits of current approaches. -- Solving Soil Microbiota Growth Problem by PINNs. -- Two-Phase Distributed Algorithm for Solving the Bi-Objective Minimum Spanning Tree Problem: A Preliminary Study. -- Second Workshop on Quantum Computing and Communication. -- Feedback-Based Quantum Algorithm for Constrained Optimization Problems. -- Halving the number of qubits of quantum comparators. -- Private Computation of Boolean Functions Using Single Qubits. -- The Fredholm determinants approach to the computations of quantum entanglement. -- Power Consumption and Energy Efficiency of Quantum Computing Platforms in High Performance Computing Integration. -- Feasibility Study of a Hybrid Quantum-Classical Setup for Multiple GPUs and Two Photonic Quantum Computers. -- QCG-QuantumLauncher: a modular tool for quantum scenarios. -- Semi-self-testing Quantum Random Number Generator with CMOS Sensors.This book constitutes the refereed proceedings of the 15th International Conference on Parallel Processing and Applied Mathematics, PPAM 2024, held in Ostrava, Czech Republic, during September 8–11, 2024. The 75 full papers included in this book were carefully reviewed and selected from 134 submissions. . The papers are organized in the following topical sections: Part I : Numerical Algorithms and Parallel Scientific Computing; Architectural Aspects of HPC; Parallel Non-numerical Algorithms; GPU Computing; Performance Analysis and Prediction in HPC Systems; Environments and Frameworks for Parallel/Cloud/Edge Computing; and Applications of Parallel and Distributed Computing. Part II : First PPAM Workshop on RISC-V (RISC-V PPAM 2024); Special Session on Scheduling for Parallel Computing; 10th Workshop on Language-Based Parallel Programming (WLPP 2024); 7th Workshop on Models Algorithms and Methodologies for Hybrid Parallelism in New HPC Systems (MAMHYP 2024); and Second Workshop on Quantum Computing and Communication. Part III : First Workshop on Advancements of Global Challenges Application; Second Workshop on Applications of Machine Learning and Artificial Intelligence in High Performance Computing; 5th Workshop on Applied High Performance Numerical Algorithms for PDEs; Special Session on Parallel EVD/SVD and its Application in Matrix Computations; 6th Minisymposium on HPC Applications in Physical Sciences; and 8th Workshop on Complex Collective Systems.Lecture Notes in Computer Science,1611-3349 ;15580Artificial intelligenceArtificial IntelligenceArtificial intelligence.Artificial Intelligence.006.3Wyrzykowski Romanedthttp://id.loc.gov/vocabulary/relators/edtDongarra Jackedthttp://id.loc.gov/vocabulary/relators/edtDeelman Ewaedthttp://id.loc.gov/vocabulary/relators/edtKarczewski Konradedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996655268303316Parallel Processing and Applied Mathematics772366UNISA