在计算机科学中，进程演算（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算...

在计算机科学中，π-演算（pi-演算，英语：π-calculus，pi-calculus）是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算（英语：Calculus of communicating systems）的基础上设计而成。...

在计算机科学中，通信顺序进程（英語：Communicating sequential processes，縮寫為CSP），又譯為交談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。C...

在计算中，通道（channel）是通过消息传递进行进程间通信和同步的编程模型。作为一个流，消息可以经由通道发送，另一个进程或线程能够接收它已经引用的经由通道发送的消息。通道的不同实现，可以没有缓冲区也可以有缓冲区，消息传递相应的可以是同步的也可以是异步的。 通道是并发的进程演算方式的基础，并起源于通信顺序进程...

theory）框架和并发系统的实际实现（英语：Actor model implementation）基础。演员模型和其他类似工作的关系讨论可见于演员模型和进程演算（英语：actor model and process calculi）。 演员模型推崇的哲学是“一切皆是演员”，这与面向对象编程的“一切皆是对象”类似。...

next，縮寫：SJN），也称为最短进程优先，是一个调度策略，从等待运行的进程中选择执行时间最短的那个来运行。SJN是一个non-preemptive算法。最短剩余时间是用来控制SJN的变量。 最短任务优先有一些优点，比如简单，并且这种策略减小了所有进程的平均运行时间。 然而，它的缺点是，如果不断地有新的短期进程...

演算與高階函數等等。Erlang函数大致寫法如下，以整數階乘模組为例： -module(fact). -export([fac/1]). fac(N) when N > 1 -> N * fac(N-1); fac(1) -> 1. 以下是快速排序演算法的Erlang實作： %%...

于函数或算子上——求值策略定义何时和以何种次序求值给函数的实际参数，什么时候把它们代换入函数，和代换以何种形式发生。经常使用用来研究函数的形式系统λ演算来建模求值策略，这里它们通常叫做归约策略。求值策略分为两大基本类，严格的和非严格的，基于如何处理给函数的实际参数。一个语言可以组合多种求值策略；例如...

银行家算法（英語：Banker's Algorithm）是一个避免死锁的著名算法，是由荷蘭計算機科學家艾兹赫尔·戴克斯特拉在1965年为T.H.E作業系統设计的一种避免死結產生的演算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行。 在银行中，客户申请贷款的数量是有限的，每个客户在第一次申请贷款时要声明完成该项目所...

幺半群和語法幺半群被用來描述有限狀態自動機，而跡幺半群（英语：Trace monoid）和歷史幺半群（英语：History monoid）則是做為進程演算和並行計算的基礎。幺半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題（英语：Star height problem）。 幺半群是一個帶有二元運算...

先进先出算法（英語：first in, first out，简称 FIFO）是一種計算機科學的排程演算法。它描述了一個佇列所使用的先到先得服務方式：先進入佇列的工作將先被完成，之後進來的則必須稍候。 一個C++語言的範例 #include <iostream> #include <stdexcept>...

Hoare，一譯托尼·霍爾），生於大英帝國錫蘭可倫坡（今斯里蘭卡），英國計算機科學家，圖靈獎得主。他設計了快速排序演算法、霍尔逻辑、通信顺序进程。 東尼·霍爾的父親是一位公務員，服務於英屬錫蘭。其母親是茶園主人的女兒。 東尼·霍爾在可倫坡出生，在英國本土受教育。1956年，在牛...

立方的八个顶点分别对应各自的类型系统，简单类型lambda演算位于表达能力最低的顶点上，而构造演算（calculus of constructions）则位于表达能力最强的顶点上。 一阶依赖类型 λ Π {\displaystyle \lambda \Pi } ，对应于逻辑框架 LF，是通过把简单类型lambda演算的函数空间一般化为依赖乘积类型而获得的。...

德克爾於1958年獲得阿姆斯特丹大學博士學位。他的論文題目是《集合與空間的矛盾分解》。 德克爾發明了一種演算法，允許兩個進程在不發生衝突的情況下共享單次使用的資源，只使用共享記憶體進行通信，這種演算法被命名為德克爾演算法（英语：Dekker's algorithm）。 In memoriam Dirk Dekker (1927-2021)...

演算是这种范型最重要的基础，λ演算的函数可以接受函数作为输入參數和输出返回值。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。 阿隆佐·邱奇在1930年代开发的λ演算，是建造自函数应用（英语：Function...

23之後採用，取代先前的O(1)排程器，成為系統預設的排程器。它負責將CPU資源，分配給正在執行中的行程，目標在於最大化程式互動效能與整體CPU的使用率。使用紅黑樹來實作，演算法效率為 O ( log ⁡ n ) {\displaystyle O(\log n)} 。 CFS 是首支以公平佇列（fair...

为了公平地调度进程，循环调度程序通常采用分时机制，为每个作业分配一个时间片或时间量 （CPU 时间），如果用完这一分配的时间还没有完成，则中断该进程。下次为该进程分配时间时，该进程将恢复执行。如果进程在其时间片内终止或将其状态更改为等待（或阻塞），则调度程序会选择就绪队列中的第一个进程来执行。...

a表达式书写的一个简单函数。需要支持适当尾调用，因为在续体传递风格下没有函数会返回，所有调用都是尾调用。 续体被用于计算模型，包括λ演算、指称语义、演员模型和进程演算。这些模型仰仗于编程者或语义工程师书写数学函数时采用“续体传递风格”（continuation-passing...

對稱密鑰演算法（英語：Symmetric-key algorithm）又稱為對稱加密、私鑰加密、共享密鑰加密，是密碼學中的一類加密演算法。這類演算法在加密和解密時使用相同的密鑰，或是使用兩個可以簡單地相互推算的密鑰。事实上，這組密鑰成為在兩個或多個成員間的共同祕密，以便維持專屬的通訊聯繫。與公开密...

algorithm）是一种分布式选举算法，每次都会选出存活的进程中ID最大的候选者。 算法假设： 系统是同步的 进程在任何时候都可能失败，包括算法在执行的过程中 进程失败后停止工作，重启后重新工作 有失败监控者，它可以发现失败的进程 进程之间的消息传递是可靠的 每一个进程知道自己和其他每一个进程的ID以及地址 选举过程中会发送以下三种消息类型：...

这个开放问题在1990年代随着博弈语义和涉及逻辑关系的技术的发展基本解决了。 详情请参见PCF语言。 把一个程序语言转换成另一个语言经常是有用的。例如一个并发编程语言可被转换成进程演算；高级编程语言可以被转换成字节码(实际上，常规指称语义可以被看作把编程语言解释成域的范畴的内部语言)。 在这个语境中，来自指称语义的概念，不如完全抽象，有助于满足安全关注。...

queue调度算法。队列（queue）中的每一个任务（进程或线程）都有一个标签（tag）来指定它们倾向的处理器。在分配处理器的阶段，每个任务就会分配到它们所倾向的处理器上。 处理器亲和性利用了这样一个事实，就是进程上一次运行后的残余信息会保留在处理器的状态中（也就是指处理器的缓存）。如果下一次仍然将该进程...

運算。熔合乘法累積可結合乘法與加法運算，透過單一指令執行多筆重複計算。透過簡化程式碼，讓系統能迅速執行繪圖著色、快速相片著色、音場音效，以及複雜向量演算等效能密集的應用作業。目前AMD已放棄下一代Bulldozer核心內建SSE5指令集，改內建Intel授權SSE4系列指令集。 AVX（Advanced...

节点v的那条边的起始节点。这一过程一直进行到已发现从源节点可达的所有节点为止。如果还存在未被发现的节点，则选择其中一个作为源节点并重复以上过程，整个进程反复进行直到所有节点都被访问为止。这种算法不会根据图的结构等信息调整执行策略[來源請求]。 深度优先搜索是图论中的经典算法，利用深度优先搜索算法可以...

例如，抽象的堆疊（stack）由3个操作定义：推入push，彈出pop（接受约束：每次彈出返回的是最新被推入且没有被弹出的数据，也就是後進先出），查看堆疊頂端数据peek。当分析使用堆疊演算法的效率，所有这3个操作用时相同，无论堆疊中包含多少项数据；并且对每项数据栈使用了常量大小的存储。 抽象数据类型（ADT）是纯粹理论实体，用于简化描...

Reynolds）（和后来的Jean-Yves Girard（英语：Jean-Yves Girard））正式的将这种多态概念发展为对lambda演算的扩展（叫做多态lambda演算或系统F）。任何参数多态函数都必然在能做什么上受到限制，工作在数据的形状而不是它的值之上，这导致了parametricity（英语：parametricity）的概念。...

1環繞音效 Adobe Flash Player 11.1（11.1.102.55版本，代號為Anza，2011年11月） Stage 3D加速圖形演算 原生64位元支援 相機的H264/AVC軟體編碼 支援行動裝置的內容保護 受保護的HTTP動態串流（HTTP Dynamic Stream） Adobe...

logic），同構的做法愈發侷限，相同的功能已可透過其他方法取代（non-isomorphic）。因此，LVS的改善進程便依等價驗證（equivalence checking）的方向發展，毋須再確認同構性（isomorphism）。...

并发性（concurrency）是系统的一种性质，这类系统可以同时执行多个可能互相交互的计算。一些数学模型，如Petri网、进程演算和PRAM模型，被建立以用于通用并发计算。分布式系统将并发性的思想扩展到了多台由网络连接的计算机。同一分布式系统中的计算机拥有自己的私有内存，它们之间经常交换信息以达到一个共同的目的。...

中奇毒，被逍遙谷的大弟子谷月軒所救。後來主角拜了逍遙谷主無瑕子為師，就此展開驚險萬分的武林歷程。 《三國群俠傳》是於2002年發行的電腦遊戲，由東方演算（前身為河洛工作室）開發，智冠科技發行的中文角色扮演遊戲，也是「河洛三部曲」系列其中之一。 《金庸群俠傳2》是半瓶醋工作室（Half Amateur...

对于范畴论，头等函数对应于closed category（英语：closed category）设置。例如，简单类型λ演算 对应于笛卡儿闭范畴(CCC)的内部语言。 函数式程序设计语言，如Scheme、ML、Haskell、F#、Scala，都具有完整的头等函数。Lis...