16822 search results - page 3297 / 3365 » Designing Simulation Experiments |
128
Voted
ASPLOS
1996
ACM
15 years 4 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
101
click to vote
IWSSD
1993
IEEE
15 years 4 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
122
Voted
SPAA
1993
ACM
15 years 4 months ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
95
Voted
FP
1989
15 years 4 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
106
click to vote
EDBT
1990
ACM
15 years 4 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...