3824 search results - page 444 / 765 » Geometry Constructions Language |
137
click to vote
ICFP
1996
ACM
15 years 9 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
148
Voted
IFIP
1993
Springer
15 years 9 months ago
1993
Springer
The Fluor Daniel Company, a major engineering consulting and construction firm, is applying the Purdue Enterprise Reference Architecture and Methodology (PERA) to their project wo...
131
click to vote
MFPS
1993
15 years 9 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
147
click to vote
POS
1994
Springer
15 years 9 months ago
1994
Springer
Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure...
127
Voted
PSC
1992
15 years 9 months ago
1992
Abstract. This paper describes an implementation technique for Multilisp's future construct aimed at large shared-memory multiprocessors. The technique is a variant of lazy ta...