9166 search results - page 1486 / 1834 » A framework for comparing models of computation |
165
click to vote
ISCA
1998
IEEE
15 years 11 months ago
1998
IEEE
Explicitly Parallel Instruction Computing (EPIC) architectures require the compiler to express program instruction level parallelism directly to the hardware. EPIC techniques whic...
160
click to vote
MFCS
1997
Springer
15 years 11 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
178
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
208
click to vote
ICS
1994
Tsinghua U.
15 years 10 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...
156
click to vote
ISN
1994
Springer
15 years 10 months ago
1994
Springer
: With the advent of Optical Networks, an important opportunity for the application of Telecommunication Management Network (TMN) framework emerges. At present, most such networks ...