9110 search results - page 277 / 1822 » Formally-Based Design Evaluation |
147
click to vote
ICAI
2004
15 years 8 months ago
2004
The goal of this work is to design and implement an agent-based system that facilitates interaction among a group of individuals who are part of an organization, observe types and...
128
click to vote
FLAIRS
2003
15 years 8 months ago
2003
This article describes the application of computational decision analytic techniques for a national policy decision. It constitutes an example of the increasing use of modern comp...
147
click to vote
PDPTA
2000
15 years 7 months ago
2000
The development of distributed applications is rapidly growing and some applications, like those which manipulate graphics, images and sounds, need special care. In this paper, we ...
182
click to vote
WSC
1998
15 years 7 months ago
1998
This paper describes the design and implementation of MPI-SIM, a library for the execution driven parallel simulation of MPI programs. MPI-LITE, a portable library that supports m...
185
click to vote
WSC
1997
15 years 7 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...