Sequent

(redirected from Logical assertion)
Also found in: Dictionary, Thesaurus, Legal.

Sequent

(company)
A computer manufacturer.

Quarterly sales $109M, profits $7M (Aug 1994).

Sequent computers was acquired by IBM in 1999.

Sequent

(Sequent Computer Systems, Inc., Beaverton, OR, www.sequent.com) A computer company founded in 1983 by 17 ex-employees of Intel that specialized in multiprocessing systems for the client/server environment. Sequent pioneered adapting SMP to Unix and was a leader in the high-end Unix market.

Sequent's SMP machines were all Intel based and were scalable up to 30 Pentium processors. Its Symmetry series ran the Unix-based DYNIX/ptx operating system, and the WinServer series ran Windows NT. Its NUMA-Q 2000 line, introduced in 1996, scaled up to 252 processors. In 1999, Sequent was acquired by IBM; by 2005, the Numa-Q servers and Symmetry line were on a migration path to IBM's pSeries, xSeries and TotalStorage offerings.
References in periodicals archive ?
The "actions" of agents -- including knowledge base servers and knowledge-based systems -- can he seen through a tell and ask functional interface (Levesque, 1984), where a client interacts with an agent by making logical assertions (tell), and posing queries (ask).
During model execution, the researchers use logical assertions to gauge consistency among states maintained on different nodes.
Kahn's sweeping argument depends for its authority, as does much constitutional theorizing, on the author's logical assertions rather than a broad evidentiary base.