Find link

language:

Find link is a tool written by Edward Betts.

searching for Jayadev Misra 5 found (15 total)

Misra–Gries summary (630 words) [view diff] no match in snippet view article find links to article

In the field of streaming algorithms, Misra–Gries summaries are used to solve the frequent elements problem in the data stream model. That is, given a

Chandy–Misra–Haas algorithm resource model (645 words) [view diff] exact match in snippet view article find links to article

deadlock in a distributed system. It was developed by K. Mani Chandy, Jayadev Misra and Laura M Haas. Consider the n processes P1, P2, P3, P4, P5,, ...

Actor model theory (1,545 words) [view diff] exact match in snippet view article find links to article

Research directions in concurrent object-oriented programming. 1993. Jayadev Misra. A Logic for concurrent programming: Safety Journal of Computer Software

Laura M. Haas (736 words) [view diff] exact match in snippet view article find links to article

Science Institutions University of Massachusetts Amherst IBM Research, Almaden Laboratory (1981-2017) Doctoral advisor K. Mani Chandy and Jayadev Misra

Actor model and process calculi (3,220 words) [view diff] exact match in snippet view article find links to article

Theoretical Aspects of Computer Sciences on STACS 1987. K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation Addison-Wesley 1988. Robin Milner