The proceedings contains 30 papers from the 2ndinternationalworkshop on softwareengineering for parallel Processing anddistributedsystems. Topics discussed include: Ada-95 tasks modeling;Petri net semantics;algor...
详细信息
The proceedings contains 30 papers from the 2ndinternationalworkshop on softwareengineering for parallel Processing anddistributedsystems. Topics discussed include: Ada-95 tasks modeling;Petri net semantics;algorithm for finding maximal conflict sets;asynchronous message-passing program reachability testing;a Tuple Channel coordination model;parallel implementation of the combination of broadcasting, reduction and scan;an automated algorithmic recognition technique that supports parallelsoftware development;lift case study of specifying parallel anddistributedsystems in Object-Z;Web computing skeleton;message passing programs graphical programming environment;and designing concurrent systems using performance prototyping.
The secondinternationalworkshop on softwareengineering for parallelsystems (SEPS) will be held in Pittsburgh, PA, USA on October 27, 2015 and co-located with the ACM SIGPLAN conference on systems, Programming, Lan...
详细信息
ISBN:
(纸本)9781450337229
The secondinternationalworkshop on softwareengineering for parallelsystems (SEPS) will be held in Pittsburgh, PA, USA on October 27, 2015 and co-located with the ACM SIGPLAN conference on systems, Programming, Languages and Applications: software for Humanity (SPLASH 2015). The purpose of this workshop is to provide a stable forum for researchers and practitioners dealing with compelling challenges of the software development life cycle on modern parallel platforms. The increased complexity of parallel applications on modern parallel platforms (e.g. multicore, manycore, distributed or hybrid) requires more insight into development processes, and necessitates the use of advanced methods and techniques supporting developers in creating parallel applications or parallelizing and reengineering sequential legacy applications. We aim to advance the state of the art in different phases of parallelsoftware development, covering softwareengineering aspects such as requirements engineering andsoftware specification;design and implementation;program analysis, profiling and tuning;testing and debugging.
The proceedings contain 9 papers. The topics discussed include: Exana: an execution-driven application analysis tool for assisting productive performance tuning;profiling for detecting performance anomalies in concurr...
ISBN:
(纸本)9781450339100
The proceedings contain 9 papers. The topics discussed include: Exana: an execution-driven application analysis tool for assisting productive performance tuning;profiling for detecting performance anomalies in concurrent software;annotatable Systrace: an extended Linux ftrace for tracing a parallelized program;interleaving generation for data race and deadlock reproduction;an empirical study on parallelism in modern open-source projects;ATL-MR: model transformation on MapReduce;investigating potential performance benefits of memory layout optimization based on roofline model;empirical performance study of speculative parallel processing on commercial multi-core CPU with hardware transactional memory;and Lighthouse: a taxonomy-based solver selection tool.
The proceedings contain 15 papers. The topics discussed include: a general lock-free algorithm for parallel state space construction;GPU-PRISM: an extension of prism for general purpose graphics processing units;three...
ISBN:
(纸本)9780769542652
The proceedings contain 15 papers. The topics discussed include: a general lock-free algorithm for parallel state space construction;GPU-PRISM: an extension of prism for general purpose graphics processing units;three high performance architectures in the parallel APMC boat;industrial strength distributed explicit state model checking;a BSP algorithm for the state space construction of security protocols;implementation of smith-waterman algorithm in openCL for GPUs;enhancing the scalability of simulations by embracing multiple levels of parallelization;parallel particle-based reaction diffusion: a GPU implementation;parallel computing algorithms for reverse-engineering and analysis of genome-wide gene regulatory networks from gene expression profiles;parameter scanning by parallel model checking with applications in systems biology;and predicting the effects of parameters changes in stochastic models through parallel synthetic experiments and multivariate analysis.
The proceedings contain 9 papers. The topics discussed include: adding static and dynamic semantics to building information models;constraint-based graceful degradation in smart grids;multiscale time abstractions for ...
ISBN:
(纸本)9781450341714
The proceedings contain 9 papers. The topics discussed include: adding static and dynamic semantics to building information models;constraint-based graceful degradation in smart grids;multiscale time abstractions for long-range planning under uncertainty;model-based security analysis of a water treatment system;imposing security awareness on wearables;towards state-of-the-art and future trends in testing of active safety systems;on the role of latent design conditions in cyber-physical systems security;a development framework for programming cyber-physical systems;andsoftwareengineering for distributed autonomous real-time systems.
The proceedings contain 20 papers. The special focus in this conference is on 2ndinternationalworkshop on TEchnical and LEgal aspects of data pRIvacy and Security, 2ndinternationalworkshop on Mining the Social Web...
ISBN:
(纸本)9783319469621
The proceedings contain 20 papers. The special focus in this conference is on 2ndinternationalworkshop on TEchnical and LEgal aspects of data pRIvacy and Security, 2ndinternationalworkshop on Mining the Social Web, 1st internationalworkshop on Liquid Multi-Device software for the Web and 5th workshop on distributed User Interfaces. The topics include: A privacy-by-design GDPR-compliant framework with verifiable data traceability controls;evaluation of professional cloud password management tools;enhancing access control trees for cloud computing;identifying great teachers through their online presence;experimental measures of news personalization in google news;synchronizing application state using virtual DOM trees;exploiting attributes for inter-component communication;improving context-awareness in healthcare through distributed interactions;study involving two RFID tabletops with generic tangible objects;distributing interaction in responsive cross-device applications;towards user-defined cross-device interaction;virtual spatially aware shared displays;flexible distribution of existing web interfaces and an architecture involving developers and end-users.
The proceedings contain 14 papers. The topics discussed include: service oriented system for business cooperation;context-aware service composition a methodology and a case study;a research agenda for service-oriented...
ISBN:
(纸本)9781605580296
The proceedings contain 14 papers. The topics discussed include: service oriented system for business cooperation;context-aware service composition a methodology and a case study;a research agenda for service-oriented architecture;SOA service reuse by design;usability evaluation for enterprise SOA APIs;business transformation to SOA: aspects of the migration and performance and QoS issues;towards process-based composition of self-managing service-oriented systems;scalable adaptive web services;research challenges in the tension between features and services;understanding features in SOA: some experiences from distributedsystems;can design pattern detection be useful for legacy system migration towards SOA?;multi-layer perspective and spaces in SOA;exploiting SOA within eMaintenance;and towards a methodology for lifelong validation of service compositions.
The proceedings contain 40 papers. The special focus in this conference is on Database and Expert systems Applications. The topics include: Synthetic Data in Automatic Number Plate Recognition;An Untold Tale of&#...
ISBN:
(纸本)9783031143427
The proceedings contain 40 papers. The special focus in this conference is on Database and Expert systems Applications. The topics include: Synthetic Data in Automatic Number Plate Recognition;An Untold Tale of Scientific Collaboration: SCCH and AC 2 T;on the Creation and Maintenance of a Documentation Generator in an Applied Research Context;towards the Digitalization of Additive Manufacturing;Twenty Years of Successful Translational Research: A Case Study of Three COMET Centers;data Integration, Management, and Quality: From Basic Research to Industrial Application;building a YouTube Channel for Science Communication;introduction of Visual Regression Testing in Collaboration Between Industry and Academia;vibration Analysis for Rotatory Elements Wear Detection in Paper Mill Machine;applying Time-Inhomogeneous Markov Chains to Math Performance Rating;introducing Data Science Techniques into a Company Producing Electrical Appliances;a Technology Transfer Portal to Promote Industry-Academia Collaboration in South-Tyrol;fast and Automatic Object Registration for Human-Robot Collaboration in Industrial Manufacturing;sending Spies as Insurance Against Bitcoin Pool Mining Block Withholding Attacks;risks in DeFi-Lending Protocols - An Exploratory Categorization and Analysis of Interest Rate Differences;battling the Bullwhip Effect with Cryptography;Reporting of Cross-Border Transactions for Tax Purposes via DLT;securing File System Integrity and Version History Via Directory Merkle Trees and Blockchains;taxation of Blockchain Staking Rewards: Propositions Based on a Comparative Legal Analysis;comparison Framework for Blockchain Interoperability Implementations;A Comparative Analysis of Anomaly Detection Methods for Predictive Maintenance in SME;towards Strategies for Secure Data Transfer of IoT Devices with Limited Resources;application of Validation Obligations to Security Concerns;mode Switching for Secure Edge Devices;a Lifecycle Framework for Semantic Web Machine Learn
In this paper, we motivate the use of algorithmic skeletons for modeling parallel applications in the context of scheduling. Scalability and other features of the skeletal approach are used to improve the quality of s...
详细信息
ISBN:
(纸本)0818680431
In this paper, we motivate the use of algorithmic skeletons for modeling parallel applications in the context of scheduling. Scalability and other features of the skeletal approach are used to improve the quality of scheduling parallel applications in multiprogramming systems. We show how skeletons can be used to model parallel applications that can perform dynamical remapping. This technique modifies schedules during runtime and increases system efficiency.
暂无评论