28 relations: Aliasing (computing), Application-specific integrated circuit, Bounds checking, C (programming language), Communicating sequential processes, Concurrent computing, Dangling pointer, David May (computer scientist), Distributed computing, Field-programmable gate array, Imperative programming, List of concurrent and parallel programming languages, Multi-core processor, Notification, Occam (programming language), Order, Parallel computing, Pointer (computer programming), Programming language, Race condition, Real-time computing, Reference (C++), Remote procedure call, Strong and weak typing, Tony Hoare, Type system, XCore Architecture, XMOS.
In computing, aliasing describes a situation in which a data location in memory can be accessed through different symbolic names in the program.
An Application-Specific Integrated Circuit (ASIC), is an integrated circuit (IC) customized for a particular use, rather than intended for general-purpose use.
In computer programming, bounds checking is any method of detecting whether a variable is within some bounds before it is used.
C (as in the letter ''c'') is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations.
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.
Concurrent computing is a form of computing in which several computations are executed during overlapping time periods—concurrently—instead of sequentially (one completing before the next starts).
Dangling pointers and wild pointers in computer programming are pointers that do not point to a valid object of the appropriate type.
Michael David May FRS FREng (born 24 February 1951) is a British computer scientist.
Distributed computing is a field of computer science that studies distributed systems.
A field-programmable gate array (FPGA) is an integrated circuit designed to be configured by a customer or a designer after manufacturing hence "field-programmable".
In computer science, imperative programming is a programming paradigm that uses statements that change a program's state.
This article lists concurrent and parallel programming languages, categorizing them by a defining paradigm.
A multi-core processor is a single computing component with two or more independent processing units called cores, which read and execute program instructions.
Notification may refer to.
occam is a programming language which is concurrent and builds on the communicating sequential processes (CSP) process algebra, Inmos document 72 occ 45 03 and shares many of its features.
Order or ORDER may refer to.
Parallel computing is a type of computation in which many calculations or the execution of processes are carried out concurrently.
In computer science, a pointer is a programming language object that stores the memory address of another value located in computer memory.
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output.
A race condition or race hazard is the behavior of an electronics, software, or other system where the output is dependent on the sequence or timing of other uncontrollable events.
In computer science, real-time computing (RTC), or reactive computing describes hardware and software systems subject to a "real-time constraint", for example from event to system response.
In the C++ programming language, a reference is a simple reference datatype that is less powerful but safer than the pointer type inherited from C. The name C++ reference may cause confusion, as in computer science a reference is a general concept datatype, with pointers and C++ references being specific reference datatype implementations.
In distributed computing, a remote procedure call (RPC) is when a computer program causes a procedure (subroutine) to execute in a different address space (commonly on another computer on a shared network), which is coded as if it were a normal (local) procedure call, without the programmer explicitly coding the details for the remote interaction.
In computer programming, programming languages are often colloquially classified as to whether the language's type system makes it strongly typed or weakly typed (loosely typed).
Sir Charles Antony Richard Hoare (born 11 January 1934), is a British computer scientist.
In programming languages, a type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.
The XCore Architecture is a 32-bit RISC microprocessor architecture designed by XMOS.
XMOS is a fabless semiconductor company that develops voice solutions, audio products, and multicore microcontrollers capable of concurrently executing real-time tasks, DSP, and control flow.