Výsledky vyhľadávania - acm: d.: software/d.4: operacne systems/d.4.1: process management/d.4.1.0: concurrency

Analysis of Locking Policies in Database Management Systems.

Autori: Potier, D. Leblanc, Ph. Schwetman, H. D.

Zdroj: Communications of the ACM. Oct80, Vol. 23 Issue 10, p584-593. 10p. 6 Diagrams, 3 Charts, 3 Graphs.

Predmety: *DATABASE management, *COMPUTER software, *COMPUTER networks, *ELECTRONIC data processing, *ELECTRONIC systems, *DATABASES

Termination in Concurrency, Revisited

Autori: Paulus, Joseph W.N. Pérez, Jorge A. Nantes-Sobrinho, Daniele

Zdroj: Paulus, J W N, Pérez, J A & Nantes-Sobrinho, D 2023, Termination in Concurrency, Revisited. in Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications : Software for Humanity, SPLASH 2023, including LOPSTR 2023., 3, ACM International Conference Proceeding Series, Association for Computing Machinery, 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023, Lisbon, Portugal, 22/10/2023.

Témy: Concurrency, Expressiveness, Process Calculi, Session Types, contributionToPeriodical

URL: https://research.rug.nl/en/publications/fe5ad435-0e20-44c4-82d8-4c41941fcc9d
https://doi.org/10.1145/3610612.3610615
https://hdl.handle.net/11370/fe5ad435-0e20-44c4-82d8-4c41941fcc9d
https://pure.rug.nl/ws/files/893497963/3610612.3610615.pdf
https://www.scopus.com/pages/publications/85175480278
info:eu-repo/semantics/altIdentifier/doi/10.1145/3610612.3610615
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/fe5ad435-0e20-44c4-82d8-4c41941fcc9d
info:eu-repo/semantics/altIdentifier/isbn/9798400708121

The Implementation of a Multi-Backend Database System (MDBS). Part 4. The Revised Concurrency Control and Directory Management Processes and the Revised Definitions of Inter-Process and Inter-Computer Messages

Autori: NAVAL POSTGRADUATE SCHOOL MONTEREY CA Demurjian,S A Hsiao,D K a ďalší

Zdroj: DTIC AND NTIS

Témy: Computer Programming and Software, Computer Hardware, Data bases, Data management, Minicomputers, Control systems, Directories, Computer communications, Computer architecture, Intercommunication systems, Message processing, Searching, Addressing, Prototypes, Access, Programming languages, Secure communications, Backend minicomputers, MDBS(Multi Backend Data Base System), Text

URL: https://apps.dtic.mil/docs/citations/ADA140874

Concurrency Control in Distributed Database Systems.

Autori: Bernstein, Philip A. Goodman, Nathan

Zdroj: ACM Computing Surveys. Jun81, Vol. 13 Issue 2, p185-221. 36p.

Predmety: *DISTRIBUTED databases, *SOFTWARE compatibility, *MANAGEMENT information systems, *SYSTEMS design, *ALGORITHMS, *COMPUTER multitasking

Management of concurrency in a reliable object-oriented computing system

Autori: Parrington, Graham D.

Predmety: 005, Computer software & programming

Dostupnosť: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.384011

The Implementation of a Multi-Backend Database System (MDBS). Part 3. The Message-Oriented Version with Concurrency Control and Secondary-Memory-Based Directory Management.

Autori: NAVAL POSTGRADUATE SCHOOL MONTEREY CA Boyne,Richard D. Demurjian,Steven A. a ďalší

Zdroj: DTIC AND NTIS

Témy: Computer Programming and Software, Computer Hardware, DATA BASES, SYSTEMS ENGINEERING, COMPUTER PROGRAMS, PERFORMANCE TESTS, GROWTH(GENERAL), COMPUTER PROGRAMMING, DISKS, MINICOMPUTERS., Text

URL: https://apps.dtic.mil/docs/citations/ADA176082

The implementation of a multi-backend database system (MDBS), part III: The message-oriented version with concurrency control and secondary-memory-based directory management

Autori: Naval Postgraduate School (U.S.) Boyne, Richard D. Demurjian, Steven A. a ďalší

Témy: Data base management, backend database system, database system implementation, database computer, database machine, software engineering, database, Technical Report

URL: https://hdl.handle.net/10945/28954

Improving the software development process and software performance through the application of systems engineering principles including concurrency

Autori: Barthelmess, Brett S.

Zdroj: This resource online.

Predmety: Systems engineering. Software engineering.

Dostupnosť: http://scholar.lib.vt.edu/theses/available/etd-12162009-020046/

Graph-Based Software Design for Managing Complexity and Enabling Concurrency in Multiphysics PDE Software.

Autori: NOTZ, PATRICK K. PAWLOWSKI, ROGER P. SUTHERLAND, JAMES C.

Zdroj: ACM Transactions on Mathematical Software. 2013, Vol. 39 Issue 1, p1-1:21. 21p. 3 Charts.

Predmety: *PHYSICS software, *PARTIAL differential equations, *FINITE volume method, *TRANSPORT equation, *TRANSPORT theory

Towards a new standard for allowing concurrency and ensuring consistency in revision control systems

Autori: Ray, Indrajit Zhang, Junxing

Zdroj: Computer Standards & Interfaces. Mar2007, Vol. 29 Issue 3, p355-364. 10p.

Predmety: *COMPUTER software development, *COMPUTER industry, *COMPUTER access control equipment industry, *ELECTRONIC systems, *DATABASE design, *DATABASES, *INFORMATION services industry

Serializable Isolation for Snapshot Databases.

Autori: CAHILL, MICHAEL J. RÖHM, UWE FEKETE, ALAN D.

Zdroj: ACM Transactions on Database Systems. Dec2009, Vol. 34 Issue 4, p20:1-20:42. 42p. 6 Diagrams, 9 Charts, 7 Graphs.

Predmety: *DATABASE management software, *ALGORITHMS, *DATABASES, *ELECTRONIC data processing, *TRANSACTION systems (Computer systems), *DATA integrity

Foundations of Software Science and Computation Structures

Prispievatelia: Kiefer, Stefan Tasson, Christine

Predmety: Mathematical Logic and Formal Languages, Theory of Computation, Natural Language Processing (NLP), Database Management, Programming Techniques, Formal Languages and Automata Theory, automata theory, databases, formal languages, formal logic, computational linguistics, open access, semantics, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, logical foundations of data bases, models of software security, logical aspects of computation complexity, logics of programming, Mathematical theory of computation, Computer science, Natural language & machine translation, Database programming, Computer programming / software engineering, Artificial intelligence, Databases

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48218

Real-World Concurrency.

Autori: CANTRILL, BRYAN BONWICK, JEFF

Zdroj: Communications of the ACM. Nov2008, Vol. 51 Issue 11, p34-39. 6p. 1 Color Photograph, 1 Illustration.

Predmety: *COMPUTER software development, *COMPUTER multitasking, *COMPUTER operating systems, *COMPUTER programming management, *COMPUTER programming, *ELECTRONIC data processing

A Deep Reinforcement Learning-Based Concurrency Control of Federated Digital Twin for Software-Defined Manufacturing Systems

Autori: Rubab Anwar Jin-Woo Kwon Won-Tae Kim

Zdroj: Applied Sciences, Vol 15, Iss 15, p 8245 (2025)

Predmety: digital twin, federated digital twin, concurrency control, priority inversion, deep reinforcement learning, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

Popis súboru: electronic resource

Relation: https://www.mdpi.com/2076-3417/15/15/8245; https://doaj.org/toc/2076-3417

Prístupová URL adresa: https://doaj.org/article/0e0d283dfc274595919806e540c2b626

ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency.

Autori: Frumin, D.

Predmet: Software Science.

Témy: Article in monograph or in proceedings.

URL: https://doi.org/10.1145/3209108.3209174
http://hdl.handle.net/2066/199896
https://repository.ubn.ru.nl//bitstream/handle/2066/199896/199896.pdf

Improving the software development process and software performance through the application of systems engineering principles including concurrency

Autori: Systems Engineering Harmon, L. Kenneth Jr. Blanchard, Benjamin S. Jr. a ďalší

Témy: Master's project

URL: http://hdl.handle.net/10919/46221
http://scholar.lib.vt.edu/theses/available/etd-12162009-020046/
OCLC# 30505791
LD5655.V851_1993.B378.pdf

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

Implicit-Signal Monitors.

Autori: Buhr, Peter A. Harji, Ashif S.

Zdroj: ACM Transactions on Programming Languages & Systems. Nov2005, Vol. 27 Issue 6, p1270-1343. 74p.

Predmety: *COMPUTER software development, *COMPUTER systems, *SYNCHRONIZATION, *COMPUTER programming management, *SEMANTICS, *ELECTRONIC systems, *TIME measurements, *SIMULATION methods & models, *COMPUTER networks

Autonomous Instrument Concurrency Management

The implementation of a multi-backend database system (MDBS): Part IV, The revised concurrency control and directory management processes and the revised definitions of inter-process and inter-computer messages

Autori: Naval Postgraduate School (U.S.) Demurjian, Steven A. Hsiao, David K. a ďalší

Témy: SASS (COMPUTER SYSTEM)., Database systems, concurrency control, directory management, message passing, multi-backends, attribute search, descriptor search, cluster search, address generation., Technical Report

URL: https://hdl.handle.net/10945/28955