CONPAR
1992
13 years 11 months ago
1992
The Asynchronous Polycyclic Architecture (APA) is a new processor design for numerically intensive applications. APA resembles the VLIW architecture, in that it provides independen...
CONPAR
1992
13 years 11 months ago
1992
CONCUR
1992
Springer
13 years 11 months ago
1992
Springer
CONCUR
1992
Springer
13 years 11 months ago
1992
Springer
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
CONCUR
1992
Springer
13 years 11 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
CONCUR
1992
Springer
13 years 11 months ago
1992
Springer
CONCUR
1992
Springer
13 years 11 months ago
1992
Springer
CONCUR
1992
Springer
13 years 11 months ago
1992
Springer
We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...
CONCUR
1992
Springer
13 years 11 months ago
1992
Springer
ICS
1994
Tsinghua U.
13 years 11 months ago
1994
Tsinghua U.
This paper describes the design of a compiler which can translate out-of-core programs written in a data parallel language like HPF. Such a compiler is required for compiling larg...