ACC_TEST: Hybrid Testing Techniques for MPI-Based Programs
IEEE Access, 2020 Recently, MPI has become widely used in many scientific applications, including different non-computer science fields, for parallelizing their applications.
Abdullah S. Almalaise Alghamdi +3 more
doaj +1 more source
Algebraic Pattern Matching in Join Calculus [PDF]
Logical Methods in Computer Science, 2008 We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to provide an intuitive semantics of the interaction between concurrency and pattern matching; to define a practical ...
Qin Ma, Luc Maranget
doaj +1 more source
Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams
IEEE Access, 2023 Recently, through the progress achieved in the study of computer science, automated test assemblies of parallel test forms, for which each form has equivalent measurement accuracy but with a different set of items, have emerged as a new standard tool. An
Kazuma Fuchimoto +2 more
doaj +1 more source
ACC_TEST: Hybrid Testing Approach for OpenACC-Based Programs
IEEE Access, 2020 In recent years, OpenACC has been used in many supercomputers and attracted many non-computer science specialists for parallelizing their programs in different scientific fields, including weather forecasting and simulations.
Fathy Elbouraey Eassa +5 more
doaj +1 more source
Optimizing Parallel Task Execution for Multi-Agent Mission Planning
IEEE Access, 2023 Multi-agent systems have received a tremendous amount of attention in many areas of research and industry, especially in robotics and computer science.
Branko Miloradovic +3 more
doaj +1 more source
A Case Study: Incorporating Parallel and Distributed Computing into Computer Science Curriculum [PDF]
Journal of Systemics, Cybernetics and Informatics, 2020 Recent technology advances in parallel computing such as multicore CPUs, GPUs, and their driving software require a well-prepared workforce to support this demanding and fast changing industry.
Ali Abu-El Humos +3 more
doaj
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics [PDF]
Logical Methods in Computer ScienceWorst-case input generation aims to automatically generate inputs that exhibit the worst-case performance of programs. It has several applications, and can, for example, detect vulnerabilities to denial-of-service (DoS) attacks.
Long Pham, Jan Hoffmann
doaj +1 more source
Building a realistic, scalable memory model with independent engrams using a homeostatic mechanism
Frontiers in NeuroinformaticsMemory formation is usually associated with Hebbian learning and synaptic plasticity, which changes the synaptic strengths but omits structural changes.
Marvin Kaster +4 more
doaj +1 more source
Workflows for Construction of Spatio-Temporal Probabilistic Maps for Volcanic Hazard Assessment
Frontiers in Earth Science, 2022 Probabilistic hazard assessments for studying overland pyroclastic flows or atmospheric ash clouds under short timelines of an evolving crisis, require using the best science available unhampered by complicated and slow manual workflows.
Renette Jones-Ivey +2 more
doaj +1 more source
Computer Science in Sport – Research and Practice: A book review
International Journal of Computer Science in Sport, 2016 Sports informatics and computer science in sport are perhaps the most exciting and fast-moving disciplines across all of sports science. The tremendous parallel growth in digital technology, non-invasive sensor devices, computer vision and machine ...
Stuart Morgan
doaj +1 more source