Search Results - acm: d.: software/d.4: operacne systemy/d.4.1: process management/d.4.1.0: concurrency

Management of concurrency in a reliable object-oriented computing system

Authors: Parrington, Graham D.

Subject Terms: 005, Computer software & programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.384011

Toward a Lingua Franca for Deterministic Concurrent Systems

Authors: Lohstroh, Marten Menard, Christian Bateni, Soroush et al.

Source: ACM Transactions on Embedded Computing Systems. 20(4)

Subject Terms: Polyglot, coordination language, concurrency, determinism, Computer Software, Distributed Computing, Computer Hardware, Computer Hardware & Architecture

Access URL: https://escholarship.org/uc/item/91v9b9r2

A Model-Driven Approach to Teaching Concurrency

Authors: Carro, Manuel Herranz, Angel Marino, Julio

Source: ACM Transactions on Computing Education. Jan 2013 13(1).

Peer Reviewed: Y

Page Count: 19

Descriptors: Computer Science Education, Programming, Models, Teaching Methods, Undergraduate Study, Courses, College Instruction, Course Content, Course Organization, Computer Software, Outcomes of Education, Statistical Analysis

Towards Type-Theoretic Semantics for Transactional Concurrency

Authors: Nanevski, Aleksandar Govereau, Paul Morrisett, Greg Gregory

Source: Nanevski, Aleksandar, Paul Govereau, and Greg Morrisett. 2009. Towards type-theoretic semantics for transactional concurrency. In Proceedings of the 4th International Workshop on Types in Languages Design and Implementation: January 24, 2009, Savannah, GA, ed. A. Kennedy, 79-90. New York, N.Y.: ACM Press.

Subject Terms: hoare logic, monads, separation logic, type theory

File Description: application/pdf

Relation: http://portal.acm.org/citation.cfm?id=1481861.1481872; http://ynot.cs.harvard.edu/papers/tldi09.pdf

Access URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:3980867

Operačné systémy pre mobilné zariadenia ; Operační systémy pro mobilní zařízení ; Operating systems for mobile devices

Authors: Štalmach, Tomáš Smutný, Zdeněk Řezníček, Václav

Contributors: Štalmach, Tomáš Smutný, Zdeněk Řezníček, Václav

Subject Terms: operační systém, smartfon, mobilní telefon, mobilní aplikace, jádro OS, dotazník, questionnaire, smartphone, operating system, mobile phone, mobile applications, kernel, mobilné aplikácie, mobilný telefón, operačný systém, smartfón, jadro OS

File Description: application/pdf

Relation: https://vskp.vse.cz/eid/63232

Availability: https://vskp.vse.cz/eid/63232

Smart Resource Sharing for Concurrency and Security

Authors: Gao, Ying

Subject Terms: Computer engineering, Concurrency, Coordination, Hardware / Software Systems, Resource Sharing, Security, Static Isolation

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/4rs6n9s6
https://escholarship.org/content/qt4rs6n9s6/qt4rs6n9s6.pdf

Operačné systémy (GNU/Linux)

Authors: Šechný, Martin

Subject Terms: operačný systém, GNU/Linux, bash, LPI Linux Essentials, LPIC-1

Relation: https://zenodo.org/communities/debian/; https://zenodo.org/records/4305641; oai:zenodo.org:4305641; https://doi.org/10.5281/zenodo.4305641

Availability: https://doi.org/10.5281/zenodo.4305641
https://zenodo.org/records/4305641

A flexible type system for fearless concurrency

Authors: Milano, Mae Turcotti, Joshua Myers, Andrew C

Subject Terms: Information and Computing Sciences, Software Engineering, concurrency, type systems, aliasing

Access URL: https://escholarship.org/uc/item/3bn932dm

Assessing data change in scientific datasets

Authors: Müller, Juliane Faybishenko, Boris Agarwal, Deborah et al.

Source: Concurrency and Computation Practice and Experience. 33(16)

Subject Terms: 46 Information and Computing Sciences (for-2020), 4612 Software Engineering (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Generic health relevance (hrcs-hc), data management, data versions, hierarchical data change analysis, QA, QC, scientific data change analysis, 0801 Artificial Intelligence and Image Processing (for), 0803 Computer Software (for), 0805 Distributed Computing (for), Distributed Computing (science-metrix), 46 Information and computing sciences (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/5f87m12s
https://escholarship.org/content/qt5f87m12s/qt5f87m12s.pdf

Web‐based visual data exploration for improved radiological source detection

Authors: Weber, Gunther H Bandstra, Mark S Chivers, Daniel H et al.

Source: Concurrency and Computation Practice and Experience. 29(18)

Subject Terms: 4605 Data Management and Data Science (for-2020), 46 Information and Computing Sciences (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Bioengineering (rcdc), Data Science (rcdc), visualization, databases, data storage and indexing, web-based system, data integration, 0801 Artificial Intelligence and Image Processing (for), 0803 Computer Software (for), 0805 Distributed Computing (for), Distributed Computing (science-metrix), 46 Information and computing sciences (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/14z1h9gr
https://escholarship.org/content/qt14z1h9gr/qt14z1h9gr.pdf

Exploiting communication concurrency on high performance computing systems

Authors: Chaimov, Nicholas Ibrahim, Khaled Z Williams, Samuel et al.

Source: Proceedings of the 6th International Workshop on Programming Models and Applications for Multicores and Manycores Pmam 2015

Subject Terms: 4613 Theory Of Computation (for-2020), 33 Built Environment and Design (for-2020), 40 Engineering (for-2020), 46 Information and Computing Sciences (for-2020), 4009 Electronics, Sensors and Digital Hardware (for-2020), 4606 Distributed Computing and Systems Software (for-2020), 3301 Architecture (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/85b7g7wd
https://escholarship.org/content/qt85b7g7wd/qt85b7g7wd.pdf

Measuring concurrency using a joint multistate and point process model for retrospective sexual history data

Authors: Aralis, Hilary J Gorbach, Pamina M Brookmeyer, Ron

Source: Statistics in Medicine. 35(24)

Subject Terms: Mathematical Sciences, Statistics, Health Sciences, Infectious Diseases, Sexually Transmitted Infections, HIV/AIDS, Infection, Cross-Sectional Studies, Data Interpretation, Statistical, HIV Infections, Humans, Male, Medical History Taking, Prevalence, Retrospective Studies, Sexual Behavior, Sexual Partners, multistate, concurrency, HIV, sexual history, point process, Public Health and Health Services, Statistics & Probability, Epidemiology

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/04s7j38z
https://escholarship.org/content/qt04s7j38z/qt04s7j38z.pdf

Concurrency Analysis for Parallel Programs with Textually Aligned Barriers

Authors: Kamil, Amir Yelick, Katherine

Source: Lecture Notes in Computer Science. 4339

Subject Terms: 4606 Distributed Computing and Systems Software (for-2020), 46 Information and Computing Sciences (for-2020), 3 Good Health and Well Being (sdg), Artificial Intelligence & Image Processing (science-metrix), 46 Information and computing sciences (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/2nc3f04f
https://escholarship.org/content/qt2nc3f04f/qt2nc3f04f.pdf

Analýza vlivu poruch a chyb na chování jádra operačního systému ; On Analysis of Fault and Error Impact to Behavior of an Operating System Kernel

Authors: Blašková, Adriána Strnadel, Josef Krčma, Martin

Contributors: Blašková, Adriána Strnadel, Josef Krčma, Martin

Subject Terms: operačné systémy, jadro, spoľahlivosť, systémy odolné proti poruchám, injektácia porúch, redundancia, operating systems, kernel, reliability, fault tolerant systems, fault injection, redundancy

File Description: application/pdf; text/html

Relation: BLAŠKOVÁ, A. Analýza vlivu poruch a chyb na chování jádra operačního systému [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.; 106237; http://hdl.handle.net/11012/69610

Availability: http://hdl.handle.net/11012/69610

Growth management in Washington State: transportation concurrency, induced growth, and Endangered Species Act indirect effects

Authors: Bigler, Brian

Subject Terms: highway projects, growth, roadway, management, Washington, transportation

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/1724x4jn
https://escholarship.org/content/qt1724x4jn/qt1724x4jn.pdf

Communication Concurrency and the New Media: A New Dimension for Media Richness.

Authors: Valacich, Joseph S.

Source: Communication Research. Apr 1993 20(2):249-276.

Peer Reviewed: Y

Page Count: 28

Descriptors: Decision Making, Group Discussion, Group Dynamics, Higher Education, Information Services, Information Technology, Management Information Systems, Nominal Group Technique, Operations Research

ENHANCING LEARNING MANAGEMENT SYSTEM THROUGH WEB ACADEMIC LIBRARY INFORMATION SYSTEMS.

Alternate Title: POPRAWA SYSTEMU ZARZĄDZANIA NAUCZANIEM POPRZEZ SIECIOWE SYSTEMY INFORMACYJNE BIBLIOTEKI AKADEMICKIEJ.
完善的管理網絡，通過學術圖書館信息系統的學習.

Authors: Marton, D. Bednar, S. Modrak, J.

Source: Polish Journal of Management Studies. 2014, Vol. 10 Issue 1, p63-73. 11p.

Subject Terms: *LEARNING management system, ACADEMIC libraries, LIBRIS (Information retrieval system), MOBILE learning, END users (Information technology)

Sexual partnership concurrency and age disparities associated with sexually transmitted infection and risk behavior in rural communities in Kenya and Uganda

Authors: Okiring, Jaffer Getahun, Monica Gutin, Sarah A et al.

Source: International Journal of Infectious Diseases. 120

Subject Terms: 4206 Public Health (for-2020), 32 Biomedical and Clinical Sciences (for-2020), 3202 Clinical Sciences (for-2020), 42 Health Sciences (for-2020), Behavioral and Social Science (rcdc), HIV/AIDS (rcdc), Women's Health (rcdc), Clinical Research (rcdc), Infectious Diseases (rcdc), Prevention (rcdc), Urologic Diseases (rcdc), Sexually Transmitted Infections (rcdc), 2.2 Factors relating to the physical environment (hrcs-rac), Infection (hrcs-hc), 3 Good Health and Well Being (sdg), Adult (mesh), Female (mesh), HIV Infections (mesh), Humans (mesh), Kenya (mesh), Male (mesh), Risk Factors (mesh), Risk-Taking (mesh), Rural Population (mesh), Sex Work (mesh), Sexual Behavior (mesh), Sexual Partners (mesh), Sexually Transmitted Diseases (mesh), Uganda (mesh), Age disparity, Sexual risk, STIs, Concurrency, Population mobility, Sub-Saharan Africa, Humans (mesh), Sexually Transmitted Diseases (mesh), HIV Infections (mesh), Risk Factors (mesh), Risk-Taking (mesh), Sexual Behavior (mesh), Adult (mesh), Sexual Partners (mesh), Rural Population (mesh), Kenya (mesh), Uganda (mesh), Female (mesh), Male (mesh), Sex Work (mesh), Age disparity, Concurrency, Population mobility, STIs, Sexual risk, Sub-Saharan Africa, Adult (mesh), Female (mesh), HIV Infections (mesh), Humans (mesh), Kenya (mesh), Male (mesh), Risk Factors (mesh), Risk-Taking (mesh), Rural Population (mesh), Sex Work (mesh), Sexual Behavior (mesh), Sexual Partners (mesh), Sexually Transmitted Diseases (mesh), Uganda (mesh), 0605 Microbiology (for), 1108 Medical Microbiology (for), 1117 Public Health and Health Services (for), Microbiology (science-metrix), 3202 Clinical sciences (for-2020), 4202 Epidemiology (for-2020), 4206 Public health (for-2020)

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/9mk4z18s
https://escholarship.org/content/qt9mk4z18s/qt9mk4z18s.pdf

Multiversion concurrency control-theory and algorithms

Contributors: Goodman, N

Source: ACM Trans. Database Syst.; (United States); 4

File Description: Medium: X; Size: Pages: 465-483

Access URL: http://www.osti.gov/scitech/biblio/6422423

Empirical performance evaluation of concurrency and coherency control protocols for database sharing problems

Contributors: Rahm, E [Univ. of Kaiserslautern (Germany)]

Source: ACM Transactions on Database Systems (Association for Computing Machinery); (United States); 18:2

File Description: Medium: X; Size: Pages: 333-377

Access URL: http://www.osti.gov/scitech/biblio/7116330