3908 search results - page 724 / 782 » A model for service-oriented communication systems |
149
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
204
click to vote
UIST
1999
ACM
15 years 10 months ago
1999
ACM
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...
157
click to vote
HIPS
1998
IEEE
15 years 10 months ago
1998
IEEE
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
140
click to vote
PACT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...
202
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...