9455 search results - page 1761 / 1891 » The Modelling Language Zinc |
126
click to vote
PVM
1997
Springer
15 years 8 months ago
1997
Springer
The traditional approach to the parallelization of linear algebra algorithms such as matrix multiplication and LU factorization calls for static allocation of matrix blocks to proc...
134
click to vote
TAPSOFT
1997
Springer
15 years 8 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...
182
click to vote
CAV
1994
Springer
15 years 8 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
155
click to vote
ICSE
1993
IEEE-ACM
15 years 8 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
173
click to vote
ICS
1994
Tsinghua U.
15 years 8 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...