Výsledky vyhledávání - 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

Autoři: Parrington, Graham D.

Témata: 005, Computer software & programming

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

Toward a Lingua Franca for Deterministic Concurrent Systems

Autoři: Lohstroh, Marten Menard, Christian Bateni, Soroush a další

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

Témata: Polyglot, coordination language, concurrency, determinism, Computer Software, Distributed Computing, Computer Hardware, Computer Hardware & Architecture

Přístupová URL adresa: https://escholarship.org/uc/item/91v9b9r2

A Model-Driven Approach to Teaching Concurrency

Autoři: Carro, Manuel Herranz, Angel Marino, Julio

Zdroj: 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

Autoři: Nanevski, Aleksandar Govereau, Paul Morrisett, Greg Gregory

Zdroj: 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.

Témata: hoare logic, monads, separation logic, type theory

Popis souboru: application/pdf

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

Přístupová URL adresa: 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

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

Přispěvatelé: Štalmach, Tomáš Smutný, Zdeněk Řezníček, Václav

Témata: 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

Popis souboru: application/pdf

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

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

Smart Resource Sharing for Concurrency and Security

Autoři: Gao, Ying

Témata: Computer engineering, Concurrency, Coordination, Hardware / Software Systems, Resource Sharing, Security, Static Isolation

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/4rs6n9s6
https://escholarship.org/content/qt4rs6n9s6/qt4rs6n9s6.pdf

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

Autoři: Šechný, Martin

Témata: 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

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

A flexible type system for fearless concurrency

Autoři: Milano, Mae Turcotti, Joshua Myers, Andrew C

Témata: Information and Computing Sciences, Software Engineering, concurrency, type systems, aliasing

Přístupová URL adresa: https://escholarship.org/uc/item/3bn932dm

Assessing data change in scientific datasets

Autoři: Müller, Juliane Faybishenko, Boris Agarwal, Deborah a další

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/5f87m12s
https://escholarship.org/content/qt5f87m12s/qt5f87m12s.pdf

Web‐based visual data exploration for improved radiological source detection

Autoři: Weber, Gunther H Bandstra, Mark S Chivers, Daniel H a další

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/14z1h9gr
https://escholarship.org/content/qt14z1h9gr/qt14z1h9gr.pdf

Exploiting communication concurrency on high performance computing systems

Autoři: Chaimov, Nicholas Ibrahim, Khaled Z Williams, Samuel a další

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Aralis, Hilary J Gorbach, Pamina M Brookmeyer, Ron

Zdroj: Statistics in Medicine. 35(24)

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/04s7j38z
https://escholarship.org/content/qt04s7j38z/qt04s7j38z.pdf

Concurrency Analysis for Parallel Programs with Textually Aligned Barriers

Autoři: Kamil, Amir Yelick, Katherine

Zdroj: Lecture Notes in Computer Science. 4339

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Blašková, Adriána Strnadel, Josef Krčma, Martin

Přispěvatelé: Blašková, Adriána Strnadel, Josef Krčma, Martin

Témata: 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

Popis souboru: 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

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

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

Autoři: Bigler, Brian

Témata: highway projects, growth, roadway, management, Washington, transportation

Popis souboru: application/pdf

Přístupová URL adresa: 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.

Autoři: Valacich, Joseph S.

Zdroj: 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.
完善的管理網絡，通過學術圖書館信息系統的學習.

Autoři: Marton, D. Bednar, S. Modrak, J.

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

Témata: *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

Autoři: Okiring, Jaffer Getahun, Monica Gutin, Sarah A a další

Zdroj: International Journal of Infectious Diseases. 120

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/9mk4z18s
https://escholarship.org/content/qt9mk4z18s/qt9mk4z18s.pdf

Multiversion concurrency control-theory and algorithms

Přispěvatelé: Goodman, N

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

Popis souboru: Medium: X; Size: Pages: 465-483

Přístupová URL adresa: http://www.osti.gov/scitech/biblio/6422423

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

Přispěvatelé: Rahm, E [Univ. of Kaiserslautern (Germany)]

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

Popis souboru: Medium: X; Size: Pages: 333-377

Přístupová URL adresa: http://www.osti.gov/scitech/biblio/7116330