Výsledky vyhľadávania - 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

Autori: Parrington, Graham D.

Predmety: 005, Computer software & programming

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

Toward a Lingua Franca for Deterministic Concurrent Systems

Autori: Lohstroh, Marten Menard, Christian Bateni, Soroush a ďalší

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

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

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

A Model-Driven Approach to Teaching Concurrency

Autori: Carro, Manuel Herranz, Angel Marino, Julio

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

Peer Reviewed: Y

Počet strán: 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

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

Predmety: hoare logic, monads, separation logic, type theory

Popis súboru: application/pdf

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

Prí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

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

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

Predmety: 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 súboru: application/pdf

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

Dostupnosť: https://vskp.vse.cz/eid/63232

Smart Resource Sharing for Concurrency and Security

Autori: Gao, Ying

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

Popis súboru: application/pdf

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

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

Autori: Šechný, Martin

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

Dostupnosť: https://doi.org/10.5281/zenodo.4305641
https://zenodo.org/records/4305641

A flexible type system for fearless concurrency

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

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

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

Assessing data change in scientific datasets

Autori: Müller, Juliane Faybishenko, Boris Agarwal, Deborah a ďalší

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

Predmety: 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 súboru: application/pdf

Prí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

Autori: Weber, Gunther H Bandstra, Mark S Chivers, Daniel H a ďalší

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

Predmety: 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 súboru: application/pdf

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

Exploiting communication concurrency on high performance computing systems

Autori: Chaimov, Nicholas Ibrahim, Khaled Z Williams, Samuel a ďalší

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

Predmety: 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 súboru: application/pdf

Prí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

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

Zdroj: Statistics in Medicine. 35(24)

Predmety: 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 súboru: application/pdf

Prí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

Autori: Kamil, Amir Yelick, Katherine

Zdroj: Lecture Notes in Computer Science. 4339

Predmety: 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 súboru: application/pdf

Prí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

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

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

Predmety: 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 súboru: 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

Dostupnosť: http://hdl.handle.net/11012/69610

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

Autori: Bigler, Brian

Predmety: highway projects, growth, roadway, management, Washington, transportation

Popis súboru: application/pdf

Prí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.

Autori: Valacich, Joseph S.

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

Peer Reviewed: Y

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

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

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

Predmety: *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

Autori: Okiring, Jaffer Getahun, Monica Gutin, Sarah A a ďalší

Zdroj: International Journal of Infectious Diseases. 120

Predmety: 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 súboru: application/pdf

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

Multiversion concurrency control-theory and algorithms

Prispievatelia: Goodman, N

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

Popis súboru: Medium: X; Size: Pages: 465-483

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

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

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

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

Popis súboru: Medium: X; Size: Pages: 333-377

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