39039 search results - page 105 / 7808 » Implementation of the |
192
click to vote
TPHOL
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
174
click to vote
ICDCS
1994
IEEE
15 years 10 months ago
1994
IEEE
The design of a process migration mechanism for the Amoeba distributed operating system is described. The primary motivation for this implementation is to carry out experimental a...
128
click to vote
ISCAS
1993
IEEE
15 years 10 months ago
1993
IEEE
- A novel VLSI implementation of the Viterbi algorithm based on a cascade architecture is presented. Survivor sequence memory management is implemented using a new single read poin...
151
click to vote
DEXA
1994
Springer
15 years 10 months ago
1994
Springer
We describe the design and implementation of a legal text database. The database of provides a number of Greek Council of State decisions in the form of a computer-accessible mediu...
148
click to vote
FPCA
1993
15 years 10 months ago
1993
Multisets (also called bags) are an interesting data structure for parallelly implemented functional programming languages, since they do not force an unneeded restriction of the ...