Seguir
Jayadev  Misra
Jayadev Misra
Dirección de correo verificada de utexas.edu
Título
Citado por
Citado por
Año
Parallel program design
KM Chandy
Opportunities and Constraints of Parallel Computing, 21-24, 1989
35571989
Distributed simulation: A case study in design and verification of distributed programs
KM Chandy, J Misra
IEEE Transactions on software engineering, 440-452, 1979
16291979
Distributed discrete-event simulation
J Misra
ACM Computing Surveys (CSUR) 18 (1), 39-65, 1986
14281986
Asynchronous distributed simulation via a sequence of parallel computations
KM Chandy, J Misra
Communications of the ACM 24 (4), 198-206, 1981
10781981
Proofs of networks of processes
J Misra, KM Chandy
IEEE transactions on software engineering, 417-426, 1981
7181981
Distributed deadlock detection
KM Chandy, J Misra, LM Haas
ACM Transactions on Computer Systems (TOCS) 1 (2), 144-156, 1983
6431983
Finding repeated elements
J Misra, D Gries
Science of computer programming 2 (2), 143-152, 1982
6391982
The drinking philosophers problem
KM Chandy, J Misra
ACM Transactions on Programming Languages and Systems (TOPLAS) 6 (4), 632-646, 1984
6241984
How processes learn
KM Chandy, J Misra
Proceedings of the fourth annual ACM symposium on Principles of Distributed …, 1985
4191985
Distributed computation on graphs: Shortest path algorithms
KM Chandy, J Misra
Communications of the ACM 25 (11), 833-837, 1982
2911982
Computation orchestration: A basis for wide-area computing
J Misra, WR Cook
Software & Systems Modeling 6 (1), 83-110, 2007
2792007
Axioms for memory access in asynchronous hardware systems
J Misra
ACM Transactions on Programming Languages and Systems (TOPLAS) 8 (1), 142-153, 1986
2241986
A constructive proof of Vizing's theorem
J Misra, D Gries
Information Processing Letters 41 (3), 131-133, 1992
2221992
Detecting termination of distributed computations using markers
J Misra
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
2121983
The Orc programming language
D Kitchin, A Quark, W Cook, J Misra
International Conference on Formal Methods for Open Object-Based Distributed …, 2009
1892009
A distributed algorithm for detecting resource deadlocks in distributed systems
KM Chandy, J Misra
Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of …, 1982
1821982
Powerlist: A structure for parallel recursion
J Misra
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6), 1737-1767, 1994
1561994
A discipline of multiprogramming
J Misra, J Misra
A Discipline of Multiprogramming: Programming Theory for Distributed …, 2001
154*2001
Termination detection of diffusing computations in communicating sequential processes
J Misra, KM Chandy
ACM Transactions on Programming Languages and Systems (TOPLAS) 4 (1), 37-43, 1982
1431982
A linear tree partitioning algorithm
S Kundu, J Misra
SIAM Journal on Computing 6 (1), 151-154, 1977
1431977
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20