CONPAR
1992
14 years 9 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
14 years 9 months ago
1992
CONCUR
1992
Springer
14 years 9 months ago
1992
Springer
CONCUR
1992
Springer
14 years 9 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
14 years 9 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
14 years 9 months ago
1992
Springer
CONCUR
1992
Springer
14 years 9 months ago
1992
Springer
CONCUR
1992
Springer
14 years 9 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
14 years 9 months ago
1992
Springer
ICS
1994
Tsinghua U.
14 years 9 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...