9626 search results - page 1401 / 1926 » Invariant Based Programming |
169
click to vote
HPCN
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
162
click to vote
LICS
1992
IEEE
15 years 11 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...
214
click to vote
EWDW
1990
15 years 11 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
165
click to vote
OOPSLA
1990
Springer
15 years 11 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
173
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
We present an efficient framework for dynamic reconfiguration of application-specific custom instructions. A key component of this framework is an iterative algorithm for temporal...