Search references for CONCURRENT COMPUTING. Phrases containing CONCURRENT COMPUTING
See searches and references containing CONCURRENT COMPUTING!CONCURRENT COMPUTING
Executing several computations during overlapping time periods
Concurrent computing is a form of computing in which several computations are executed concurrently—during overlapping time periods—instead of sequentially—with
Concurrent_computing
Synchronization primitive used in kernel development
In Computer science, a funnel is a synchronization primitive used in kernel development to protect system resources. First used on Digital UNIX as a way
Funnel_(concurrent_computing)
Programming paradigm in which many processes are executed simultaneously
parallel computing: bit-level, instruction-level, data, and task parallelism. Parallelism has long been employed in high-performance computing, but has
Parallel_computing
Ability to execute a task in a non-serial manner
Distributed systems, parallel computing, and high-performance computing Database systems, web applications, and cloud computing Concurrency is a broader concept
Concurrency (computer science)
Concurrency_(computer_science)
Measures to ensure concurrent computing operations generate correct results
distributed applications (e.g., Grid computing and Cloud computing) ensures that database transactions are performed concurrently without violating the data integrity
Concurrency_control
American computing vendor
Concurrent Computer Corporation was an American computer company, in existence from 1985 to 2017, that made real-time computing and parallel processing
Concurrent Computer Corporation
Concurrent_Computer_Corporation
Particular execution of a computer program
In computing, a process is the instance of a computer program that is being executed by one or many threads. There are many different process models,
Process_(computing)
Consistency model in concurrent computing
Sequential consistency is a consistency model used in the domain of concurrent computing (e.g. in distributed shared memory, distributed transactions, etc
Sequential_consistency
Component of a computer process
architecture manage how the threads run, either concurrently on one core or in parallel on multiple cores. GPU computing environments like CUDA, OpenCL and DirectX
Thread_(computing)
Software design pattern
A concurrency pattern is a software design pattern that supports concurrent processing. Examples include: Active object Balking pattern Barrier Double-checked
Concurrency_pattern
System with multiple networked computers
common goal for their work. The terms "concurrent computing", "parallel computing", and "distributed computing" have much overlap, and no clear distinction
Distributed_computing
Topics referred to by the same term
partially-ordered units Concurrent computing, the overlapping execution of multiple interacting computational tasks Concurrence (quantum computing), a measure used
Concurrency
Programming paradigm for improving clarity and development time of a computer program
"Structured concurrency". Retrieved 21 September 2019. Elizarov, Roman (11 July 2019). Structured concurrency (Video). Hydra Distributed computing conference
Structured_concurrency
literature on concurrency testing and concurrent testing typically focuses on testing software and systems that use concurrent computing. The purpose is
Concurrent_testing
Type of extremely powerful computer
computing whereby a "super virtual computer" of many loosely coupled volunteer computing machines performs very large computing tasks. Grid computing
Supercomputer
Simultaneous processing in the Java language
programming language and the Java virtual machine (JVM) are designed to support concurrent programming. All execution takes place in the context of threads. Objects
Java_concurrency
Programming language
Concurrent Pascal is a programming language designed by Per Brinch Hansen for writing concurrent computing programs such as operating systems and real-time
Concurrent_Pascal
Multithreaded to allow concurrent access
threads using a hash function. Concurrent hash tables represent a key concurrent data structure for use in concurrent computing which allow multiple threads
Concurrent_hash_table
Temporarily interrupting a computer task
In computing, preemption is the act performed by an external scheduler — without assistance or cooperation from the task — of temporarily interrupting
Preemption_(computing)
Data structure that can be used by multiple threads
science, a concurrent data structure (also called shared data structure) is a data structure designed for access and modification by multiple computing threads
Concurrent_data_structure
Programming object that carries data
In the field of programming a data transfer object (DTO) is an object that carries data between processes. The motivation for its use is that communication
Data_transfer_object
Computer memory that can be accessed by multiple processes
A.; Robbins, Steven (2003). Unix systems programming: communication, concurrency, and threads (2 ed.). Prentice Hall PTR. p. 512. ISBN 978-0-13-042411-2
Shared_memory
Programming paradigm
Concurrent object-oriented programming is a programming paradigm which combines object-oriented programming (OOP) together with concurrency. While numerous
Concurrent object-oriented programming
Concurrent_object-oriented_programming
Concurrent constraint logic programming is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or
Concurrent constraint logic programming
Concurrent_constraint_logic_programming
Concurrent execution of multiple processes
In computing, multitasking is the concurrent execution of multiple tasks (also known as processes) over a certain period of time. New tasks can interrupt
Computer_multitasking
Soft real-time scheduling algorithm
operation. Computer multitasking Concurrency control Concurrent computing Resource contention Time complexity Thread (computing) Waldspurger, Carl A. (1995)
Stride_scheduling
American computer scientist (born 1947)
contributions in the area of concurrent computing. They developed a programming notation and a logic, called UNITY, to describe concurrent computations. Leslie
Jayadev_Misra
Topics referred to by the same term
Join-pattern, generalization of Join-calculus Joins (concurrency library), a concurrent computing API from Microsoft Research Join Network Studio of NENU
Join
Method of concurrent computing
distributed computing environment such as social computing, volunteer computing, and edge computing, grid computing, or utility computing. Collaborative
Sideband_computing
Concepts in theoretical computer science
Properties of an execution of a computer program—particularly for concurrent and distributed systems—have long been formulated by giving safety properties
Safety and liveness properties
Safety_and_liveness_properties
Interface for C, C++, and Fortran (distributed computing) SYCL Concurrent computing List of concurrent programming languages Parallel programming model
List of concurrent and parallel programming languages
List_of_concurrent_and_parallel_programming_languages
State for a computing process
associated with blocking. Concurrent computing Data dependency Non-blocking algorithm Race condition Scheduling (computing) Stallings, William (2004)
Blocking_(computing)
Logic programming paradigm
Concurrent logic programming is a variant of logic programming designed for parallel computing in which programs are sets of guarded Horn clauses of the
Concurrent_logic_programming
Set of computers configured in a distributed computing system
and scheduled by software. The newest manifestation of cluster computing is cloud computing. The components of a cluster are usually connected to each other
Computer_cluster
Programmable machine that processes data
of the analytical engine's computing unit (the mill) in 1888. He gave a successful demonstration of its use in computing tables in 1906. In his work
Computer
the reactor pattern. EventMachine is the most popular library for concurrent computing in the Ruby programming language. EventMachine has been used to build
EventMachine
Resource shortage in computers
Resource starvation is a problem encountered in concurrent computing where a process is perpetually denied necessary resources to process its work. Starvation
Resource_starvation
Concept in multithreading
calling thread to relinquish the CPU. Coroutines are a fine-grained concurrency primitive, which may be required to yield explicitly. They may enable
Yield_(multithreading)
Combined real-and-virtual environment
glasses Spatial computing – Computing paradigm emphasizing 3D spatial interaction with technology Wearable computer – Small computing device worn on the
Extended_reality
Programming paradigm
where programs are written as compositions of interactions among multiple concurrent participants. Deadlock is a common error that can occur in distributed
Choreographic_programming
academic conferences in the fields of distributed computing, parallel computing, and concurrent computing. The conferences listed here are major conferences
List of distributed computing conferences
List_of_distributed_computing_conferences
FDR (Failures-Divergences Refinement) and subsequently FDR2, FDR3 and FDR4 are refinement checking software tools, designed to check formal models expressed
FDR_(software)
Family of CP/M- and DOS-compatible multi-user multi-tasking operating systems
16-bit personal computing, 8-bit software was more available and often ran faster than the corresponding 16-bit software. Concurrent CP/M-86/80 allowed
Multiuser_DOS
Concept in software engineering and computer science
Ubiquitous computing (or "ubicomp") is a concept in software engineering, hardware engineering and computer science where computing is made to appear seamlessly
Ubiquitous_computing
Software design pattern
pool maintains multiple threads waiting for tasks to be allocated for concurrent execution by the supervising program. By maintaining a pool of threads
Thread_pool
Operating system
name to better reflect its capabilities and focus on high-performance computing. The first version of PelicanHPC was released in 2008, and it has since
PelicanHPC
American computer scientist
elected a member of the National Academy of Engineering in 2013 for concurrent computing techniques for linearizability, non-blocking data structures, and
Maurice_Herlihy
Dutch computer scientist
Dutch computer scientist known for her work in automata theory and concurrent computing, on Petri nets, and on interactions between computer science and
Jetty_Kleijn
Software design pattern for concurrent event handling
handling strategy that can respond to many potential service requests concurrently. The pattern's key component is an event loop, running in a single thread
Reactor_pattern
Model of concurrent computation
science is a mathematical model of concurrent computation that treats an actor as the basic building block of concurrent computation. In response to a message
Actor_model
article defined the engineering basis for both multiprocessor computing and cluster computing, where the primary differentiator is whether or not the interprocessor
History_of_computer_clusters
Concurrent data structure
stack algorithm is a scalable lock-free stack utilizing the fine-grained concurrency primitive compare-and-swap. It is believed that R. Kent Treiber was the
Treiber_stack
Equivalence of all cached copies of a memory location
In computer architecture, cache coherence is the uniformity of shared resource data that is stored in multiple local caches. In a cache coherent system
Cache_coherence
PCLSRing (also known as Program Counter Lusering) is the term used in the ITS operating system for a consistency principle in the way one process accesses
PCLSRing
Indian-American businessman (born 1944)
He is known for describing the "cigarette smokers problem" for concurrent computing in 1971. Patil grew up in Jamshedpur, India. His father was the first
Suhas_Patil
Computing resource shared by concurrent users
model of computing in the 1970s represented a major technological shift in the history of computing. By allowing many users to interact concurrently with
Time-sharing
Computer multitasking that does not preempt processes
process to another process. Instead, in order to run multiple applications concurrently, processes voluntarily yield control periodically or when idle or logically
Cooperative_multitasking
British computer scientist (1934–2026)
languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the 1980 ACM Turing Award, usually regarded
Tony_Hoare
Abstract computer for designing parallel algorithms
the tenth annual ACM symposium on Theory of computing - STOC '78. New York, NY, USA: Association for Computing Machinery. pp. 114–118. doi:10.1145/800133
Parallel_RAM
Event metadata
techniques are used in a variety of computing fields, from network management and computer security to concurrency control. For instance, a heartbeat network
Timestamping_(computing)
Algebraic structure with an associative operation and an identity element
and history monoids provide a foundation for process calculi and concurrent computing. In theoretical computer science, the study of monoids is fundamental
Monoid
Family of programming languages
1990s. ABCL/1 (Actor-Based Concurrent Language) is a prototype-based concurrent computing language for the ABCL MIMD system, created in 1986 by Akinori Yonezawa
Actor-Based Concurrent Language
Actor-Based_Concurrent_Language
German computer scientist
Her research concerns the theory of concurrent computing, including the use of Petri nets to model concurrent systems. Goltz earned her Ph.D. at RWTH
Ursula_Goltz
Formal model in concurrency theory
describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process
Communicating sequential processes
Communicating_sequential_processes
In computer science, the concept of protected procedure, first introduced as protected service routine in 1965, is necessary when two computations A and
Protected_procedure
Design of high-performance computers
grew, and computing nodes could be placed further away, e.g., in a computer cluster, or could be geographically dispersed in grid computing. As the number
Supercomputer_architecture
Asynchronous concurrent computing API for .NET
asynchronous concurrent computing API (Join-pattern) from Microsoft Research for the .NET Framework. It is based on join calculus and makes the concurrency constructs
Joins_(concurrency_library)
Parallel computing platform: GPGPU libraries and application programming interface
including general-purpose computing on graphics processing units (GPGPU), high-performance computing (HPC), and heterogeneous computing. It offers several programming
ROCm
Synchronization method in parallel computing
communication (such as reduction or scatter) may imply a barrier. In concurrent computing, a barrier may be in a "raised" or "lowered state". The term "latch"
Barrier_(computer_science)
Theory of trace monoids
aims to provide a concrete mathematical underpinning for the study of concurrent computation and process calculi. The underpinning is provided by an algebraic
Trace_theory
State in which members are blocking each other
In concurrent computing, deadlock is any situation in which no member of some group of entities can proceed because each waits for another member, including
Deadlock_(computer_science)
Algorithm which can do multiple operations in a given time
distributed algorithms, are algorithms designed to work in cluster computing and distributed computing environments, where additional concerns beyond the scope
Parallel_algorithm
semantics for use in the field of software engineering, especially for concurrent distributed object systems. It supports correctness proofs. Hidden algebra
Hidden_algebra
Form of cooperative multitasking
} Arduino - a popular example of this paradigm Event loop Preemption (computing) Bruce Powell Douglass (2003). Real-Time Design Patterns: Robust Scalable
Cyclic_executive
Checking software against expectations
desired outcome. Concurrent or concurrency testing assesses the behaviour and performance of software and systems that use concurrent computing, generally under
Software_testing
Function that loads and executes a new child process
process may wait for the child to terminate or may continue to execute concurrent computing. Creating a new subprocess requires enough memory in which both the
Spawn_(computing)
Alternative Python implementation
features — PyPy documentation". pypy.readthedocs.org. "greenlet: Lightweight concurrent programming — greenlet 0.4.0 documentation". greenlet.readthedocs.org
Stackless_Python
ksh, and Zsh have language constructs for coprocesses. Deterministic concurrency "6.1 Simple Commands & Pipelines". The Z Shell Manual (Version 5.9 ed
Coprocess
Five generation of a computer
and Industry (MITI) to develop computers based on massively parallel computing and logic programming. The project aimed to create an "epoch-making computer"
Fifth Generation Computer Systems
Fifth_Generation_Computer_Systems
The Edinburgh Concurrent Supercomputer (ECS) was a large Meiko Computing Surface supercomputer. This transputer-based, massively parallel system was installed
Edinburgh Concurrent Supercomputer
Edinburgh_Concurrent_Supercomputer
Functions whose execution can be paused
whereas threads are typically preemptively multitasked. Coroutines provide concurrency, because they allow tasks to be performed out of order or in a changeable
Coroutine
Concurrency control method commonly used by database management systems
Multiversion concurrency control (MCC or MVCC) is a non-locking concurrency control method commonly used by database management systems to provide concurrent access
Multiversion concurrency control
Multiversion_concurrency_control
variables may have indeterminate state because several threads access them concurrently without sufficient locking Deadlock – two or more threads reach a stalemate
JCSP
Concurrency control mechanism in software
(STM) is a concurrency control mechanism analogous to database transactions for controlling access to shared memory in concurrent computing. It is an alternative
Software_transactional_memory
Type of concurrency control mechanism
database transactions for controlling access to shared memory in concurrent computing. Transactional memory systems provide high-level abstraction as an
Transactional_memory
Time from a computer program's start to its end
can spend CPU time many times beyond their elapsed time. Since in concurrent computing the definition of elapsed time is non-trivial, the conceptualization
Elapsed_real_time
Buschmann: "Pattern-Oriented Software Architecture Vol.2: Patterns for Concurrent and Networked Objects", pp. 109--140, April 2001". Archived from the original
Interceptor_pattern
Greek computer scientist
is a Greek computer scientist, specializing in distributed computing and concurrent computing, including the design of data structures that can be used
Panagiota_Fatourou
Programming language running on the Erlang virtual machine
needed] Free and open-source software portal Concurrent computing Distributed computing Parallel computing Valim, José (25 May 2012). "Elixir v0.5.0 released"
Elixir_(programming_language)
Relativistic programming (RP) is a style of concurrent programming where instead of trying to avoid conflicts between readers and writers (or writers and
Relativistic_programming
Danish-American computer scientist
scientist known for his work in operating systems, concurrent programming and parallel and distributed computing. Per Brinch Hansen was born in Frederiksberg
Per_Brinch_Hansen
Techniques used by computers to manage components with limited availability
an issue in sequential computing. Multiple processes wish to access a limited resource can be an issue in concurrent computing, and is known as resource
Resource management (computing)
Resource_management_(computing)
Programming model for software frameworks
Vuduc, R. (2010). "Performance evaluation of concurrent collections on high-performance multicore computing systems". 2010 IEEE International Symposium
Concurrent_Collections
British computer scientist
authority on the topics of fairness, program schemas and bisimulation in concurrent computing. At the University of Warwick, he was one of the earliest members
David Park (computer scientist)
David_Park_(computer_scientist)
Programming language
Alef. Limbo supports the following features: modular programming concurrent computing strong type checking at compile and run-time interprocess communication
Limbo_(programming_language)
Consistency model in concurrent computing
consistency is one of the consistency models used in the domain of concurrent computing (e.g. in distributed shared memory, distributed transactions, etc
Processor_consistency
Consistency model used in distributed computing to achieve high availability
of distributed computing - PODC '87. p. 1. doi:10.1145/41840.41841. ISBN 978-0-89791-239-6. S2CID 1889203. Rockford Lhotka. "Concurrency techniques" Archived
Eventual_consistency
on high-performance computing, cluster computing, and grid computing: HiPC - International Conference on High Performance Computing SC - ACM/IEEE International
List of computer science conferences
List_of_computer_science_conferences
(e.g., federated database, grid computing, and cloud computing environments. A major goal for distributed concurrency control is distributed serializability
Distributed concurrency control
Distributed_concurrency_control
Computer system simulating intelligence
soft computing techniques, which are used in artificial intelligence on the one hand and computational intelligence on the other. In hard computing (HC)
Computational_intelligence
travel, tourism, insurance
CONCURRENT COMPUTING
CONCURRENT COMPUTING
CONCURRENT COMPUTING
CONCURRENT COMPUTING
CONCURRENT COMPUTING
CONCURRENT COMPUTING
CONCURRENT COMPUTING
CONCURRENT COMPUTING
CONCURRENT COMPUTING
travel, tourism, insurance