Algorithmic efficiencyIn computer science, algorithmic efficiency is a property of an algorithm which relates to the amount of computational resources used by the algorithm. An algorithm must be analyzed to determine its resource usage, and the efficiency of an algorithm can be measured based on the usage of different resources. Algorithmic efficiency can be thought of as analogous to engineering productivity for a repeating or continuous process. For maximum efficiency it is desirable to minimize resource usage.
Parallel computingParallel computing is a type of computation in which many calculations or processes are carried out simultaneously. Large problems can often be divided into smaller ones, which can then be solved at the same time. There are several different forms of parallel computing: bit-level, instruction-level, data, and task parallelism. Parallelism has long been employed in high-performance computing, but has gained broader interest due to the physical constraints preventing frequency scaling.
Capital punishmentCapital punishment, also known as the death penalty and formerly called judicial homicide, is the state-sanctioned practice of killing a person as a punishment for a crime, usually following an authorized, rule-governed process to conclude that the person is responsible for violating norms that warrant said punishment. The sentence ordering that an offender be punished in such a manner is known as a death sentence, and the act of carrying out the sentence is known as an execution.
Summary executionA summary execution is an execution in which a person is accused of a crime and immediately killed without the benefit of a full and fair trial. Executions as the result of summary justice (such as a drumhead court-martial) are sometimes included, but the term generally refers to capture, accusation, and execution all conducted within a very short period of time, and without any trial. Under international law, refusal to accept lawful surrender in combat and instead killing the person surrendering is also categorized as a summary execution (as well as murder).
Maxima (software)Maxima (ˈmæksɪmə) is a computer algebra system (CAS) based on a 1982 version of Macsyma. It is written in Common Lisp and runs on all POSIX platforms such as macOS, Unix, BSD, and Linux, as well as under Microsoft Windows and Android. It is free software released under the terms of the GNU General Public License (GPL). Maxima is based on a 1982 version of Macsyma, which was developed at MIT with funding from the United States Department of Energy and other government agencies.
Symbolic executionIn computer science, symbolic execution (also symbolic evaluation or symbex) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would. It thus arrives at expressions in terms of those symbols for expressions and variables in the program, and constraints in terms of those symbols for the possible outcomes of each conditional branch.
