1870 search results - page 35 / 374 » Abstract And-Parallel Machines |
150
click to vote
TC
1998
15 years 5 months ago
1998
In a computer network that consists of M subnetworks, the L-bit address of a machine consists of two parts: A pre x si that contains the address of the subnetwork to which the mac...
125
click to vote
LISP
2007
15 years 5 months ago
2007
: The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, ...
179
click to vote
ICSE
2007
IEEE-ACM
16 years 2 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
162
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
142
click to vote
ICCS
2007
Springer
16 years 2 days ago
2007
Springer
Abstract. Representation of knowledge is used to store and retrieve informational data in a machine. Since meaning cannot be directly stored in the computer; this work proposes a s...