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

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

Automatic mapping of sequential programs to parallel computers with distributed memory.

Autoři: Bagliy, A.P. Krivosheev, N.M. Steinberg, B.Ya

Zdroj: Procedia Computer Science. 2023, Vol. 229, p236-244. 9p.

Témata: Parallel programs (Computer programs), Computer storage devices, Cartography software, Distributed computing, Compilers (Computer programs), Computer systems

West Virginia US Department of Energy experimental program to stimulate competitive research. Section 2: Human resource development; Section 3: Carbon-based structural materials research cluster; Section 3: Data parallel algorithms for scientific computing

Zdroj: Other Information: PBD: 2 Feb 1994

Popis souboru: Medium: ED; Size: 5 p.

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

Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.

Autoři: Xu, Xuezheng Yang, Deheng Wang, Lu a další

Zdroj: International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p283-305, 23p

A Microservice Approach for a Cellular Automata Parallel Programming Environment.

Autoři: Vivas, Aurelio Sanabria, John

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Jun2020, Vol. 349, p119-134. 16p.

Témata: Cellular automata, Parallel programming, Parallel processing, Parallel algorithms, Personal computers, Compilers (Computer programs)

A flexible fixture based on parallel kinematic machine for aircraft wing assembly automation

Autoři: Shang, Mingdong

Témata: 629.134

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.709815

Development of a plant conveyance system using an AGV and a self-designed plant-handling device: A case study of DIY plant phenotyping.

Autoři: Takanari Tanabata Kunihiro Kodama Takuyu Hashiguchi a další

Zdroj: Breeding Science. 2022, Vol. 72 Issue 1, p85-95. 11p.

Témata: Plant development, Do-it-yourself work, Magnetic tapes, Greenhouses, Plant breeding

Molecular regulatory mechanisms of dietary supplementation with Allium mongolicum Regel powder to improve muscle development and meat quality in Angus calves.

Autoři: Wangjing Liu Chenxu Sun Huixia Gao a další

Zdroj: Animal Bioscience. Aug2025, Vol. 38 Issue 8, p1798-1816. 19p.

Software Tools for Automation of Parallel Programming on the Basis of Algebra of Algorithms.

Autoři: Andon, F. Doroshenko, A. Beketov, A. a další

Zdroj: Cybernetics & Systems Analysis; Jan2015, Vol. 51 Issue 1, p142-149, 8p

Témata: ALGORITHMS, ALGEBRA, GRAPHICS processing units, METEOROLOGY, ATMOSPHERIC sciences

The Parallel Program Development Environment CDL/ACL for Cellular Processing

Autoři: C. Hochberger R. Hoffmann R. Schneider a další

Přispěvatelé: C. Hochberger R. Hoffmann R. Schneider a další

Zdroj: http://www.informatik.th-darmstadt.de/MP/Publikationen/jsa_se_ppde.ps.

Témata: Programming Languages

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.6422

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.6422
http://www.informatik.th-darmstadt.de/MP/Publikationen/jsa_se_ppde.ps

Advancing parallel programming integrating artificial intelligence for enhanced efficiency and automation

Autoři: Zaripova Rimma Mentsiev Adam Kovrizhnykh Olga

Zdroj: E3S Web of Conferences, Vol 460, p 04017 (2023)

Témata: Environmental sciences, GE1-350

Popis souboru: electronic resource

Relation: https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/97/e3sconf_bft2023_04017.pdf; https://doaj.org/toc/2267-1242

Přístupová URL adresa: https://doaj.org/article/904ec4b8f60346ae8b02daaa6150050e

Software Tools for Automation of Parallel Programming on the Basis of Algebra of Algorithms

Autoři: A. G. Beketov F. I. Andon E. A. Yatsenko a další

Zdroj: Cybernetics and Systems Analysis. 51:142-149

Témata: 13. Climate action, 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://rd.springer.com/content/pdf/10.1007%2Fs10559-015-9706-0.pdf
https://link.springer.com/content/pdf/10.1007%2Fs10559-015-9706-0.pdf
https://dl.acm.org/doi/10.1007/s10559-015-9706-0
https://link.springer.com/article/10.1007/s10559-015-9706-0

Home-based Gait Rehabilitation Service Using Instrumented Insole

Autoři: Korea Health Industry Development Institute

Zdroj: Research on Development of Home-based Gait Rehabilitation Service Using Insole-type Gait Analyzer
Salzman B. Gait and balance disorders in older adults. Am Fam Physician. 2010 Jul 1;82(1):61-8.
Bennett DA, Beckett LA, Murray AM, Shannon KM, Goetz CG, Pilgrim DM, Evans DA. Prevalence of parkinsonian signs and associated mortality in a community population of older people. N Engl J Med. 1996 Jan 11;334(2):71-6. doi: 10.1056/NEJM199601113340202.
Lamoth CJ, Stins JF, Pont M, Kerckhoff F, Beek PJ. Effects of attention on the control of locomotion in individuals with chronic low back pain. J Neuroeng Rehabil. 2008 Apr 25;5:13. doi: 10.1186/1743-0003-5-13.
Lange AK, Vanwanseele B, Fiatarone Singh MA. Strength training for treatment of osteoarthritis of the knee: a systematic review. Arthritis Rheum. 2008 Oct 15;59(10):1488-94. doi: 10.1002/art.24118.
Fritz S, Lusardi M. White paper: "walking speed: the sixth vital sign". J Geriatr Phys Ther. 2009;32(2):46-9. No abstract available.
Middleton A, Fritz SL, Lusardi M. Walking speed: the functional vital sign. J Aging Phys Act. 2015 Apr;23(2):314-22. doi: 10.1123/japa.2013-0236. Epub 2014 May 2.
Muro-de-la-Herran A, Garcia-Zapirain B, Mendez-Zorrilla A. Gait analysis methods: an overview of wearable and non-wearable systems, highlighting clinical applications. Sensors (Basel). 2014 Feb 19;14(2):3362-94. doi: 10.3390/s140203362.
Ngueleu AM, Blanchette AK, Maltais D, Moffet H, McFadyen BJ, Bouyer L, Batcho CS. Validity of Instrumented Insoles for Step Counting, Posture and Activity Recognition: A Systematic Review. Sensors (Basel). 2019 May 28;19(11):2438. doi: 10.3390/s19112438.
Kirtley C. Clinical gait analysis: theory and practice: Elsevier Health Sciences; 2006
Guyatt GH, Sullivan MJ, Thompson PJ, Fallen EL, Pugsley SO, Taylor DW, Berman LB. The 6-minute walk: a new measure of exercise capacity in patients with chronic heart failure. Can Med Assoc J. 1985 Apr 15;132(8):919-23.
Andreoli A, Garaci F, Cafarelli FP, Guglielmi G. Body composition in clinical practice. Eur J Radiol. 2016 Aug;85(8):1461-8. doi: 10.1016/j.ejrad.2016.02.005. Epub 2016 Feb 15.
Kang Y, NA DL, Hahn S. A validity study on the Korean Mini-Mental State Examination (K-MMSE) in dementia patients. Journal of the Korean neurological association 1997:300-308
Bae JN, Cho MJ. Development of the Korean version of the Geriatric Depression Scale and its short form among elderly psychiatric patients. J Psychosom Res. 2004 Sep;57(3):297-305. doi: 10.1016/j.jpsychores.2004.01.004.
Kim S, Kim M, Won CW. Validation of the Korean Version of the SARC-F Questionnaire to Assess Sarcopenia: Korean Frailty and Aging Cohort Study. J Am Med Dir Assoc. 2018 Jan;19(1):40-45.e1. doi: 10.1016/j.jamda.2017.07.006. Epub 2017 Aug 31.
Mehrholz J, Wagner K, Rutte K, Meissner D, Pohl M. Predictive validity and responsiveness of the functional ambulation category in hemiparetic patients after stroke. Arch Phys Med Rehabil. 2007 Oct;88(10):1314-9. doi: 10.1016/j.apmr.2007.06.764.
Kim Heon-tae, Moon Jun-bae, Ryu Seung-ho, and Kang Min-soo. Validity study of the Korean version of the International Physical Activity Questionnaire (IPAQ): Verification of construct-related validity. Korean Journal of Physical Education No. 2017;56
Swanson AB, Matev IB, de Groot G. The strength of the hand. Bull Prosthet Res. 1970 Fall;10(14):145-53. No abstract available.
Rockwood K, Song X, MacKnight C, Bergman H, Hogan DB, McDowell I, Mitnitski A. A global clinical measure of fitness and frailty in elderly people. CMAJ. 2005 Aug 30;173(5):489-95. doi: 10.1503/cmaj.050051.
Nowels D, McGloin J, Westfall JM, Holcomb S. Validation of the EQ-5D quality of life instrument in patients after myocardial infarction. Qual Life Res. 2005 Feb;14(1):95-105. doi: 10.1007/s11136-004-0614-4.
Vellas B, Villars H, Abellan G, Soto ME, Rolland Y, Guigoz Y, Morley JE, Chumlea W, Salva A, Rubenstein LZ, Garry P. Overview of the MNA--Its history and challenges. J Nutr Health Aging. 2006 Nov-Dec;10(6):456-63; discussion 463-5.
Won CW, Rho YG, Kim SY, Cho BR, Lee YS. The validity and reliability of Korean Activities of Daily Living (K-ADL) scale. Journal of the Korean Geriatrics Society 2002;6:98-106
KANG SJ, Choi SH, LEE BH, KWON JC, NA DL, Han SH. The reliability and validity of the Korean Instrumental Activities of Daily Living (K-IADL). Journal of the Korean Neurological Association 2002:8-14
Gomez JF, Curcio CL, Alvarado B, Zunzunegui MV, Guralnik J. Validity and reliability of the Short Physical Performance Battery (SPPB): a pilot study on mobility in the Colombian Andes. Colomb Med (Cali). 2013 Sep 30;44(3):165-71. eCollection 2013 Jul.
Charlson ME, Pompei P, Ales KL, MacKenzie CR. A new method of classifying prognostic comorbidity in longitudinal studies: development and validation. J Chronic Dis. 1987;40(5):373-83. doi: 10.1016/0021-9681(87)90171-8.
Godi M, Franchignoni F, Caligari M, Giordano A, Turcato AM, Nardone A. Comparison of reliability, validity, and responsiveness of the mini-BESTest and Berg Balance Scale in patients with balance disorders. Phys Ther. 2013 Feb;93(2):158-67. doi: 10.2522/ptj.20120171. Epub 2012 Sep 27.
Dolny DG, Collins MG, Wilson T, Germann ML, Davis HP. Validity of lower extremity strength and power utilizing a new closed chain dynamometer. Med Sci Sports Exerc. 2001 Jan;33(1):171-5. doi: 10.1097/00005768-200101000-00026.
Tudor-Locke C, Han H, Aguiar EJ, Barreira TV, Schuna JM Jr, Kang M, Rowe DA. How fast is fast enough? Walking cadence (steps/min) as a practical estimate of intensity in adults: a narrative review. Br J Sports Med. 2018 Jun;52(12):776-788. doi: 10.1136/bjsports-2017-097628.
Murtagh EM, Mair JL, Aguiar E, Tudor-Locke C, Murphy MH. Outdoor Walking Speeds of Apparently Healthy Adults: A Systematic Review and Meta-analysis. Sports Med. 2021 Jan;51(1):125-141. doi: 10.1007/s40279-020-01351-3.
Iosa M, Fusco A, Marchetti F, Morone G, Caltagirone C, Paolucci S, Peppe A. The golden ratio of gait harmony: repetitive proportions of repetitive gait phases. Biomed Res Int. 2013;2013:918642. doi: 10.1155/2013/918642. Epub 2013 Jun 4.
She J, Nakamura H, Makino K, Ohyama Y, Hashimoto H. Selection of suitable maximum-heart-rate formulas for use with Karvonen formula to calculate exercise intensity. International journal of automation and computing 2015;12:62-69
Speed C, Arneil T, Harle R, Wilson A, Karthikesalingam A, McConnell M, Phillips J. Measure by measure: Resting heart rate across the 24-hour cycle. PLOS Digit Health. 2023 Apr 28;2(4):e0000236. doi: 10.1371/journal.pdig.0000236. eCollection 2023 Apr.
Lee SH, Jung BK, Park SY. Korean translation and psychometric properties of Quebec user evaluation of satisfaction assistive technology 2.0. Journal of the Korea Academia-Industrial Cooperation Society 2013;14:3284-3292

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

Development and Field Test of a Real-Time Database in the Korean Smart Distribution Management System

Autoři: Sang-Yun Yun Joon-Ho Choi

Zdroj: Energies, Vol 7, Iss 4, Pp 1852-1875 (2014)

Témata: distribution management system (DMS), distribution automation system (DAS), application program, database, common information model (CIM), real-time database (RTDB), physical database (PDB), application common model (ACM), Technology

Popis souboru: electronic resource

Relation: http://www.mdpi.com/1996-1073/7/4/1852; https://doaj.org/toc/1996-1073

Přístupová URL adresa: https://doaj.org/article/8c350b3154e04ba89a063c5de877586c

Automation of parallel programming in modeling of multiphase media. Optimal parallelization.

Autoři: Pekunov, V.

Zdroj: Automation & Remote Control; Jul2008, Vol. 69 Issue 7, p1252-1261, 10p, 3 Diagrams

Témata: AUTOMATIC control systems, PARALLEL programming, PROGRAM transformation, LEAST squares, EXTRAPOLATION, ESTIMATION theory

Advancing Goat Genomics Verification and Applying GBTS Liquid Chip for Precision Breeding.

Autoři: Aziz, Umar Rehman, Abdul Xu, Xiaolong a další

Zdroj: Journal of Veterinary Physiology & Pathology. 2025, Vol. 4 Issue 3, p20-30. 11p.

Guest Editors' Introduction: Special Issue on Architecture-Independent Languages and Software Tools for Parallel Processing.

Autoři: Talia, Domenico Srimani, Pradip K. Jazayeri, Mehdi

Zdroj: IEEE Transactions on Software Engineering; Mar2000, Vol. 26 Issue 3, p193-196, 4p

Témata: PARALLEL processing, PROGRAMMING languages, HIGH performance computing, ALGORITHMS, COMPUTER software development, COMPUTER architecture, PARALLEL computers

Dairy 4.0: Embracing Digital Technology for Sustainable Farming: A Review.

Autoři: Sangode, Pallawi Baldeo¹ pallawi.sangode@sibmnagpur.edu.in

Zdroj: Asian Journal of Dairy & Food Research. Apr2025, Vol. 44 Issue 2, p169-178. 11p.

Next‐Generation Vaccines for Co‐Circulating PEDV and TGEV: Integrating Nucleic Acid Platforms, Mucosal Delivery, and AI–Driven Antigen Design.

Autoři: Hu, Xiaojun Wang, Zhenshan Wang, Shen a další

Zdroj: Transboundary & Emerging Diseases. 12/4/2025, Vol. 2025, p1-26. 26p.