Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
We present a single-program-multiple-data computational model which we have implemented in the EPEX system to run in parallel mode FORTRAN scientific application programs. The computational model assumes a shared memory organization and is based on the scheme that all processes executing a program in parallel remain in existence for the entire execution; however, the tasks to be executed by each process are determined dynamically during execution by the use of appropriate synchronizing constructs that are imbedded in the program. We have demonstrated the applicability of the model in the parallelization of several applications. We discuss parallelization features of these applications and performance issues such as overhead, speedup, efficiency. © 1988.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Rei Odaira, Jose G. Castanos, et al.
IISWC 2013
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999
Yi Zhou, Parikshit Ram, et al.
ICLR 2023