| slovo | definícia |
checkin
(mass) | check-in
- vstupná kontrola |
check-in
(gcide) | check-in \check"-in\ (ch[e^]k"[i^]n), n.
The act of registering as a guest at a hotel, inn, motel.
etc; the act of checking in. Used also attributively, as the
check-in counter at a hotel.
[PJC] |
| | podobné slovo | definícia |
checking
(encz) | checking,kontrolování n: Zdeněk Brožchecking,ověřování Zdeněk Brož |
checking account
(encz) | checking account,běžný účet Mgr. Dita Gálováchecking account,šekové konto Zdeněk Brož |
checking program
(encz) | checking program, n: |
overdraft checking account
(encz) | overdraft checking account, |
without checking
(encz) | without checking, adv: |
check-in
(gcide) | check-in \check"-in\ (ch[e^]k"[i^]n), n.
The act of registering as a guest at a hotel, inn, motel.
etc; the act of checking in. Used also attributively, as the
check-in counter at a hotel.
[PJC] |
checking
(gcide) | Check \Check\, v. t. [imp. & p. p. Checked (ch[e^]kt); p. pr.
& vb. n. checking.]
1. (Chess) To make a move which puts an adversary's piece,
esp. his king, in check; to put in check.
[1913 Webster]
2. To put a sudden restraint upon; to stop temporarily; to
hinder; to repress; to curb. Hence, (Ice Hockey) To
obstruct the motion of an opposing player by contacting
him with one's body.
[1913 Webster +PJC]
So many clogs to check and retard the headlong
course of violence and oppression. --Burke.
[1913 Webster]
3. To verify, to guard, to make secure, by means of a mark,
token, or other check; to distinguish by a check; to put a
mark against (an item) after comparing with an original or
a counterpart in order to secure accuracy. Hence, To
compare with an original or with some standard, to insure
correctness; as, to check an account; to check with a
supervisor about procedures.
[1913 Webster +PJC]
4. To chide, rebuke, or reprove.
[1913 Webster]
The good king, his master, will check him for it.
--Shak.
[1913 Webster]
5. (Naut.) To slack or ease off, as a brace which is too
stiffly extended.
[1913 Webster]
6. To make checks or chinks in; to cause to crack; as, the
sun checks timber.
[1913 Webster]
7. To leave (something) in the temporary custody of another;
as, to check baggage; to check one's firearms at the door;
to check one's coat at the cloakroom.
[PJC]
8. To accept (something) for temporary custody from another;
as, to check a customer's baggage; to check a customer's
coat.
[PJC]
9. To make a checkered pattern upon.
[PJC]
Syn: To restrain; curb; bridle; repress; control; hinder;
impede; obstruct; interrupt; tally; rebuke; reprove;
rebuff.
[1913 Webster] |
Counterchecking
(gcide) | Countercheck \Coun`ter*check"\ (koun`t?r-ch?k"), v. t. [imp. &
p. p. Counterchecked (-ch?ckt"); p. pr. & vb. n.
Counterchecking.]
To oppose or check by some obstacle; to check by a return
check.
[1913 Webster] |
parity checking
(gcide) | parity checking \par"i*ty check`ing\, n. (Computers)
The process of performing a parity check.
[PJC] |
checking account
(wn) | checking account
n 1: a bank account against which the depositor can draw checks
that are payable on demand [syn: checking account,
chequing account, current account] |
checking program
(wn) | checking program
n 1: a program that examines other computer programs for syntax
errors |
model checking
(foldoc) | model checking
To algorithmically check whether
a program (the model) satisfies a specification.
The model is usually expressed as a directed graph
consisting of nodes (or vertices) and edges. A set of
atomic propositions is associated with each node. The nodes
represents states of a program, the edges represent possible
executions which alters the state, while the atomic
propositions represent the basic properties that hold at a
point of execution.
A specification language, usually some kind of {temporal
logic}, is used to express properties.
The problem can be expressed mathematically as: given a
temporal logic formula p and a model M with initial state s,
decide if M,s \models p.
["Automatic verification of finite state concurrent systems
using temporal logic", E.M. Clarke, E.A. Emerson, and
A.P. Sisla, ACM Trans. on Programming Languages and Systems
8(2), pp. 244--263, 1986].
(1997-06-26)
|
|