Scheduling contract algorithms on multiple processors

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2002, Pages 702-706

  Bernstein, Daniel S ^a   Perkins, Theodore J ^a   Zilberstein, Shlomo ^a   Finkelstein, Lev ^b  

^a University of Massachusetts Amherst   (United States)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMIC LANGUAGES; COMPUTATIONAL METHODS; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; REAL TIME SYSTEMS; THEOREM PROVING;

CONTRACT ALGORITHMS;

ARTIFICIAL INTELLIGENCE;

EID: 0036931902     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Baeza-Yates, R.; Culberson, J.; and Rawlins, G. 1993. Searching in the plane. Information and Computation 106:234-252.
2. Dean, T., and Boddy, M. 1988. An analysis of time-dependent planning. In Proceedings of the Seventh National Conference on Artificial Intelligence.
3. Dechter, R., and Rish, I. 1998. Mini-buckets: a general scheme for approximating inference. Technical report, Department of Information and Computer Science, University of California, Irvine.
4. Horvitz, E. 1987. Reasoning about beliefs and actions under computational resource constraints. In Workshop on Uncertainty in Artificial Intelligence.
5. Munos, R., and Moore, A. 1999. Variable resolution discretization for high-accuracy solutions of optimal control problems. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence.
6. Russell, S., and Wefald, E. H. 1991. Do the Right Thing: Studies in Limited Rationality. Cambridge, MA: MIT Press.
7. Russell, S. J., and Zilberstein, S. 1991. Composing real-time systems. In Proceedings of the Twelth International Joint Conference on Artificial Intelligence.
8. Sleator, D. D., and Tarjan, R. E. 1985. Amortized efficiency of list update and paging rules. Communications of the ACM 28:202-208.
9. Zilberstein, S.; Charpillet, F.; and Chassaing, P. 1999. Real-time problem-solving with contract algorithms. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence.