Olthof, I. and Cleary, J. G., (accepted 1994) "The Design of an Optimistic AND-parallel Prolog," Journal of Logic Programming. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
The Architecture of an Optimistic CPU: The WarpEngine. - Cleary, Pearson, Kinawi (1995) (10 citations) Self-citation (Cleary) (Correct)
....incremental recovery in data bases, selective undo in groupware tools [21] or debugging for parallel and distributed programs [4] In this context it can be seen as a generalisation of optimistic commit protocols. It has also been described as an algorithm for synchronising AND parallel Prolog [20]. Fujimoto has proposed a Virtual Time Machine [6, 9] for use with discrete event simulation systems. Fujimoto s work is seminal for the current WarpEngine design. 3. Time stamped Memory The first component of the WarpEngine that we will describe is the time stamped memory subsystem for a single ....
Olthof, I. and Cleary, J. G., (accepted 1994) "The Design of an Optimistic AND-parallel Prolog," Journal of Logic Programming.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC