Search Results - Parallel computer programs

Principles and practice of parallel programming : PPoPP'13, proceedings of the 2013 SIGPLAN symposium ; Shenzen, China, February 23-27, 2013 /

Principles and practice of parallel programming : PPoPP'14 ; proceedings of the 2014 ACM SIGPLAN symposium, Orlando, FL, USA, February 15-19, 2014 /

Principles and practice of parallel programming : PPoPP'12, proceedings of the 2012 ACM SIGLAN symposium, New Orleans, LA, USA, February 25-29, 2012 /

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures by Weichslgartner, Andreas

Principles and practice of parallel programming : PPoPP'11, proceedings of the 2011 ACM SIGPLAN symposium, San Antonio, TX, USA, February 12-16, 2011 / by Hassaan, M. Amber

Principles and practice of parallel programming : PPoPP'10, proceedings of the 2010 15th ACM SIGPLAN symposium, Bangalore, India, January 9-14, 2010 / by Méndez-Lojo, Mario

Symbolic Parallelization of Nested Loop Programs by Tanase, Alexandru-Petru

Programming 101 The How and Why of Programming Revealed Using the Processing Programming Language / by Meyer, Jeanine

Pro iPhone Development with Swift 4 Design and Manage Top Quality Apps / by Maskrey, Molly

Practical Quantum Computing for Developers Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience / by Silva, Vladimir

Stylish F# Crafting Elegant Functional Code for .NET and .NET Core / by Eason, Kit

Recent Advances in Computational Optimization Results of the Workshop on Computational Optimization WCO 2016 /

Deep Belief Nets in C++ and CUDA C: Volume 3 Convolutional Nets / by Masters, Timothy

Deep Belief Nets in C++ and CUDA C: Volume 1 Restricted Boltzmann Machines and Supervised Feedforward Networks / by Masters, Timothy

Deep Belief Nets in C++ and CUDA C: Volume 2 Autoencoding in the Complex Domain / by Masters, Timothy

Innovative Computing, Optimization and Its Applications Modelling and Simulations /

Table of Contents: “…A Performance Analysis of DF Model in the Energy Harvesting Half-duplex and Full-Duplex Relay Networks -- A Model of Swarm Intelligence Based Optimization Framework Adjustable According to Problems -- Domain Model Definition for Domain-Specific RuleGeneration Using Variability Model -- A set-partitioning-based model to save cost on the import processes -- Combining Genetic Algorithm with Variable Neighborhood Search for MAX-SAT -- Enzyme classification on DUD-E database using Logistic Regression Ensemble (Lorens) -- Consolidation of Host-Based Mobility Management Protocols in Wireless Mesh Network -- Application of parallel computing technologies for numerical simulation of air transport in the human nasal cavity -- Genetic Algorithms-based Techniques for Solving Dynamic Optimization Problems with Unknown Active Variables and Boundaries -- Text Segmentation Methods: A Critical Review -- On-Line Power Systems Security Assessment Using Data Stream Random Forest Algorithm Modification -- Enhanced Security of Internet Banking Authentication with Extended Honey Encryption (XHE) Scheme -- An Enhanced Possibilistic Programming Model with Fuzzy Random Confidence-Interval for Multi-Objective Problem -- A Crowdsourcing Approach for Volunteering System -- One Dimensional Vehicle Tracking Analysis in Vehicular Ad hoc Networks -- Parallel Coordinates Visualization Tool on the Air Pollution Data for Northern Malaysia -- Application of Artificial bee colony algorithm for model parameter identification -- A novel weighting scheme applied to improve the text document clustering techniques -- A Methodological Framework To Emulate The Visual Of Malaysian Shadow Play With Computer-Generated Imagery -- Performance Evaluation of Hot Mix Asphalt Concrete by Using Polymeric Waste Polyethylene.…”

Design of FPGA-Based Computing Systems with OpenCL by Waidyasooriya, Hasitha Muthumala

Advances in Dependability Engineering of Complex Systems Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017,...

Table of Contents: “…Zarandi -- 16.Comparative analysis of calculations in cryptographic protocols using a combination of different bases of finite fields -- 17.Dynamic Redundancy in Communication Network of Air Traffic Management System -- 18.Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities -- 19.Concept of multi-criteria evaluation of the airport security control process -- 20.Extending Continuous Integration with post-mortem debug automation of unhandled exceptions occurred in kernel or user mode applications -- 21.The Methodology of Studying of Active Traffic Management Module Self-Oscillation Regime -- 22.Effectiveness examination of a multi-channel CSMA/CA detector -- 23.IaaS vs. traditional hosting for web applications - cost effectiveness analysis for a local market -- 24.High quality stabilization of an inverted pendulum using the controller based on trigonometric function -- 25.The application of RFID technology in supporting the process of reliable identification of objects in video surveillance systems -- 26.Aspect-oriented management of service requests for assurance of high performance and dependability -- 27.Process of mobile application development from the security perspective -- 28.Managing and Enhancing Performance Benchmarks;Jakub Maleszewski and Janusz Sosnowski -- 29.Reliability Optimization for Controller Placement in Software-Defined Networks -- 30.Agent Approach to Network Systems Experimental Analysis in Case of Critical Situations -- 31.RELIABILITY ASSESSMENT OF DRIVING SYSTEMS OF CITY BUSES;Marek M3yñczak -- 32.Testing the significance of parameters of models estimating execution time of parallel program loops according to the Open MPI standard -- 33.On application of regime-switching models for short-term traffic flow forecasting -- 34.Critical information infrastructure protection model and methodology -- 35.The method of creating players in the marketing strategy;Henryk Piech -- 36.Principles of mobile walking robot control in scope of technical monitoring tasks -- 37.Computer Systems - Simple -- 38.Improving FPGA Implementations of BLAKE and BLAKE2 Algorithms with Memory Resources -- 39.Assurance Case Patterns On-line Catalogue;Monika Szczygielska and Aleksander Jarzêbowicz -- 40.Information system as a cause of cargo handling process disruption in intermodal terminal -- 42.Stability Enhancement Against Fluctuations in Complex Networks by Optimal Bandwidth Allocation -- 43.The scope of the collected data for a holistic risk assessment performance in the road freight transport companies -- 44.Language Processing Modelling Notation - orchestration of NLP microservices -- 45.Type Variety Principle and the Algorithm of Strategic Planning of Diversified Portfolio of Electricity Generation Sources.…”

Euclidean Distance Matrices and Their Applications in Rigidity Theory by Alfakih, Abdo Y.

Mathematical Geosciences Hybrid Symbolic-Numeric Methods / by Awange, Joseph L.

Table of Contents: “…Solution of algebraic polynomial systems -- Homotopy solution of nonlinear systems -- Over and underdeterminated systems -- Simulated annealing -- Genetic algorithm -- Particle swarm optimization -- Integer programming -- Multiobjective optimization -- Approximation with radial bases functions -- Support vector machines (SVM) -- Symbolic regression -- Quantile regression -- Robust regression -- Stochastic modeling -- Parallel computations.…”