Výsledky vyhledávání - automation of parallel program debugging

AutomaDeD: Automata-Based Debugging for Dissimilar Parallel Tasks

Přispěvatelé: Schulz, M

Zdroj: Conference: Presented at: International Conference on Dependable Systems and Networks, Chicago, IL, United States, Jun 28 - Jul 01, 2010

Popis souboru: Medium: ED; Size: PDF-file: 13 pages; size: 0.8 Mbytes

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/1010829

RunAssert: A non-intrusive run-time assertion for parallel programs debugging

Autoři: Tay-Jyi Lin Chi-Neng Wen Tien-Fu Chen a další

Zdroj: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010). :287-290

Témata: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: http://ieeexplore.ieee.org/document/5457193/
https://scholar.nycu.edu.tw/zh/publications/runassert-a-non-intrusive-run-time-assertion-for-parallel-program
https://dblp.uni-trier.de/db/conf/date/date2010.html#WenCCL10
https://dl.acm.org/doi/10.5555/1870926.1870996
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000005457193
https://scholar.nctu.edu.tw/en/publications/runassert-a-non-intrusive-run-time-assertion-for-parallel-program

Formal and Adaptive Methods for Automation of Parallel Programs Construction : Emerging Research and Opportunities

Autoři: Anatoliy Doroshenko Olena Yatsenko

Resource Type: eBook.

Témata: Parallel programming (Computer science), Automatic programming (Computer science)

Categories: COMPUTERS / Programming / Parallel, COMPUTERS / Software Development & Engineering / Computer Graphics, COMPUTERS / Programming / Algorithms

The experience of using DVM and SAPFOR systems in semi automatic parallelization of an application for 3D modeling in geophysics.

Autoři: Kataev, Nikita Kolganov, Alexander

Zdroj: Journal of Supercomputing; Dec2019, Vol. 75 Issue 12, p7833-7843, 11p

Témata: THREE-dimensional modeling, PARALLEL programming, ELASTIC waves, GEOPHYSICS, PROGRAMMING languages, COMPUTER software development

Automata-based Debugging for Dissimilar Parallel Tasks

Popis souboru: Medium: X; OS: Linux; Compatibility: Workstation

Přístupová URL adresa: http://www.osti.gov/scitech/servlets/purl/1231745

A domain specific language based approach for generating deadlock-free parallel load scheduling protocols for distributed systems

Autoři: Adhikari, Pooja

Témata: Parallel programs (Computer programs) Verification., Domain-specific programming languages., Loaders (Computer programs) Security measures Simulation methods., Programmes parallèles (Logiciels) Vérification., Langages orientés problème (Informatique), Chargeurs (Informatique) Sécurité Mesures Méthodes de simulation., Domain-specific programming languages., Parallel programs (Computer programs) Verification.

Témata: Asynchronous parallel applications, Load Scheduling Protocols, Domain specific language, Model checking, Academic Dissertation, Electronic resources., Electronic theses/dissertations., Dissertations., Academic theses., Academic theses., Thèses et écrits académiques.

URL: https://hdl.handle.net/11668/19343

SLUR(M)-py: a SLURM powered Pythonic pipeline for parallel processing of 3D (Epi)genomic profiles.

Autoři: Roth, Cullen Venu, Vrinda Bacot, Sasha a další

Zdroj: Epigenomics; Dec2025, Vol. 17 Issue 17, p1233-1247, 15p

Witnesses for Answer Sets of Logic Programs.

Autoři: YISONG WANG EITER, THOMAS YUANLIN ZHANG a další

Zdroj: ACM Transactions on Computational Logic; Apr2023, Vol. 24 Issue 2, p1-46, 46p

Témata: DEBUGGING, LOGIC, WITNESSES, PROBLEM solving, LOGIC programming

An approach to the development of debuggers that use semantics of constructs of parallel programs.

Autoři: A. Ya. Kalinov K. A. Karganov K. V. Khorenko

Zdroj: Programming & Computer Software; Jan2005, Vol. 31 Issue 1, p20-28, 9p

Témata: HUMAN-computer interaction, COMPUTER systems, USER interfaces, INTERACTIVE computer systems

Enabling On-the-Fly Hardware Tracing of Data Reads in Multicores.

Autoři: PONUGOTI, MOUNIKA MILENKOVIC, ALEKSANDAR

Zdroj: ACM Transactions on Embedded Computing Systems; Jun2019, Vol. 18 Issue 4, p1-27, 27p

Témata: STATIC random access memory, SYSTEMS development, PARALLEL programming, DEBUGGING, COMPUTER software testing, HARDWARE

PRODA: improving parallel programs on GPUs through dependency analysis.

Autoři: Wei, Xiong Hu, Ming Peng, Tao a další

Zdroj: Cluster Computing; Jan2019 Supplement 1, Vol. 22 Issue 1, p2129-2144, 16p

Témata: GRAPHICS processing units, PARALLEL programming, PARALLEL processing, DATA transmission systems, ELECTRONIC data processing, PRODUCT management software

Framing Automation and Human Error in the Context of the Skill, Rule and Knowledge Taxonomy.

Autoři: van Paassen, Marinus M. Landman, Annemarie Borst, Clark a další

Zdroj: Journal of Cognitive Engineering & Decision Making; Dec2024, Vol. 18 Issue 4, p318-326, 9p

Stumbling Towards a Shared Apprehension of Automation Failure.

Autoři: Jamieson, Greg A. Skraaning Jr, Gyrd

Zdroj: Journal of Cognitive Engineering & Decision Making; Dec2024, Vol. 18 Issue 4, p402-423, 22p

MetaBakery: a Singularity implementation of bioBakery tools as a skeleton application for efficient HPC deconvolution of microbiome metagenomic sequencing data to machine learning ready information.

Autoři: Murovec, Boštjan Deutsch, Leon Osredkar, Damjan a další

Zdroj: Frontiers in Microbiology; 2024, p01-11, 11p

Témata: BIG data, GUT microbiota, MICROBIOTA, MACHINE learning, COMPUTER workstation clusters

Diagnosis of Performance Faults in LargeScale MPI Applications via Probabilistic Progress-Dependence Inference.

Autoři: Laguna, Ignacio Ahn, Dong H. Supinski, Bronis R. de a další

Zdroj: IEEE Transactions on Parallel & Distributed Systems; May2015, Vol. 26 Issue 5, p1280-1289, 10p

Témata: DEBUGGING, HIGH performance computing, APPLICATION software, MARKOV processes, MOLECULAR dynamics

Development and Research of a Smart IoT-Enabled Bread Making Machine with Real-Time Browser Interface.

Autoři: Nikolov, Angel Kolev, Toncho Zlatev, Zlatin a další

Zdroj: BRAIN: Broad Research in Artificial Intelligence & Neuroscience; Jun2025, Vol. 16 Issue 2, p449-473, 25p

Témata: GOOGLE Home, INTERNET access, TEMPERATURE control, HOME computer networks, SMART homes, BREAD, SMART devices

Workplace Safety in Industry 4.0 and Beyond: A Case Study on Risk Reduction Through Smart Manufacturing Systems in the Automotive Sector.

Autoři: Nioata, Alin Țăpirdea, Alin Chivu, Oana Roxana a další

Zdroj: Safety; Jun2025, Vol. 11 Issue 2, p50, 18p

BLOCKWATCH: Leveraging similarity in parallel programs for error detection.

Autoři: Wei, Jiesheng Pattabiraman, Karthik

Zdroj: IEEE/IFIP International Conference on Dependable Systems & Networks (DSN 2012); 1/ 1/2012, p1-12, 12p

Technologies for design-build-test-learn automation and computational modelling across the synthetic biology workflow: a review.

Autoři: Matzko, Richard Konur, Savas

Zdroj: Network Modeling & Analysis in Health Informatics & Bioinformatics; 5/3/2024, Vol. 13 Issue 1, p1-23, 23p

Project-Based Learning to Enhance the Teaching of Control Systems: Integrating Embedded Systems and Signal Processing.

Autoři: Alqudah, Yazan A. Sababha, Belal H.

Zdroj: International Journal of Online & Biomedical Engineering; 2025, Vol. 21 Issue 12, p4-20, 17p