Effective Theories in Programming Practice by Jayadev Misra
Effective Theories in Programming PracticeNew York, USA. You can view more information about this work and all of ACM's other published work from the ACM Digital Library: http://www.acm.org/dl.-
The Continuing Arms Race
-
The Essentials of Modern Software Engineering
-
The Handbook of Multimodal-Multisensor Interfaces, Volume 1
-
Declarative Logic Programming
-
Prophets of Computing
-
The VR Book
-
Weaving Fire Into Form
-
Edsger Wybe Dijkstra
-
Democratizing Cryptography
-
On Monotonicity Testing and the 2-to-2 Games Conjecture
-
The Handbook on Socially Interactive Agents
-
Frontiers of Multimedia Research
-
The Sparse Fourier Transform
-
Shared-Memory Parallelism Can Be Simple, Fast, and Scalable
-
Communities of Computing
-
An Architecture for Fast and General Data Processing on Large Clusters
-
Computational Prediction of Protein Complexes from Protein Interaction Networks
-
Reactive Internet Programming
-
The Handbook of Multimodal-Multisensor Interfaces, Volume 2
-
Hardness of Approximation Between P and NP
-
Smarter Than Their Machines
-
Embracing Interference in Wireless Systems
Jayadev Misra is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI). Jayadev Misra in collaboration with K. Mani Chandy has made a number of important contributions in the area of concurrent computing, among them a programming notation and a logic, called UNITY, to describe concurrent computations, a conservative algorithm for distributed discrete-event simulation, a number of fundamental algorithms for resource allocation (the drinking philosopher's problem, deadlock detection, distributed graph algorithms), and a theory of knowledge transmission in distributed systems. In collaboration with David Gries, Jayadev proposed the first algorithm for the heavy-hitters problem. He has also proposed a set of axioms for concurrent memory access that underlie the theory of linearizability. His most recent research project, called Orc, attempts to develop an algebra of concurrent computing that will help integrate different pieces of software for concurrent execution. Jayadev is a member of the National Academy of Engineering. He has been awarded: the Harry H. Goode Memorial Award, IEEE, 2017, jointly with K. Mani Chandy; Doctor Honoris Causa, from École normale supérieure Paris-Saclay, Cachan, France, 2010 and a Guggenheim Fellowship, 1988. He is an ACM Fellow (1995), an IEEE Fellow (1992), and a Distinguished alumnus of IIT Kanpur, India.
| SKU | Unavailable |
| ISBN 13 | 9781450399715 |
| ISBN 10 | 1450399711 |
| Title | Effective Theories in Programming Practice |
| Author | Jayadev Misra |
| Series | Acm Bks |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Association of Computing Machinery,U.S. |
| Year published | 2022-12-27 |
| Number of pages | 562 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |