| slovo | definícia |
cds
(foldoc) | Concrete Data Structure
CDS
(CDS) A model of programming language terms developed in
the context of constructing fully abstract semantics for
sequential languages. A CDS is a 4-tuple (C,V,E,|-) where C is
a cell, V is a value, E is an event and |- is an "enabling
relation". An event is a cell and a value. A cell C is "enabled"
by a set of events S if S |- C. A state is a set of events which
are consistent in that the values they give for any cell are all
equal. Every cell in a state is enabled.
[G. Berry, P.-L. Curien, "Theory and practice of sequential
algorithms: the kernel of applicative language CDS", Algebraic
methods in semantics, CUP 1985].
(1994-11-30)
|
cds
(vera) | CDS
Cell Directory Service (DCE)
|
cds
(vera) | CDS
Class Data Sharing (Java)
|
cds
(vera) | CDS
Current Directory Structure (BIOS. DOS)
|
| | podobné slovo | definícia |
cds
(foldoc) | Concrete Data Structure
CDS
(CDS) A model of programming language terms developed in
the context of constructing fully abstract semantics for
sequential languages. A CDS is a 4-tuple (C,V,E,|-) where C is
a cell, V is a value, E is an event and |- is an "enabling
relation". An event is a cell and a value. A cell C is "enabled"
by a set of events S if S |- C. A state is a set of events which
are consistent in that the values they give for any cell are all
equal. Every cell in a state is enabled.
[G. Berry, P.-L. Curien, "Theory and practice of sequential
algorithms: the kernel of applicative language CDS", Algebraic
methods in semantics, CUP 1985].
(1994-11-30)
|
mcdst
(foldoc) | Microsoft Certified Desktop Support Technician
MCDST
(MCDST) Microsoft's qualification signifying ability
to troubleshoot Windows XP desktop environments and to solve
hardware and software operation and application problems on
Windows XP. MCDST can no longer be earned.
(2013-05-23)
|
cds
(vera) | CDS
Cell Directory Service (DCE)
CDS
Class Data Sharing (Java)
CDS
Current Directory Structure (BIOS. DOS)
|
cdsa
(vera) | CDSA
Common Data Security Architecture (HP, cryptography)
|
cdsg
(vera) | CDSG
Cultural Diversity Steering Group (ISSS)
|
cdsl
(vera) | CDSL
Context Dependent Symbolic Links (CDPN, NFS, GFS)
|
cdss
(vera) | CDSS
Creative Decision Stimulation Systems (AI, DSS)
|
ecdsa
(vera) | ECDSA
Elliptic Curve Digital Signature Algorithm (cryptography)
|
hscds
(vera) | HSCDS
High Speed Cable Data Services
|
|